Detail

Non-monotonic temporal goals

In this talk I will present a logic programming based framework which allows for the representation of conditional non-monotonic temporal beliefs and goals of agents in a declarative way. Its stable model like semantics allows for dealing with conflicting goals and several possible alternatives. I will show that this framework satisfies some usual properties on goals and that it allows imposing alternative constraints on the interaction between beliefs and goals. I will present a decidability result of the usual reasoning tasks and show how they can be implemented using an ASP solver and an LTL reasoner in a modular way, thus taking advantage of existing LTL reasoners and ASP solvers.