ルール優先関係を持つ非単調推論の意味論の性質

スポンサーリンク

概要

論文の詳細を見る
ここ10年間ほどの間に、ルール優先関係を持つ非単調推論の研究が数多くなされ、様々な意味論が提案されてきている。しかし、これらの相互関係や性質の違いについてはほとんど明らかにされていない。本論文では、ある応用分野の問題をルール優先関係を持つ非単調推論として形式化しようとするとき、どの形式化, どの意味論を選べばよいのかを決定するための基準を提供することを目的として、ルール優先関係を持つ非単調推論の意味論の性質を6つ(無矛盾性, 明示的な非対偶性, 内在的な非対偶性, 単調性, モジュール性, 最終ルール依存性)抽出し、従来研究の意味論をこれらの性質により整理した。
社団法人電子情報通信学会の論文
1998-09-24

著者

関連論文

もっと見る

スポンサーリンク