Authors:
Márton Károly
and
Gábor Alberti
Affiliation:
University of Pécs, Hungary
Keyword(s):
Extensional and Intensional Predicates, Static and Dynamic Interpretation, Modeling Human Interactions.
Related
Ontology
Subjects/Areas/Topics:
Applications
;
Artificial Intelligence
;
Biomedical Engineering
;
Decision Support Systems
;
Expert Systems
;
Health Information Systems
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Natural Language Processing
;
Pattern Recognition
;
Symbolic Systems
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 t
he 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).
(More)