La logique modale des modèles d'équilibre

Luis Farina del Cerro, Andreas Herzig
2012 Revue d'intelligence artificielle : Revue des Sciences et Technologies de l'Information  
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
more » ... e l'équilibre peut être traduit. ABSTRACT. 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. MOTS-CLÉS : modèles ici-et-là-bas, logique de l'équilibre, logique bi-modale, programmation par ensembles réponses KEYWORDS: equilibrium logic, here-and-there models, bimodal logic, answer-set programming RSTI -RIA -26/2012. Intelligence artificielle fondamentale, pages 85 à 101
doi:10.3166/ria.26.85-102 fatcat:7hg36y7urnf5ndj35ei32ddrmu