Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic 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. 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 will be discussed in the context of solving constraint satisfaction problems for business process optimization. Students will have the ability to work with software implementing non-monotonic and event-based formalisms, and to understand the benefits of coupling such tools and methodologies with modelling tools, like the ADOxx metamodelling platform.
Lecture at NEMO2018
Date/Time: Monday, July 23, 2018 at 15:00