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 (74)
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
This page was built for publication: All I know: A study in autoepistemic logic
