A model of reasoning about knowledge

DOI10.1007/BF02917028MaRDI QIDQ1286688zbMATH OpenFDO

Authors Ruqian Lu, Mingsheng Ying

Publication date 23 November 1999

Published in Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

modal logicknowledge representationKripke semanticsintelligent agentsmulti-agent knowledgemulti-modal formalismnon-translatability

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A little knowledge goes a long way
• Institutions: abstract model theory for specification and programming
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability
• What can machines know?

Cited in

(12)

• scientific article; zbMATH DE number 4201691 (Why is no real title available?)
• Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study
• Inexact knowledge with introspection
• Efficient reasoning in multiagent epistemic logics
• scientific article; zbMATH DE number 125988 (Why is no real title available?)
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• scientific article; zbMATH DE number 5524525 (Why is no real title available?)
• A logic for reasoning about ambiguity
• Refinement quantified logics of knowledge and belief for multiple agents
• A correct response model in knowledge structure theory
• scientific article; zbMATH DE number 847980 (Why is no real title available?)
• Interpreted systems and Kripke models for multiagent systems from a categorical perspective

This page was built for publication: A model of reasoning about knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286688)