A model of reasoning about knowledge

DOI10.1007/BF02917028zbMATH Open0926.03014MaRDI QIDQ1286688FDOQ1286688

Authors: Ruqian Lu, Mingsheng Ying 

Publication date: 23 November 1999

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

Recommendations

• scientific article; zbMATH DE number 847979
• scientific article; zbMATH DE number 125988
• scientific article; zbMATH DE number 795590

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

• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Reasoning about knowledge and probability
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• A little knowledge goes a long way
• What can machines know?

Cited In (12)

• Interpreted systems and Kripke models for multiagent systems from a categorical perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study
• Inexact knowledge with introspection
• Title not available (Why is that?)
• Efficient reasoning in multiagent epistemic logics
• A logic for reasoning about ambiguity
• A correct response model in knowledge structure theory
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Title not available (Why is that?)
• Refinement quantified logics of knowledge and belief for multiple agents

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)