UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
On the Semantics of Gringo (2013)
Amelia Harrison
,
Vladimir Lifschitz
, and
Fangkai Yang
Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by designers of answer set solvers usually explain such constructs using examples and informal comments that appeal to the user's intuition, without references to any precise semantics. We propose to approach the problem of defining the semantics of Gringo programs by translating them into the language of infinitary propositional formulas. This semantics allows us to study equivalent transformations of Gringo programs using natural deduction in infinitary propositional logic.
View:
PDF
Citation:
In
Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
, Istanbul, Turkey, August 2013.
Bibtex:
@inproceedings{gringo, title={On the Semantics of Gringo}, author={Amelia Harrison and Vladimir Lifschitz and Fangkai Yang}, booktitle={Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)}, month={August}, address={Istanbul, Turkey}, url="http://www.cs.utexas.edu/users/ai-lab?gringo", year={2013} }
People
Amelia Harrison
Ph.D. Alumni
ameliaj [at] cs utexas edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Fangkai Yang
Ph.D. Alumni
fkyang [at] cs utexas edu
Areas of Interest
Answer Set Programming