A model of reasoning about knowledge

DOI10.1007/BF02917028zbMath0926.03014MaRDI QIDQ1286688

Ru-qian Lu, Ming Sheng 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

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

Related Items (1)

Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study

Cites Work

• Unnamed Item
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability
• A little knowledge goes a long way
• What can machines know?
• Institutions: abstract model theory for specification and programming

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