Your browser does not support JavaScript!

Home    Search  

Results - Details

Search command : All Fields="Μπασινά"

Current Record: 1 of 1

Back to Results Previous page
Next page
Add to Basket
[Add to Basket]
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   Faculty/Department--Faculty of Sciences and Engineering--Department of Computer Science--Post-graduate theses
  Type of Work--Post-graduate theses
Permanent Link Bookmark and Share
Views 51

Digital Documents
No preview available

View document
Views : 15