All I know: A study in autoepistemic logic
From MaRDI portal
Publication:2276949
The author's aim is to approach nonmonotonicity via epistemic logic. The word ``autoepistemic hereby refers to the fact that the epistemic operators are allowed to appear within their own ranges. The epistemic part of the language contains the unary belief-operator B together with an additional (unary propositional) operator \b{O}, with \b{O}H meaning ``H is \textit{all} that is believed; of course the background idea is to apply \b{O} essentially to finite sets of sentences (via their conjunction). In a natural way there is a possible worlds semantics such that the B- fragment corresponds to the modal logic weak S5 (i.e. K4.5). This extended epistemic logic the author introduces here is studied first in its own right, is then related to the autoepistemic logic of \textit{R. Moore} [Proc. IJCAI-83, Karlsruhe, 272-279 (1983; Zbl 0536.68074)] and the stable expansions, given a sound and, for the propositional part, complete axiomatization (which, yet, for the first-order case is not recursive), and is applied to some problems of nonmonotonicity.
Recommendations
Cites work
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Foundations of a functional approach to knowledge representation
- scientific article; zbMATH DE number 3930375 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- Non-monotonic logic. I
- On the relation between default and autoepistemic logic
Cited in
(91)- Diversity of agents and their interaction
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- A guide to completeness and complexity for modal logics of knowledge and belief
- A logic of knowledge and justified assumption
- How to reason defeasibly
- Modal logics for qualitative possibility theory
- Minimal knowledge problem: A new approach
- Unifying default reasoning and belief revision in a modal framework
- Conditional logics of normality: A modal approach
- Downward refinement and the efficiency of hierarchical problem solving
- Minimal belief and negation as failure
- 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
- Multi-valued autoepistemic logic
- Sound and efficient closed-world reasoning for planning
- Definability and commonsense reasoning
- Safe inductions and their applications in knowledge representation
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Modelling incomplete information in Boolean games using possibilistic logic
- Some semantic results about the O operator in Levesque's logic of belief
- Uniform semantic treatment of default and autoepistemic logics
- Levesque's axiomatization of only knowing is incomplete
- Abduction as belief revision
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- Logic programming and reasoning with incomplete information
- On the decidability and complexity of reasoning about only knowing
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Limited reasoning in first-order knowledge bases with full introspection
- Autoepistemic equilibrium logic and epistemic specifications
- A simple logic for reasoning about incomplete knowledge
- Only knowing with degrees of confidence
- Integrity constraints in OWL ontologies based on grounded circumscription
- Capturing equilibrium models in modal logic
- 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
- Beliefs in conditionals vs. conditional beliefs
- Temporal interaction of information and belief
- Multi-modal nonmonotonic logics of minimal knowledge
- Autoepistemic logic revisited
- On embedding default logic into Moore's autoepistemic logic
- A semantics for reasoning consistently in the presence of inconsistency
- Reasoning about justified belief based on the fusion of evidence
- The truth about defaults
- A Semantical Account of Progression in the Presence of Defaults
- Conditionalization and total knowledge
- scientific article; zbMATH DE number 97793 (Why is no real title available?)
- scientific article; zbMATH DE number 408779 (Why is no real title available?)
- Belief change in branching time: AGM-consistency and iterated revision
- scientific article; zbMATH DE number 517035 (Why is no real title available?)
- Autoepistemic logic
- Relating only knowing to minimal belief and negation as failure
- A sound and complete proof theory for the generalized logic of only knowing
- A sequent calculus for skeptical Default Logic
- Talkin'bout consistency, or: When logically possible becomes possible
- Sequent calculi for default and autoepistemic logics
- Belief, provability, and logic programs
- scientific article; zbMATH DE number 851063 (Why is no real title available?)
- Plausible reasoning: a first-order approach
- A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
- A conceptually well-founded characterization of iterated admissibility using an ``all I know operator
- Exploiting belief bases for building rich epistemic structures
- Trans-epistemic semantics for logic programs
- On well-founded set-inductions and locally monotone operators
- 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
- scientific article; zbMATH DE number 6606375 (Why is no real title available?)
- Nonmonotonic reasoning by inhibition nets
- On the progression of belief
- Base-based model checking for multi-agent only believing
- Epistemic logics for relevant reasoners
- Refining the semantics of epistemic specifications
- Iterated regret minimization: a new solution concept
- Splitting property for epistemic equilibrium logics
- Construction of canonical models for K45 and weaker systems
- The whole truth
- Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework
- Toward a logical theory of fairness and bias
- Learnability with PAC semantics for multi-agent beliefs
- Reasoning with infinite stable models
- A positive information logic for inferential information
- Reasoning about coalitional games
- 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
- The many faces of counts-as: A formal analysis of constitutive rules
This page was built for publication: All I know: A study in autoepistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2276949)
