Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
From MaRDI portal
Publication:5940718
DOI10.1007/3-540-44600-1zbMath0978.03014OpenAlexW1591187701MaRDI QIDQ5940718
Publication date: 20 August 2001
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44600-1
possible worldsbelief revisionknowledge representationagent theory of conditionalsconditional beliefsepistemic statesnonmonotonic reasoningprobabilistic knowledge discoveryreasoning at optimum entropy
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (58)
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics ⋮ Ranking kinematics for revising by contextual information ⋮ An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases ⋮ Reasoning About Trust and Belief Change on a Social Network: A Formal Approach ⋮ From information to probability: An axiomatic approach-Inference is information processing ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic ⋮ Inconsistency measures for probabilistic logics ⋮ LEG Networks for Ranking Functions ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Plausible reasoning and plausibility monitoring in language comprehension ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Belief revision and projection in the epistemic situation calculus ⋮ An implementation of nonmonotonic reasoning with system W ⋮ Logical perspectives on the foundations of probability ⋮ Rules of proof for maximal entropy inference ⋮ On the logic of theory change iteration of KM-update ⋮ A kinematics principle for iterated revision ⋮ On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals ⋮ On the measurability of knowledge acquisition and query processing. ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ Using inductive reasoning for completing OCF-networks ⋮ Situated conditional reasoning ⋮ Boolean algebras of conditionals, probability and logic ⋮ A Verified AsmL Implementation of Belief Revision ⋮ Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects ⋮ Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ Relational Probabilistic Conditional Reasoning at Maximum Entropy ⋮ Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory ⋮ Formal similarities and differences among qualitative conditional semantics ⋮ Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics ⋮ Probabilistic abduction without priors ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ Preference fusion for default reasoning beyond system Z ⋮ Compressing strongly connected subgroups in social networks: An entropy-based approach ⋮ A reconstruction of multipreference closure ⋮ Logic and probability: reasoning in uncertain environments -- introduction to the special issue ⋮ Structural inference from conditional knowledge bases ⋮ Delegated updates in epistemic graphs for opponent modelling ⋮ A polynomial-time fragment of epistemic probabilistic argumentation ⋮ Handling conditionals adequately in uncertain reasoning and belief revision ⋮ Probabilistic argumentation: an approach based on conditional probability. A preliminary report ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings ⋮ Qualitative Knowledge Discovery ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy ⋮ Combining probabilistic logic programming with the power of maximum entropy ⋮ Semantic splitting of conditional belief bases
This page was built for publication: Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
