La logique modale des modèles d'équilibre

Here-an-there models and equilibrium models were investigated as a semantical framework for answer ensemble programming by Pearce, Cabalar, Lifschitz, Ferraris and oth- ers. The semantics of equilibrium logic is indirect in that the notion of satisfiability is defined in terms of satisfiability in the logic of here-and-there. We here give a direct semantics of equi- librium logic, stated in terms of a modal language into which the language of equilibrium logic can be embedded.

[1]  David Pearce,et al.  Minimal Logic Programs , 2007, ICLP.

[2]  Igor Stéphan,et al.  Possibilistic Stable Models , 2005, IJCAI.

[3]  Luis Fariñas del Cerro,et al.  The Modal Logic of Equilibrium Models , 2011, FroCoS.

[4]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[5]  Igor Stéphan,et al.  From (Quantified) Boolean Formulae to Answer Set Programming , 2009, J. Log. Comput..

[6]  A. Heyting.  Die formalen Regeln der intuitionistischen Logik , 1930 .

[7]  Joohyung Lee,et al.  A New Perspective on Stable Models , 2007, IJCAI.

[8]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[9]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

[10]  Igor Stéphan,et al.  Possibilistic uncertainty handling for answer set programming , 2006, Annals of Mathematics and Artificial Intelligence.

[11]  Bernd Finkbeiner,et al.  Fields of Logic and Computation , 2011 .

[12]  Pedro Cabalar,et al.  Propositional theories are strongly equivalent to logic programs , 2007, Theory Pract. Log. Program..

[13]  Claudio Pizzi,et al.  Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler , 2008, Logic, Epistemology, and the Unity of Science.

[14]  Denyse Baillargeon,et al.  Bibliographie , 1929 .

[15]  Luis Fariñas del Cerro,et al.  Contingency-Based Equilibrium Logic , 2011, LPNMR.

[16]  Vladimir Lifschitz,et al.  Thirteen Definitions of a Stable Model , 2010, Fields of Logic and Computation.

[17]  David Pearce,et al.  A Tableau Calculus for Equilibrium Entailment , 2000, TABLEAUX.

[18]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.