La logique modale des modèles d’équilibre - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue d'Intelligence Artificielle Année : 2012

La logique modale des modèles d’équilibre

Résumé

Here-an-there models and equilibrium models were investigated as a semantical framework for answer ensemble programming by Pearce, Cabalar, Lifschitz, Ferraris and others. 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 equilibrium logic, stated in terms of a modal language into which the language of equilibrium logic can be embedded.
Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une sémantique directe de la logique de l’équilibre en termes d’un langage modal dans lequel le langage de la logique de l’équilibre peut être traduit.

Dates et versions

hal-03464940 , version 1 (03-12-2021)

Identifiants

Citer

Luis Fariñas del Cerro, Andreas Herzig. La logique modale des modèles d’équilibre. Revue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩. ⟨hal-03464940⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More