A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions

Imre Kilián, Gábor Alberti

2013

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 WT. The Prolog inference system operates on a partially ordered structure with which we furnish WT, in order to answer users’ yes/no questions and to provide entities of wordlets as answers to wh-questions.

References

  1. Alberti, G.: ?eALIS: An Interpretation System which is Reciprocal and Lifelong. Workshop 'Focus on Discourse and Context-Dependence' (16.09.2009, 13.30-14.30 UvA, Amsterdam Center for Language and Comm.); http://lingua.btk.pte.hu/realispapers (2009)
  2. Alberti, G., J. Kleiber Where are Possible Worlds? (Arguments for ?eALIS). Acta Linguistica Hungarica 59 (1-2) (ed. Katalin É. Kiss). 3-26. (2012)
  3. Alberti, G., M. Károly: Multiple Level of Referents in Information State. A. Gelbukh (ed.): Computational Linguistics and Intelligent Text Processing, CICLing2012, New Delhi, India. LNCS7181. Springer Verlag, Berlin, Heidelberg, pp. 34-362 (2012)
  4. Kamp, H., van Genabith, J., Reyle, U.: Discourse Representation Theory. In Handbook of Philosophical Logic, vol. 15, pp. 125-394. Springer-Verlag, Berlin (2011)
  5. Kilián, I.: Modellvezérelt szoftverek készítése I-II (in English: Creating Model-driven Software) Alkalmazott Matematikai Lapok MTA, Budapest 2008.
  6. Kilián, I.: Contralog: egy elore haladó Prolog motor és alkalmazása ?eALIS nyelvi elemzésre (in English: Contralog: a Forward-Chaining Prolog Engine and its Application for ?eALIS Lingual Parsing) Erdélyi Magyar Muszaki Tudományos Társaság, SzámOkt 2011. konferencia kiadványa, Kolozsvár, 2011, pp. 199-205.
  7. Kilián, I.: Mixed strategy reasoning. An approach for resolution based verification of OCL constraints in UML models, Pollack Periodica, Vol. 2 Supplement, Akadémiai Kiadó, Budapest 2007.
  8. OMG Joint Revised Submission: Meta Object Facility (MOF) Specification OMG Document 1997.
  9. Seligman, J., Moss, L. S.: Situation Theory. In van Benthem, J., and ter Meulen, A. eds.: Handbook of Logic and Language. Elsevier, Amsterdam, MIT Press, Cambridge, Mass, pp. 239-309 (1997)
Download


Paper Citation


in Harvard Style

Kilián I. and Alberti G. (2013). A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 74-78. DOI: 10.5220/0004596000740078


in Bibtex Style

@conference{icsoft-ea13,
author={Imre Kilián and Gábor Alberti},
title={A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)},
year={2013},
pages={74-78},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004596000740078},
isbn={978-989-8565-68-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)
TI - A Metamodel-driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions
SN - 978-989-8565-68-6
AU - Kilián I.
AU - Alberti G.
PY - 2013
SP - 74
EP - 78
DO - 10.5220/0004596000740078