並列サーカムスクリプションの一階論理式への等価変換
スポンサーリンク
概要
- 論文の詳細を見る
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
論文 | ランダム
- 13a-A-8 分散式の方法によるAxial-VectorAnomalies
- 3次元画像を分割可能なボリュームレンダリングの並列処理法
- Dispersion approach to field theories (ゲージ理論とその応用研究会)
- テクスチャ領域の大きさを可変としたMRIからの臓器自動抽出法
- 非線型場に於けるグリーン関数(非線型場,研究会報告)