All I know: A study in autoepistemic logic
From MaRDI portal
Publication:2276949
DOI10.1016/0004-3702(90)90056-6zbMath0724.03019OpenAlexW1991972474MaRDI QIDQ2276949
Publication date: 1990
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(90)90056-6
modal logicnonmonotonic logicpossible worlds semanticsautoepistemic logicepistemic logicbelief-operator
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items
On Well-Founded Set-Inductions and Locally Monotone Operators, Minimal knowledge problem: A new approach, Unifying default reasoning and belief revision in a modal framework, Conditional logics of normality: A modal approach, A positive information logic for inferential information, Reasoning about coalitional games, Only knowing with degrees of confidence, Downward refinement and the efficiency of hierarchical problem solving, Minimal belief and negation as failure, The Truth about Defaults, Limited reasoning in first-order knowledge bases, Possible world semantics and autoepistemic reasoning, Querying disjunctive databases through nonmonotonic logics, Counterfactual reasoning by (means of) defaults, Safe inductions and their applications in knowledge representation, Multi-modal nonmonotonic logics of minimal knowledge, Limited reasoning in first-order knowledge bases with full introspection, Multi-valued autoepistemic logic, On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, Logic programming and reasoning with incomplete information, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, Autoepistemic logic revisited, Integrity constraints in OWL ontologies based on grounded circumscription, On embedding default logic into Moore's autoepistemic logic, A semantics for reasoning consistently in the presence of inconsistency, Trans-epistemic semantics for logic programs, Relating only knowing to minimal belief and negation as failure, Semantical considerations on multiagent only knowing, Grounded fixpoints and their applications in knowledge representation, A history based approximate epistemic action theory for efficient postdictive reasoning, Sound and efficient closed-world reasoning for planning, On the progression of belief, Definability and commonsense reasoning, Belief change in branching time: AGM-consistency and iterated revision, A sequent calculus for skeptical Default Logic, Unnamed Item, Unnamed Item, Capturing equilibrium models in modal logic, Modelling incomplete information in Boolean games using possibilistic logic, The many faces of counts-as: A formal analysis of constitutive rules, Talkin'bout consistency, or: When logically possible becomes possible, Knowledge and communication: A first-order theory, Knowledge updates: Semantics and complexity issues, A logic-based model of intention formation and action for multi-agent subcontracting, Iterated regret minimization: a new solution concept, Plausible reasoning: a first-order approach, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, Beliefs in conditionals vs. conditional beliefs, On the decidability and complexity of reasoning about only knowing, Temporal interaction of information and belief, Sequent calculi for default and autoepistemic logics, A guide to completeness and complexity for modal logics of knowledge and belief, A logic of knowledge and justified assumption, How to reason defeasibly, Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM, John McCarthy's legacy, A semantic characterization of a useful fragment of the situation calculus with knowledge, Nonmonotonic reasoning by inhibition nets, A sound and complete proof theory for the generalized logic of only knowing, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Diversity of agents and their interaction, Autoepistemic equilibrium logic and epistemic specifications, A Semantical Account of Progression in the Presence of Defaults, Conditionalization and total knowledge, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Reasoning About Justified Belief Based on the Fusion of Evidence, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, Uniform semantic treatment of default and autoepistemic logics, Levesque's axiomatization of only knowing is incomplete, Abduction as belief revision, Modal logics for qualitative possibility theory, A simple logic for reasoning about incomplete knowledge, Reasoning with infinite stable models
Cites Work
