Abstract
The authors describe an attempt to combine insights from knowledge representation and epistemic logic. 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 hand, 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. >
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.