WEKO3
アイテム
多重二値論理の非単調論理への応用
https://ipsj.ixsq.nii.ac.jp/records/114432
https://ipsj.ixsq.nii.ac.jp/records/114432319c0359-e413-44f1-ac5e-ec17e19bb3e8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00003219029.pdf (105.2 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1986-10-01 | |||||
| タイトル | ||||||
| タイトル | 多重二値論理の非単調論理への応用 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Multi-binary Logic for Non-monotonic Logic | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 東京工業大学 工学部 | ||||||
| 著者所属 | ||||||
| 東京工業大学 工学部 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tokyo Institute of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tokyo Institute of Technology | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 現実世界を論理で表現する場合、増加する情報(公理)により知識ベース中に矛盾が含まれないよう管理することが重要となる。このように、増加する公理に対してその公理系の無矛盾性を保持していく論理は非単調論理と呼ばれる。一般に非単調論理は二値論理をベースにしているため、全ての矛盾命題はその肯定か否定かを公理系から消去される。しかし、人間の信念系を表現する際には、矛盾を許しても良いと考えられる場合もあり、二値論理をベースにした非単調論理では不十分であることが少なくない。本論文では、非単調論理における以上の欠点を解消するために、一つのアプローチとして新しい多重二値論理を用い、解消すべき矛盾とそうでない矛盾の存在と、その解釈について考察した結果を述べる。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第33回, 号 パターン処理および人工知能, p. 1271-1272, 発行日 1986-10-01 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
