UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Answer Sets for Propositional Theories (2005)
Paolo Ferraris
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case in which every formula is a "rule" --- an implication that has no implications in the antecedent (body) and consequent (head). The semantics of equilibrium logic looks very different from the usual definitions of an answer set in logic programming, as it is based on Kripke models. In this paper we propose a new definition of equilibrium logic which uses the concept of a reduct, as in the standard definition of an answer set. Second, we apply the generalized concept of an answer set to the problem of defining the semantics of aggregates in answer set programming. We propose, in particular, a semantics for weight constraints that covers the problematic case of negative weights. Our semantics of aggregates is an extension of the approach due to Faber, Leone, and Pfeifer to a language with choice rules and, more generally, arbitrary rules with nested expressions.
View:
PDF
Citation:
In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, pp. 119-131 2005.
Bibtex:
@InProceedings{fer05, title={Answer Sets for Propositional Theories}, author={Paolo Ferraris}, booktitle={Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)}, pages={119-131}, url="http://www.cs.utexas.edu/users/ai-lab/?fer05", year={2005} }
People
Paolo Ferraris
Ph.D. Alumni
pieffe8 [at] gmail com
Areas of Interest
Answer Set Programming
Labs
Texas Action Group