Symmetries in logic programs

Wu, Jinzhao

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

報告書

Symmetries in logic programs

MPS-Authors

/persons/resource/persons45763

Wu, Jinzhao
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

MPI-I-1999-2-005.pdf
(全文テキスト（全般）), 41MB

付随資料 (公開)

There is no public supplementary material available

引用

Wu, J.(1999). Symmetries in logic programs (MPI-I-1999-2-005). Saarbrücken: Max-Planck-Institut für Informatik.

引用: https://hdl.handle.net/11858/00-001M-0000-0014-6F5E-A

要旨

We investigate the structures and above all, the applications of a class of symmetric groups induced by logic programs. After establishing the relationships between minimal models of logic programs and their simplified forms, and models of their completions, we show that in general when deriving negative information, we can apply the CWA, the GCWA, and the completion procedure directly from some simplified forms of the original logic programs. The least models and the results of SLD-resolution stay invariant for definite logic programs and their simplified forms. The results of SLDNF-resolution, the standard or perfect models stay invariant for hierarchical, stratified logic programs and some of their simplified forms, respectively. We introduce a new proposal to derive negative information termed OCWA, as well as the new concepts of quasi-definite, quasi-hierarchical and quasi-stratified logic programs. We also propose semantics for them.