Logics of Contingency

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 introduce the logic of positive and negative contingency. Together with modal operators of necessity and impossibility they allow to dispense of negation. We study classes of Kripke models where the number of points is restricted, and show that the modalities reduce in the corresponding logics. We finally discuss how this provides an alternative language for answer set programming.

Mots clés: negative contingency; modal operator; corresponding logic; kripke model

Domaines: Intelligence artificielle [cs.AI]

Luis Fariñas del Cerro, Andreas Herzig. Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States. ⟨hal-03470300⟩