ECAVI: A Teaching Assistant for Reasoning about Actions and Change
by Nena Basina, Theodore Patkos, Dimitris Plexousakis (FORTH-ICS)
Reasoning about actions, change and causality constitutes an important field of research in artificial intelligence. A visual representation of the main concepts involved while encoding logic programs can help knowledge engineers better understand the semantics. The ECAVI modelling tool aims to acquaint inexperienced modellers with the main features of common sense reasoning, guiding them during the process, through a meta-modelling platform and with the help of a state-of-the-art reasoner.