講演名 | 1996/3/14 不確実情報の集合に対する知識ベース変更の意味論 鈴木 隆弘, 外山 勝彦, 稲垣 康善, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では新しい知識ベースの変更操作として推定(guess)と, それを拡張した集合修正(set-revision)を提案する. これまでに知識ベースの変更操作モデルとして修正(revision), 更新(update), 仲裁(arbitration)が提案されている. しかし, これらの操作では自然な結果を得られない場合が存在する. 本稿で提案する推定は, ある世界について述べた優先関係の無い情報集合からその世界を推測する場合, 自然な結果を得ることができる操作である. ここではモデル論的アプローチをとり, 解釈上での操作として推定を定義する. また, 推定を拡張した集合修正は, 修正, 仲裁の拡張としても特徴付けられることを示す. |
抄録(英) | In this paper, we propose a new operator for knowledge base change, guess and its extension set-revision. So far, revision, update and arbitration, have been proposed as knowledge base change operators. There, however, exists a case that these change operators give a unnatural result. The guess operator gives a natural result when possible descriptions of a given world have no priority each other. In order to define guess operator, we use a model-theoretic approach. Furthermore, we point out that set-revision can also be characterized as an extension of revision and and arbitration. |
キーワード(和) | 知識ベース / 信念翻意 / 修正 / 更新 / 仲裁 |
キーワード(英) | knowledge base / belief revision / revision / update / arbitration |
資料番号 | AI95-68,KBSE95-56 |
発行日 |
研究会情報 | |
研究会 | AI |
---|---|
開催期間 | 1996/3/14(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
本文の言語 | JPN |
タイトル(和) | 不確実情報の集合に対する知識ベース変更の意味論 |
サブタイトル(和) | |
タイトル(英) | On the Semantics of Propositional Knowledge Base change with respect to Uncertain Information Set |
サブタイトル(和) | |
キーワード(1)(和/英) | 知識ベース / knowledge base |
キーワード(2)(和/英) | 信念翻意 / belief revision |
キーワード(3)(和/英) | 修正 / revision |
キーワード(4)(和/英) | 更新 / update |
キーワード(5)(和/英) | 仲裁 / arbitration |
第 1 著者 氏名(和/英) | 鈴木 隆弘 / Takahiro Suzuki |
第 1 著者 所属(和/英) | 名古屋大学工学部情報工学科 Department of Information Engineering, Nagoya University |
第 2 著者 氏名(和/英) | 外山 勝彦 / Katsuhiko Toyama |
第 2 著者 所属(和/英) | 中京大学情報科学部情報科学科 Department of Computer Science, Chukyo University |
第 3 著者 氏名(和/英) | 稲垣 康善 / Yasuyoshi Inagaki |
第 3 著者 所属(和/英) | 名古屋大学工学部情報工学科 Department of Information Engineering, Nagoya University |
発表年月日 | 1996/3/14 |
資料番号 | AI95-68,KBSE95-56 |
巻番号(vol) | vol.95 |
号番号(no) | 573 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |