並列サーカムスクリプションの一階論理式への等価変換
スポンサーリンク
概要
- 論文の詳細を見る
Parallel circumscription is an extension of predicate circumscription by adding parameters, which are predicates allowed to vary in the process in minimization. It is a very useful and important tool for commonsense reasoning. But, unfortunately, its direct computation is very difficult, because it is formulated as a higher-order formula. In this paper, we present an equivalent transformation method of parallel circumscription into first-order formulas. We have already presented a fundamental method for eliminating parameters of parallel circumscription and a method for transforming predicate circumscription into first-order formulas. Each of them is stronger than the well known Lifschitz's method. In this paper, based on these results, we give a sufficient condition for transforming parallel circumscription into first-order formulas, and present a transformation method which consists of the above two methods. This method can transform a complex parallel circumscription such that its condition sentence is quantified by both ∃ and ∀ quantifiers.
- 1990-07-01
論文 | ランダム
- PRODUCTION AND CHARACTERIZATION OF MONOCLONAL ANTIBODIES AGAINST RICE DWARF VIRUS
- 簿記・会計科目の指導内容の変遷 : 高等学校学習指導要領の場合
- 高等学校学習指導要領の変遷と背景 : 商業編 教育過程
- Developmental Capacity and Sex of Gynogenetic Diploids in Rana japonica and Rana tsushimensis
- インタビュー 先進技術を顧客に役立つ多様な価値に変換して提供することに注力--NTTアドバンステクノロジ(株)代表取締役社長 鈴木滋彦氏 (特集 "Integrated-Value Provider"NTT-ATの今後の事業方針)