Temporal Equilibrium Logic: A First Approach

In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal temporal operators, as those used in Linear Temporal Logic. As a result, we obtain a very expressive formalism that allows nonmonotonic reasoning for temporal domains. To show an example of its utility, we present a translation of a language for reasoning about actions into this formalism.

• Type: Conference
• Year: 2007
• Where: EUROCAST
• Authors: Pedro Cabalar, Gilberto Pérez Vega
• Keywords: Answer Set Semantics, EUROCAST 2007, Hardware, Linear Temporal Logic, Modal Temporal Operators