The Implementation of a ReALIS-based Method of Static Intensional Interpretation

Márton Károly, Gábor Alberti

2013

Abstract

This paper is grounded in the joint work within our project to implement a static (and, later, dynamic) interpretation of sentences, using the theory of ?eALIS. It outlines definitions and implementations of truth-evaluating extensional and intensional predicates, with an aim to present the Prolog-based core (i.e. the future server-side) of the program. This program has been partially demonstrated in recent publications; it is now mature enough to have a (presumably Java/JSP-based) graphical interface deployed to it. In this paper we still use a bottom-up approach because the theoretical complexity of ?eALIS does not concur with a too early finalization of the architecture. Most notably, the world model data in ?eALIS, equipped with the semantic postulates, share a great many features with the program code itself. This causes problems when planning the user interface. As for future work, the most important goals are, on the one hand, to implement verbal semantics (while sticking to the bottom-up approach) and, on the other hand, to finalize the architecture, the use-cases, the components and the deployment (switching to a top-down approach).

References

  1. Alberti, G., 2011. ?eALIS. Interpretálók a világban, világok az interpretálóban [Interpreters in the world, worlds in the interpreter], Academic Press. Budapest.
  2. Alberti, G., Károly, M., 2010. The ?eALIS Model of Human Interpreters and Its Application in Computational Linguistics. In Proceedings of the 5th ICSOFT, Athens, Greece Vol. 2, SCITEPRESS. 468- 474.
  3. Alberti, G., Károly, M., 2011. The Implemented Human Interpreter as a Database. In Proceedings of the 5th IC3K-KEOD, Paris, France, SCITEPRESS. 379-385.
  4. Alberti, G., Károly, M., 2012. Multiple Level of Referents in Information State. In Computational Linguistics and Intelligent Text Processing - 13th International Conference, CICLing 2012, New Delhi, India, Springer. Berlin.
  5. Alberti, G., Kleiber J., 2010. The Grammar of ?eALIS and the Implementation of its Dynamic Interpretation. In Informatica Vol. 34. No. 2. 103-110.
  6. Alberti, G., Kleiber, J., 2011. Where are Possible Worlds? (Arguments for ?eALIS) In 4th Syntax, Phonolohy and Language Analysis Conference. Budapest.
  7. Asher, N., Lascarides, A., 2003. Logics of Conversation, Cambridge University Press. Cambridge.
  8. Dowty, D. R., Wall, R. E., Peters, S., 1980. Introduction to Montague Semantics, D. Reidel Publishing Company. Dordrecht.
  9. Kamp, H., van Genabith, J., Reyle, U., 2011. Discourse Representation Theory. In Handbook of Philosophical Logic, Vol. 15, Springer. Berlin. 125-394.
  10. Kilián, I., 2013. A Metamodel-Driven Architecture for Generating, Populating and Manipulating “Possible Worlds” to Answer Questions. In Proceedings of the 8th ICSOFT, Reykjavík, Iceland, SCITEPRESS. To appear.
  11. Seligman, J., Moss, L. S., 1997. Situation Theory. In Handbook of Logic and Language, Elsevier and MIT Press. Amsterdam and Cambridge. 239-309.
  12. Vadász, N., Alberti, G., Kleiber, J. 2013. The Matrix of Beliefs, Desires and Intention - Sentence by Sentence. In International Journal of Computational Linguistics and Applications Vol. 4 No. 1. 95-110.
Download


Paper Citation


in Harvard Style

Károly M. and Alberti G. (2013). The Implementation of a ReALIS-based Method of Static Intensional Interpretation . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013) ISBN 978-989-8565-81-5, pages 393-398. DOI: 10.5220/0004627503930398


in Bibtex Style

@conference{keod13,
author={Márton Károly and Gábor Alberti},
title={The Implementation of a ReALIS-based Method of Static Intensional Interpretation},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)},
year={2013},
pages={393-398},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004627503930398},
isbn={978-989-8565-81-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)
TI - The Implementation of a ReALIS-based Method of Static Intensional Interpretation
SN - 978-989-8565-81-5
AU - Károly M.
AU - Alberti G.
PY - 2013
SP - 393
EP - 398
DO - 10.5220/0004627503930398