WEKO3
アイテム
命題論理における導出のための行列表現
https://tenshi.repo.nii.ac.jp/records/129
https://tenshi.repo.nii.ac.jp/records/1291bf92358-ac54-431a-b63b-b9f11c4605e1
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00005072051.pdf (255.2 kB)
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-01-01 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 命題論理における導出のための行列表現 | |||||||||||
| タイトル | ||||||||||||
| タイトル | A Matrix Representation for Resolution in Propositional Logic | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | レゾリューション | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 命題論理 | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 行列表現 | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | resolution | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | propositional logic | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | matrix representation | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ページ属性 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | P(論文) | |||||||||||
| 記事種別(日) | ||||||||||||
| 論文 | ||||||||||||
| 記事種別(英) | ||||||||||||
| en | ||||||||||||
| Article | ||||||||||||
| 著者 |
川口, 雄一
× 川口, 雄一
|
|||||||||||
| 著者名よみ |
川口, 雄一
× 川口, 雄一 |
|||||||||||
| 著者名(英) |
川口, 雄一
× 川口, 雄一 |
|||||||||||
| 著者所属(日) | ||||||||||||
| 天使大学 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Liberal Arts and Sciences, School of Nursing and Nutrition, Tenshi College | ||||||||||||
| 抄録(日) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 「レゾリューション」(導出)とは論理式に対する計算方法である。本稿では、論理式を行列により表現する。基本行列変形によりレゾリューションを進める。この表現と計算の方法によるレゾリューションの複雑さ(計算量)は有限である。計算の効率を改善することはこれからの課題である。 | |||||||||||
| 抄録(英) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 'Resolution' is an algorithm for logical formulae. In this paper, logical formulae are denoted by matrices. Resolution steps are processed by elementary transformations of matrices. By this representation, the complexity of resolution is estimated to be finite. Improvement of the algorithm is a subject of future work. | |||||||||||
| 書誌情報 |
天使大学紀要 en : Bulletin of Tenshi College 巻 8, p. 13-16, 発行日 2008 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11568183 | |||||||||||
| レポート・演題番号 | ||||||||||||
| 2 | ||||||||||||
