Home NEMO 2019 Lectures Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic Domains

Modelling Knowledge Action and Time: Action Theories and Their Application in Dynamic Domains

Prof. Dr. Dimitris Plexousakis

Prof. Dr. Dimitris Plexousakis

FORTH-ICS, Greece

Dr. Theodore Patkos

Dr. Theodore Patkos

FORTH-ICS, Greece

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