Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic Uncertain Domains
The modelling of knowledge, action and time is a topic of current research within the broader domain of knowledge representation and reasoning. The course will focus on declarative approaches for modelling and reasoning with change, paying particular attention to the integration of knowledge and action (by means of artificial software agents). As time is inherent in any type of activity and process, the course will also deal with the representation of temporal properties that characterize the occurrence of actions and the knowledge they generate. Practical aspects of reasoning about knowledge, action and time in the context of agent-based systems, ambient intelligence and cognitive robotics will be exposed in addition to the theoretical frameworks. Students will also have the ability to conduct exercises with software implementing non-monotonic and event-based formalisms, in order to address reasoning problems involving aspects, such as constraint-satisfaction, commonsense reasoning and planning, cast in the context of ambient environments and cooperating intelligent agents.
Lecture at NEMO2017
Date/Time: Tuesday, July 25, 2017 at 09:00