Dialogue Modelling in M-Krypton: a Hybrid Language for Multiple Believers

A. Saffiotti and F. Sebastiani

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.
A. Saffiotti and F. Sebastiani. Dialogue modelling in M-Krypton: a hybrid language for multiple believers. Prof. of the 4th IEEE Conf. on Artificial Intelligence Applications (CAIA) pp. 56-61. San Diego, CA, 1988.
BibTeX entry
Email Alessandro Saffiotti
Email Fabrizio Sebastiani
Availability (©)
PDF PDF file (489 Kb)
Page hosted by  AASS Designed and maintained by Alessandro Saffiotti