Capturing equilibrium models in modal logic |
| |
Affiliation: | Université de Toulouse, CNRS, IRIT, 118 Route de Narbonne, F-31062 Toulouse, Cedex 9, France |
| |
Abstract: | Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of an equilibrium model is defined in terms of quantification over here-and-there models. We here give a direct semantics of equilibrium logic, stated for a modal language embedding the language of equilibrium logic. |
| |
Keywords: | Equilibrium logic Here-and-there models Bimodal logic Answer-set programming |
本文献已被 ScienceDirect 等数据库收录! |
|