質問変換に基づく並列サーカムスクリプションの計算手法
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we give a new method for computing parallel circumscription based on an equivalent transformation of queries. Circ [A;Γ;Δ] ⊧ B, is equivalent to A ⊧ B if B has no negative occurrences of predicates of Γ and no occurrences of predicates of Δ. Therefore, if B satisfies these conditions, then the computation of Circ [A;Γ;Δ] ⊧ B can be reduced into the first-order computation of A ⊧ B. In general, the queries B don't satisfy the above conditions, but, sometimes, they can be transformed into the above computational sentences. In this paper, we present an equivalent transformation method of queries into the above computational sentences, and formalize it in the form of the resolution. This transformation method replaces a negative occurrence of a minimized predicate with the formula representing its minimal extension. It is similar to the unfolding in logic programming. This transformation method is intuitionally very clear, and can deal with theories consisting of both recursive and non-definite clauses.
- 1990-09-01
論文 | ランダム
- グローバル化時代の「国土計画」を問う (特集 構造改革のなかの日本経済)
- 多国籍企業支配のなかの地域経済の選択 (特集 地域・自治体と「構造改革」)
- 1990年代大不況と地域経済の構造変化(大会報告・共通論題 : 1990年代不況の世界史的意味)
- グローバル時代の経済と地域 (特集 地域を生かす)
- Slider Dynamic Flying Performance at Drive Level