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. The ECAVI Event Calculus modelling tool, developed on top of the ADOxx metamodelling platform, will also be presented. ECAVI assists knowledge engineers in the process of axiomatizing causal domains.
Lecture at NEMO2019
Date/Time: Wednesday, July 17, 2019 at 09:00