Contingency-based equilibrium logic

Luis Fariñas del Cerro (1, 2) , Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equilibrium logic (that is based on conjunction and intuitionistic implication).

Mots clés: modal logic; contingency; logic of here-and-there; equilibrium logic; answer-set programming

Domaines: Intelligence artificielle [cs.AI]

Luis Fariñas del Cerro, Andreas Herzig. Contingency-based equilibrium logic. 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩. ⟨hal-03464952⟩