Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-1999-2-005

Symmetries in logic programs

Wu, Jinzhao

MPI-I-1999-2-005. May 1999, 44 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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.




Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-1999-2-005.ps441 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1999-2-005
Hide details for BibTeXBibTeX
@TECHREPORT{WuMPI-I-1999-2-005,
  AUTHOR = {Wu, Jinzhao},
  TITLE = {Symmetries in logic programs},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-1999-2-005},
  MONTH = {May},
  YEAR = {1999},
  ISSN = {0946-011X},
}