Istituto di Scienza e Tecnologie dell'Informazione     
Saffiotti A., Sebastiani F. Dialogue modelling in M-KRYPTON, a hybrid language for multiple believers. In: 4th Conference on Artificial Intelligence Applications. (San Diego, California (USA), 14 - 18 March 1988). Proceedings, pp. 56 - 61. IEEE, 1988.
We describe an attempt to combine insights from knowledge representation and epistemic logic, two research fields that, although closely related in principle, have not shown to date a high degree of cross-fertilization. On one side, hybrid knowledge representation systems embody a powerful representational paradigm, accounting for multiple, essentially different kinds of belief (or, popularly, "knowledge") in an integrated way. On the other side, the possible worlds semantics typical of epistemic logic is easily tailored to model various interesting notions, such as the existence of multiple believers and introspective belief. By recasting the KRYPTON hybrid KR system in terms of possible worlds semantics we have obtained a semantic account that, besides being "functionally" equivalent to the original one, is easily extensible to deal with operators (such as those for "propositional attitudes") that have traditionally been the subject of epistemic and related logics. In particular, we have concentrated on adding to KRYPTON the possibility of representing beliefs about the beliefs of multiple agents, where such agents may believe in propositions either of an "assertional" or of a "terminological" nature. The result is a knowledge representation language that, though absolutely general, is particularly geared to applications (such as user or dialogue modelling) where the interaction among multiple agents is involved.
Subject Knowledge Representation
High-level language

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional