DeepAI AI Chat
Log In Sign Up

Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report

by   Torsten Schaub, et al.
Universität Potsdam

We analyze the problem of defining well-founded semantics for ordered logic programs within a general framework based on alternating fixpoint theory. We start by showing that generalizations of existing answer set approaches to preference are too weak in the setting of well-founded semantics. We then specify some informal yet intuitive criteria and propose a semantical framework for preference handling that is more suitable for defining well-founded semantics for ordered logic programs. The suitability of the new approach is convinced by the fact that many attractive properties are satisfied by our semantics. In particular, our semantics is still correct with respect to various existing answer sets semantics while it successfully overcomes the weakness of their generalization to well-founded semantics. Finally, we indicate how an existing preferred well-founded semantics can be captured within our semantical framework.


page 1

page 2

page 3

page 4


Logic Programming with Ordered Disjunction

Logic programs with ordered disjunction (LPODs) combine ideas underlying...

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...

A Logical Charaterisation of Ordered Disjunction

In this paper we consider a logical treatment for the ordered disjunctio...

A Framework for Compiling Preferences in Logic Programs

We introduce a methodology and framework for expressing general preferen...

Semantics for Possibilistic Disjunctive Programs

In this paper, a possibilistic disjunctive logic programming approach fo...

Embedding Description Logic Programs into Default Logic

Description logic programs (dl-programs) under the answer set semantics ...

IVOIRE Deliverable 1.1: Classification of existing VOs tools and Formalization of VOs semantics

This report discusses the foundations of the VO approach. Then, it explo...