質問変換に基づく述語サーカムスクリプションの計算手法

情報処理学会

書誌事項

タイトル別名
  • A Computation Method for Predicate Circumscription Based on Equivalent Transformation of Queries

この論文をさがす

抄録

述語サーカムスクリプションCirc[A;Γ]は一般に高階論理式として定式化される.そのためCirc[A;Γ] ⊧Bの計算は極めて難しい.計算を容易にするために,これまではCirc[A:Γ]を一階論理式や論理型プログラムへ変換する手法が研究されてきた.一方,質問Bを変換して計算を容易にする手法も考えられるが,これまでは殆ど研究されていない.Circ[A;Γ]⊧Bの計算は,BにΓの元が負に出現しないならば,A⊧Bの一階計算に帰着できる.よって与えれらた質問Bを,Γの元が負に出現しない節集合へ等価変換できれば, Circ[A;Γ]⊧Bは一階論理上で計算することが可能となる.本論文では以上のような推論処理を可能にするために,述語サーカムスクリプション上での質問の等価変換手法を与える.この変換手法はある種の導出操作であり,Unfold手法とも見なせる,本論文ではサーカムスクリプションの制約式と質問を節集合に限定する.全ての質問が前述の論理式へ変換できるわけではないが,再帰的な節と非確定的な節双方が取り扱え,述語サーカムスクリプションの計算手法として有用であると思われる.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ