WEKO3
アイテム
前向き推論エンジンを用いた自動非単調推論 -デフォルト論理における事例研究-
https://ipsj.ixsq.nii.ac.jp/records/188564
https://ipsj.ixsq.nii.ac.jp/records/188564cacda1cc-e80e-46dc-b0a3-eed91207156b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z80-6M-01.pdf (540.3 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-13 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 前向き推論エンジンを用いた自動非単調推論 -デフォルト論理における事例研究- | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 人工知能と認知科学 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 埼玉大 | ||||||||||||
| 著者所属 | ||||||||||||
| 埼玉大 | ||||||||||||
| 著者所属 | ||||||||||||
| 埼玉大 | ||||||||||||
| 著者名 |
伊藤, 拓也
× 伊藤, 拓也
× 後藤, 祐一
× 程, 京徳
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 前向き推論エンジンは、前提として与えられた論理式群および推論の結果得られた論理式群に推論規則を適用し、終了条件を満たすまで論理式を導出するプログラムである。汎用前向き推論エンジンFreeEnCalは、推論エンジンの一種であり、これまで自動単調推論を実現する用途で利用されてきた。しかし、自動非単調推論への応用はまだ行われていない。本研究では、前向き推論エンジンを用いた自動非単調推論機構の実現の第一歩として、非単調推論の一つであるデフォルト論理に基づく推論においてFreeEnCalを用いた自動推論機構を提案し、その有用性を検討する。 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第80回全国大会講演論文集 巻 2018, 号 1, p. 91-92, 発行日 2018-03-13 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
