
For FullText PDF, please login, if you are a member of IEICE,
or go to Pay Per View on menu list, if you are a nonmember of IEICE.

Semantics of Normal Goals as Acquisitors Caused by Negation as Failure
Susumu YAMASAKI
Publication
IEICE TRANSACTIONS on Information and Systems
Vol.E86D
No.6
pp.9931000 Publication Date: 2003/06/01 Online ISSN:
DOI: Print ISSN: 09168532 Type of Manuscript: PAPER Category: Theory and Models of Software Keyword: logic programming, model theory, negation as failure,
Full Text: PDF>>
Summary:
We are concerned with semantic views on an extended version of SLD resolution with negation as failure (SLDNF resolution) for normal logic programs, which Eshghi and Kowalski (1989) presented by making the SLDNF resolution capable of keeping negated predicates in memory and of extracting abducible predicates. This paper deals with its formal representation in relational form, for the purpose of interpreting the normal goal as an acquisitor of negated predicates stored in memory. Some set acquired by the derivations which the normal goal evokes is defined to be a semantics of the goal, under the constraint that the set is as large as possible and does not violate consistency in model theory. The semantics is discussed with relation to the 3valued logic model theory, where the model theory is represented by alternating fixpoint semantics (Van Gelder, 1993). For simplicity of treatment, this paper is concerned with the normal logic program in the propositional logic.

