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)

Full work available at URL https://doi.org/10.1007/BF02917028

zbMATH Keywords

intelligent agentsknowledge representationKripke semanticsmodal logicmulti-agent knowledgemulti-modal formalismnon-translatability

Mathematics Subject Classification ID

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

Review text

Historically, modal logic was introduced to describe the modalities ``necessary and ``possible. Later on, it turned out that the same formalisms (with a similar semantics) can be used to describe a different pair of modalities corresponding to knowledge and belief. Traditional modal logics, however, describe knowledge and belief of a \textit{single} intelligent agent. To describe knowledge adequately, we must take into consideration that different agents may know different things and believe in different things. To describe the reasoning about such multi-agent knowledge, researchers from Artificial Intelligence (AI) have formulated modal logics with several modalities corresponding to different agents; for a latest survey of their formalisms, see, e.g., \textit{R. Fagin, J. Halpern, Y. Moses} and \textit{M. Y. Vardi}, Reasoning about knowledge (1995; Zbl 0839.68095). All these formalisms, however, deal with the situation in which the knowledge and belief sets of different agents may be different, but the language which different agents use to describe their knowledge and belief is the same. Of course, we can easily assume that the agents' languages may be different, but we can always translate each statement from every language to every other language. In practice, some agents may use languages in which some statements cannot be adequately translated into the language used by the others; e.g., one of the agents may use a primitive language while another agent may be a highly intelligent agent using a universal language which cannot be adequately translated into the primitive language of the first agent. The authors generalize the AI's multi-modal formalism so that it covers such non-translatability as well. They describe the Kripke semantics for this new logic, and provide a system of axioms which they show to be complete with respect to this semantics.

Cites work

• A little knowledge goes a long way
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• 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

(14)

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

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)