Infinitary Equilibrium Logic and Strongly Equivalent Logic Programs (2017)
Amelia Harrison, Vladimir Lifschitz, David Pearce, and Agustín Valverde
Strong equivalence is an important concept in the theory of answer set programming. Informally speaking, two sets of rules are strongly equivalent if they have the same meaning in any context. Equilibrium logic was used to prove that sets of rules expressed as propositional formulas are strongly equivalent if and only if they are equivalent in the logic of here-and-there. We extend this line of work to formulas with infinitely long conjunctions and disjunctions. This is useful because of the relationship between infinitary formulas and logic programs with local variables.
View:
PDF
Citation:
Artificial Intelligence, Vol. 246 (2017).
Bibtex:

Amelia Harrison Ph.D. Student ameliaj [at] cs utexas edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu