Results - Details
Search command : Author="Φλουρής"
And Author="Γεώργιος"
Current Record: 6 of 22
|
Identifier |
000423006 |
Title |
ECAVI: A tool for event calculus analysis and visualization |
Alternative Title |
ECAVI: Ένα εργαλείο για ανάλυση και οπτικοποίηση του λογισμού συμβάντων |
Author
|
Μπασινά, Παρθένα Π.
|
Thesis advisor
|
Πλεξουσάκης, Δημήτρης
|
Reviewer
|
Παπαγιαννάκης, Γεώργιος
Φλουρής, Γεώργιος
|
Abstract |
Although action languages are well-established as a means to model dynamic
domains, their adoption by knowledge engineers is often hindered by modelling errors
and steep learning curves. Event Calculus (EC), as one of the most prominent action
languages, has a way of representing causal and narrative information which
differentiates in from other similar formalisms. It has been argued that visual modelling
tools could assist knowledge engineers in the modelling task and improve the quality of
the resulting models. The ADOxx Meta-Modelling platform enables the development of
modelling toolkits where the metamodel and the modelling method are made by the
developer.
In this thesis, we present the tool ECAVI (Event Calculus Analysis and
VIsualisation), a domain independent visual modelling tool for designing dynamic
domains in the Event Calculus. ECAVI is mainly addressed to inexperienced modellers
(such as students who are working towards understanding the Event Calculus), aiming to
help them become acquainted with the features of Event Calculus and to guide them
during the process of designing their problems.
For the realisation of the tool we make use of the ADOxx meta-modelling
platform's functionalities in order to design our graphical language based on the syntax
and semantics of the Answer Set Programming (ASP) formal language and with the help
of a Java program, we pair it with the state-of-the-art automated reasoner, Clingo.
Even though ECAVI is still a work-in-progress, with several features that have been
planned but not implemented yet, we argue that the tool will be useful to a diverse
audience of knowledge modellers as a teaching assistant for the fundamental concepts of
reasoning about actions and change and also as a way to visualise full ASP programs.
|
Language |
English |
Subject |
Model-driven engineering |
|
Λογισμός συμβάντων |
Issue date |
2019-03-29 |
Collection
|
School/Department--School of Sciences and Engineering--Department of Computer Science--Post-graduate theses
|
|
Type of Work--Post-graduate theses
|
Permanent Link |
https://elocus.lib.uoc.gr//dlib/0/b/e/metadata-dlib-1559985628-218249-30741.tkl
|
Views |
577 |