Title: Non-monotonic temporal goals
By: Ricardo Gonçalves (CENTRIA)
Abstract:
In this talk I will present a logic programming based framework which allows for the representation of conditional non-monotonic temporal beliefs andgoals 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.
Short-bio:
Ricardo Gonçalves holds a 5-years BSc in Applied Mathematics and Computation (2004) and a PhD in Mathematics (2008), both from Instituto Superior Técnico of Universidade Técnica de Lisboa. The topic of his PhD thesis was on the area of Algebraic Logic. Since 2009 he is a postdoc researcher at CENTRIA, Universidade Nova de Lisboa, working mainly in the area of Knowledge Representation and Reasoning.