Published in Volume XV, 2005, pages 124-136

Authors: Victor FELEA


For a general logic program, a totally ordered set of logic values is considered
and an undefined value denoted $u$. Partial interpretations are also defined.
An interpretation $I$ is considered as a vector of sets from Herbrand base of
the program $P$. A program $P$ may contain the constants defined for every logic value.
A pseudo-negation denoted $rceil$ is defined. This pseudo-negation differs from
a negation because the property of idempotence for the pseudo-negation is not satisfied.
The negation from the clauses bodies of a program $P$ is interpreted via the
pseudo-negation. For the partial multi-valued interpretation $I$, the notion of model
of $P$ is defined. A partial ordering is defined between multi-valued interpretations.
An operator between interpretations is defined for a program P. Using this operator,
a pseudo-stable semantics for the program P is introduced. The pseudo-stable models
that satisfy a certain property are minimal elements of the set of all models for a
program P having that property.


  title={On Partial Pseudo-Stable Models For Logic Programs.},
  author={Victor FELEA},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}