ルール優先関係を持つ非単調推論 : Kowalski&Toniのアプローチの定式化と拡張

スポンサーリンク

概要

• 論文の詳細を見る

• ここ10年間ほどの間に、ルール優先関係を持つ非単調推論の研究が数多くなされ、様々な意味論が提案されてきている。[Kowalski&Toni 96]では, 法的推論に適した意味を持つように, ルール優先関係を持つデフォルトルール集合のELP(Extended Logic Program)への変換方法と, 変換したELPに対する意味論が与えられている。しかし, 変換方法の正当性の根拠は形式的には与えられておらず, また変換方法自体も正確には定義されていない。本報告では, ルール優先関係を持つデフォルトルール集合に対して意味論を与え, ELPへの変換方法を定義し, その変換の正当性を示した。また, 優先関係に推移性を与え, exactルールを導入することにより, 問題を拡張し, 拡張した問題に対しても, 意味論を与え, ELPへの変換方法を定義し, その変換の正当性を示した。

• 一般社団法人情報処理学会の論文
• 1998-10-02

著者

• 柴崎 真人

  東京工業大学大学院

• 新田 克己

  東京工大

• 新田 克巳

  東京工業大学大学院総合理工学研究科知能システム科学専攻

• 新田 克巳

  東京工業大学大学院知能システム科学専攻

• 柴崎 真人

  東京工業大学知能システム科学専攻

関連論文

• 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 法的推論システムnew HELIC-IIの概要
• ダイアグラムに基づく法的論争支援システム
• 交渉支援システムの手段選択のための評価法について
• D-7-3 細胞内シグナル伝達ネットワークの構築支援の研究
• ルール優先関係を持つ非単調推論の意味論の性質
• 法的論争における判例の役割〜判例からのデ-タマイニングについての考察〜
• ルール優先関係を持つ非単調推論 : Kowalski&Toniのアプローチの定式化と拡張

スポンサーリンク