Results - Details

Search command : Author="Φλουρής"  And Author="Γεώργιος"

Current Record: 6 of 22

[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	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	501

Digital Documents
	Download document View document Views : 21