DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS.

Alessandro Saffiotti, Fabrizio Sebastiani

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

The authors describe an attempt to combine insights from knowledge representation and epistemic logic. 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 the authors have obtained a semantic account that, besides being 'functionality' 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, the authors have concentrated on adding to KRYPTON the possibility of representing beliefs about the beliefs of multiple agents. The result is a knowledge-representation language that, though absolutely general, is particularly geared to applications (such as user or dialogue modeling) where the interaction among multiple agents is involved.

Original languageEnglish
Title of host publicationUnknown Host Publication Title
Place of PublicationNew York, NY, USA
PublisherIEEE
Pages56-61
Number of pages6
ISBN (Print)0818608374
Publication statusPublished - 1988
Externally publishedYes

Fingerprint

Krypton
Knowledge representation
Semantics
Hybrid systems

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Saffiotti, A., & Sebastiani, F. (1988). DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS. In Unknown Host Publication Title (pp. 56-61). New York, NY, USA: IEEE.

DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS. / Saffiotti, Alessandro; Sebastiani, Fabrizio.

Unknown Host Publication Title. New York, NY, USA : IEEE, 1988. p. 56-61.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Saffiotti, A & Sebastiani, F 1988, DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS. in Unknown Host Publication Title. IEEE, New York, NY, USA, pp. 56-61.
Saffiotti A, Sebastiani F. DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS. In Unknown Host Publication Title. New York, NY, USA: IEEE. 1988. p. 56-61
Saffiotti, Alessandro ; Sebastiani, Fabrizio. / DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS. Unknown Host Publication Title. New York, NY, USA : IEEE, 1988. pp. 56-61
@inproceedings{c7e0a640ad994903ab09dda62ac093ca,
title = "DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS.",
abstract = "The authors describe an attempt to combine insights from knowledge representation and epistemic logic. 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 the authors have obtained a semantic account that, besides being 'functionality' 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, the authors have concentrated on adding to KRYPTON the possibility of representing beliefs about the beliefs of multiple agents. The result is a knowledge-representation language that, though absolutely general, is particularly geared to applications (such as user or dialogue modeling) where the interaction among multiple agents is involved.",
author = "Alessandro Saffiotti and Fabrizio Sebastiani",
year = "1988",
language = "English",
isbn = "0818608374",
pages = "56--61",
booktitle = "Unknown Host Publication Title",
publisher = "IEEE",

}

TY - GEN

T1 - DIALOGUE MODELLING IN M-KRYPTON - A HYBRID LANGUAGE FOR MULTIPLE BELIEVERS.

AU - Saffiotti, Alessandro

AU - Sebastiani, Fabrizio

PY - 1988

Y1 - 1988

N2 - The authors describe an attempt to combine insights from knowledge representation and epistemic logic. 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 the authors have obtained a semantic account that, besides being 'functionality' 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, the authors have concentrated on adding to KRYPTON the possibility of representing beliefs about the beliefs of multiple agents. The result is a knowledge-representation language that, though absolutely general, is particularly geared to applications (such as user or dialogue modeling) where the interaction among multiple agents is involved.

AB - The authors describe an attempt to combine insights from knowledge representation and epistemic logic. 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 the authors have obtained a semantic account that, besides being 'functionality' 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, the authors have concentrated on adding to KRYPTON the possibility of representing beliefs about the beliefs of multiple agents. The result is a knowledge-representation language that, though absolutely general, is particularly geared to applications (such as user or dialogue modeling) where the interaction among multiple agents is involved.

UR - http://www.scopus.com/inward/record.url?scp=0023844620&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023844620&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0818608374

SP - 56

EP - 61

BT - Unknown Host Publication Title

PB - IEEE

CY - New York, NY, USA

ER -