Capturing equilibrium models in modal logic

Luis Fariñas del Cerro (1, 2) , Andreas Herzig (1, 2) , Ezgi Iraz Su (1, 3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 ULISBOA - Universidade de Lisboa = University of Lisbon

Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of satisfiability is defined in terms of satisfiability in propositional logic and in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language embedding the language of equilibrium logic.

Mots clés: Answer-Set Programming; Equilibrium Logic; Bimodal Logic; Here-And-There Models

Domaines: Intelligence artificielle [cs.AI]; Informatique et langage [cs.CL]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]

Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. Capturing equilibrium models in modal logic. Journal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩. ⟨hal-01127960⟩