Implicit, explicit and speculative knowledge

DOI10.1016/J.ARTINT.2017.11.004MaRDI QIDQ1748464zbMATH OpenOpenAlexFDO

Authors Xianqiang Yang

Publication date 11 May 2018

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2017.11.004

zbMATH Keywords

multi-agent systemsmodal logicbisimulationexpressivityawareness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning about knowledge of unawareness
• A logic for reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• Semantics for knowledge and change of awareness
• \textit{Awareness of} and \textit{awareness that}: their combination and dynamics

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 1222559 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• A logic for reasoning about knowledge of unawareness
• Alternative semantics for unawareness
• Awareness and partitional information structures
• Awareness dynamics
• Bayesian games with unawareness and unawareness perfection
• Becoming aware of propositional variables
• Belief, awareness, and limited reasoning
• Bilattice public announcement logic
• Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
• Dealing with logical omniscience: expressiveness and pragmatics
• Epistemic planning for single- and multi-agent systems
• Expressivity Hierarchy of Languages for Epistemic Awareness Models
• Extensive games with possibly unaware players
• Interactive unawareness
• Interactive unawareness revisited
• Modal logic
• Modal logics with Belnapian truth values
• Propositional quantifiers in modal logic1
• Reasoning about knowledge of unawareness
• Reasoning about knowledge of unawareness revisited
• Semantics for knowledge and change of awareness
• The dynamics of awareness
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Unawareness and partitional information structures
• Unawareness with ``possible possible worlds

Cited in

(17)

• A logic for reasoning about knowledge of unawareness
• Belief base: a minimal logic of fine-grained information dynamics
• Explicit and implicit knowledge in neighbourhood models
• Reasoning about knowledge of unawareness revisited
• Default knowledge and measures of specificity
• \textit{Awareness of} and \textit{awareness that}: their combination and dynamics
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Implicit Knowledge in Unawareness Structures - Extended Abstract -
• On the factivity of implicit intersubjective knowledge
• A formal model for explicit knowledge as awareness-of plus awareness-that
• Reasoning about manipulation in multi-agent systems
• Discovery and equilibrium in games with unawareness
• Awareness as potential for knowledge
• Excluded knowledge
• Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
• Reasoning about knowledge of unawareness

This page was built for publication: Implicit, explicit and speculative knowledge

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