並列サーカムスクリプションの一階論理式への等価変換
スポンサーリンク
概要
- 論文の詳細を見る
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
論文 | ランダム
- 対話的, あまりに人間的 : バフチンとシェーラー(2002年度学会報告要旨)
- グループ・ダイナミックスが聴いたバフチンの声--被災者の語りに響くポリフォニー (特集 の複数性)
- ヴィゴツキー・ルネサンスとコミュニケーション文化理論の諸問題 : ヴィゴツキー、バフチンの心理・言語理論をめぐって
- ディアロギスム心理学の構想--バフチンと心理学の対話 (バフチン再考)
- 言語・複数性・境界--バフチンの世界記述をめぐって (バフチン再考)