Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Non-monotonic temporal goals
CENTRIA seminar: Non-monotonic temporal goals
Main information
By:
Ricardo Gonçalves
(
CENTRIA
)
Date:
Wednesday, 15th of January 2014, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
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.
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.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
