Belief, awareness, and limited reasoning

DOI10.1016/0004-3702(87)90003-8zbMath0634.03013OpenAlexW1994227541MaRDI QIDQ1096610

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(87)90003-8

zbMATH Keywords

possible-worlds semantics decision procedures Kripke structure logical omniscience complete axiomatizations logic of awareness Levesque's logic logic of knowledge and belief logic of local reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25)

Related Items

Reasoning about manipulation in multi-agent systems, A verification framework for agent programming with declarative goals, Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability, Inference as doxastic agency. I: The basics of justification stit logic, Justifications, Awareness and Epistemic Dynamics, Temporalizing Modal Epistemic Logic, Perception, memory, and imagination as propositional attitudes, Reasoning About Belief Revision, History of Relating Logic. The Origin and Research Directions, Incorporating the Relation into the Language?, Self-consistency, consistency and cycles in non-partitional knowledge models, Intentions and potential intentions revisited, Substructural epistemic logics, A Logic of Knowledge and Belief Based on Abstract Arguments, A semantics for reasoning consistently in the presence of inconsistency, <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT, The logic of framing effects, Relevant reasoning and implicit beliefs, An Abstract Look at Awareness Models and Their Dynamics, ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY, Raising awareness without disclosing truth, Dynamic epistemic logics for abstract argumentation, Cognitive limits and preferences for information, A substructural approach to explicit modal logic, Revising the elenchus via belief revision, Implicit Knowledge in Unawareness Structures - Extended Abstract -, Hyperintensional logics for everyone, Automated inference in active logics, Epistemic logic without closure, Inductive reasoning about unawareness, The Logic of Justification, Universal type structures with unawareness, Awareness as potential for knowledge, Unnamed Item, Unnamed Item, Unnamed Item, The Dynamic Epistemic Logic for Actual Knowledge, Modal-epistemic arithmetic and the problem of quantifying in, Knowing whether A or B, Justification Logic, A fugue on the themes of awareness logic and correspondence, Awareness and equilibrium, Substantive assumptions in interaction: a logical perspective, Dynamic Epistemic Logic and Logical Omniscience, Some considerations on the logics P_FD A logic combining modality and probability, A methodology to develop awareness in computer supported collaborative work using policies, A unified framework for hypothetical and practical reasoning (1): Theoretical foundations, Ideal and real belief about belief, Unnamed Item, Questions of Epistemic Logic in Hintikka, Why Bother with Syntax?, The cognitive structure of surprise: looking for basic principles, Doxastic logic: a new approach, Constructive decision theory, Unawareness -- a gentle introduction to both the literature and the special issue, Reprint of: Reasoning about knowledge of unawareness revisited, Unawareness with ``possible possible worlds, Preference-based unawareness, Extensive games with possibly unaware players, Approximations of modal logics: \(\mathbf K\) and beyond, Interactive unawareness revisited, A canonical model for interactive unawareness, THE LOGIC OF JUSTIFICATION, QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS, Dynamic epistemic logic for implicit and explicit beliefs, Generation and selection of abductive explanations for non-omniscient agents, Semantics for knowledge and change of awareness, A logic for reasoning about knowledge of unawareness, The effort of reasoning: modelling the inference steps of boundedly rational agents, Local Models Semantics, or contextual reasoning = locality + compatibility, Chemistry of belief, Cognitive forward induction and coordination without common knowledge: an experimental study, PROBLEM SOLVING WITH INSUFFICIENT RESOURCES, Reasoning with Justifications, A nonstandard approach to the logical omniscience problem, A nonstandard approach to the logical omniscience problem, Now That You Mention It, Rule-Based Reasoning with Belief Structures, Rethinking epistemic logic with belief bases, Knowledge, Time, and Logical Omniscience, Logical Dynamics of Evidence, Towards an Awareness-Based Semantics for Security Protocol Analysis, On Definitive Solutions of Strategic Games, Epistemic foundations for set-algebraic representations of knowledge, The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language, Solution concepts of principal-agent models with unawareness of actions, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, The problem of rational knowledge, The epistemic structure of a theory of a game, Awareness and partitional information structures, The value of information in risk-sharing environments with unawareness, A non-minimal but very weak axiomatization of common belief, Games with incomplete information when players are partially aware of others' signals, Logic and social cognition. The facts matter, and so do computational models, Belief revision in a microworld, The relationship between knowledge, belief, and certainty, Wanted dead or alive: epistemic logic for impure simplicial complexes, Hypergraphs, local reasoning, and weakly aggregative modal logic, Languages with self-reference. II: Knowledge, belief, and modality, Interactive unawareness, Reverse Bayesianism and act independence, Avoiding omnidoxasticity in logics of belief: A reply to MacPherson, I'm OK if you're OK: On the notion of trusting commmunication, Awareness-dependent subjective expected utility, Integration of weighted knowledge bases, Logical omniscience as infeasibility, Introspective unawareness and observable choice, Merging DEL and ETL, Justification logic with confidence, An informational view of classical logic, The fundamental problem of logical omniscience, From the knowability paradox to the existence of proofs, The dynamics of awareness, Dynamic logics of knowledge and access, Maintaining awareness using policies; Enabling agents to identify relevance of information, Dynamic reasoning with qualified syllogisms, Unawareness of theorems, Note on unawareness: negative introspection versus \(AU\) introspection (and \(KU\) introspection), The many faces of closure and introspection. An ineractive perspective, Pragmatic reasoning about unawareness, Reasoning about truth, Does exposure to unawareness affect risk preferences? A preliminary result, Impossible worlds and the logic of imagination, Some notes on Church's thesis and the theory of games, Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, A four-valued dynamic epistemic logic, Towards a ``sophisticated model of belief dynamics. I: The general framework, On the factivity of implicit intersubjective knowledge, The intensional structure of epistemic convictions, Bilattice logic of epistemic actions and knowledge, Awareness of unawareness: a theory of decision making in the face of ignorance, A guide to completeness and complexity for modal logics of knowledge and belief, Implicit, explicit and speculative knowledge, Syntactic awareness in logical dynamics, The interrogative model of inquiry meets dynamic epistemic logics, Speculation under unawareness, A behavioral definition of unforeseen contingencies, A logic for reasoning with inconsistency, A logic of intentions and beliefs, Financial complexity and trade, The dynamics of epistemic attitudes in resource-bounded agents, Equivalence of the information structure with unawareness to the logic of awareness, An internal version of epistemic logic, Two models of unawareness: comparing the object-based and the subjective-state-space approaches, Dealing with logical omniscience: expressiveness and pragmatics, Alternative semantics for unawareness, Two-dimensional awareness logics, Probabilistic unawareness, Unawareness without AU introspection, Towards a ``sophisticated model of belief dynamics. II: Belief revision, Developing bounded reasoning, Epistemic logic for rule-based agents, Diversity of agents and their interaction, A logic of situated resource-bounded agents, Modelling knowledge and action in distributed systems, Simple hyperintensional belief revision, Information structures with unawareness, An epistemic logic for multi-agent systems with budget and costs, A general possible worlds framework for reasoning about knowledge and belief, Probabilities and reasoning about possibilities, Neighbourhood semantics for FDE-based modal logics, Reaching agreements through argumentation: a logical model and implementation, Justification logics, logics of knowledge, and conservativity, Syntactic foundations for unawareness of theorems, Discovery and equilibrium in games with unawareness, Introspective forgetting, Inference and update, Reasoning about knowledge of unawareness, A probabilistic semantics for belief logic, An epistemic model of an agent who does not reflect on reasoning processes, Mighty belief revision, Fuzzy sets and binary-proximity-based rough sets, Common belief in rationality in games with unawareness, Unawareness and partitional information structures, Simple unawareness in dynamic psychological games, Information acquisition in the era of fair disclosure: an application of asymmetric awareness, Introduction to the special issue on unawareness, Games with unawareness, Knowledge, awareness and probabilistic beliefs, Ambiguity and awareness: a coherent multiple priors model, Updating awareness and information aggregation, Pathology of collective doxa. Automata models, Tractable reasoning via approximation, A semantical framework for supporting subjective and conditional probabilities in deductive databases, Multilanguage hierarchical logics, or: How we can do without modal logics, A logical framework for convention, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

Cites Work