Authors:
Imre Kilián
and
Gábor Alberti
Affiliation:
University of Pécs, Hungary
Keyword(s):
Representational Dynamic Discourse Semantics, Information State, Modal Logic.
Related
Ontology
Subjects/Areas/Topics:
Applications
;
Artificial Intelligence
;
Business Intelligence
;
Cross-Feeding between Data and Software Engineering
;
Enterprise Software Technologies
;
Intelligent Problem Solving
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Model-Driven Engineering
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Symbolic Systems
Abstract:
The architecture we are developing can serve many ends: it can be used, for instance, as an intelligent personal diary for private purposes, or even as a dynamic “epistemic” protocol for legal cases or criminal investigations. Two of its special features make our architecture capable of performing these tasks. One of them is a DRT-based (Kamp et al., 2011) formal cognitive theory called eALIS (Alberti, 2009; Alberti and Kleiber, 2012; Alberti and Károly, 2012), which is responsible for the particular structure of our databases; the other one is a Prolog-based logical framework, which is responsible for populating the database and for logically “closing” its appropriate substructures. The major contribution of eALIS to this project is a traditional relational model (w0) of the relevant segment of the external world coupled up with an unlimited set (W={w1,w2,…}) of “wordlets”, each of which is an appropriately modified and highly partial copy of w0, capable of registering the beliefs
, desires and intentions of a group of people, as concerns the facts of w0 at selected points of time (T), as well as one another’s beliefs and other wordlets of WT. The Prolog inference system operates on a partially ordered structure with which we furnish WT, in order to answer users’ yes/no questions and to provide entities of wordlets as answers to wh-questions.
(More)