Semantics for disjunctive logic programs with explicit and default negation

J Minker, C Ruiz - Fundamenta Informaticae, 1994 - content.iospress.com
J Minker, C Ruiz
Fundamenta Informaticae, 1994content.iospress.com
The use of explicit negation enhances the expressive power of logic programs by providing
a natural and unambiguous way to assert negated information about the domain being
represented. We study the semantics of disjunctive programs that contain both explicit
negation and negation-by-default, called extended disjunctive logic programs. General
techniques are described for extending model, fixpoint, and proof theoretic characterizations
of an arbitrary semantics of normal disjunctive logic programs to cover the class of extended …
Abstract
The use of explicit negation enhances the expressive power of logic programs by providing a natural and unambiguous way to assert negated information about the domain being represented. We study the semantics of disjunctive programs that contain both explicit negation and negation-by-default, called extended disjunctive logic programs. General techniques are described for extending model, fixpoint, and proof theoretic characterizations of an arbitrary semantics of normal disjunctive logic programs to cover the class of extended programs. Illustrations of these techniques are given for stable models, disjunctive well-founded and stationary semantics. The declarative complexity of the extended programs, as well as the algorithmic complexity of the proof procedures and fixpoint operators, are discussed.
content.iospress.com
以上显示的是最相近的搜索结果。 查看全部搜索结果