Conditional objects as nonmonotonic consequence relationships
IEEE Transactions on Systems Man and CyberneticsPublished 1 January 1994
D. Dubois, H. Prade
Citations131
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper investigates the relationship between conditional objects obtained as a qualitative counterpart to conditional probabilities, and nonmonotonic reasoning, and proposes a logic of conditional objects that is more elementary and intuitive than the preferential semantics of Lehmann and colleagues and does not require probabilistic semantics.
Abstract
International audience
Keywords
Computer Science
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
16,927 Citations1988Judea Pearl
The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,964 Citations1978Lotfi A. Zadeh
Fuzzy Sets and SystemsFuzzy sets as a basis for a theory of possibility
7,280 Citations1999Lotfi A. Zadeh
The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable.
Artificial IntelligenceNonmonotonic reasoning, preferential models and cumulative logics
1,680 Citations1990Sarit Kraus, Daniel Lehmann +1 more
The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.
American Journal of PhysicsProbability, Frequency and Reasonable Expectation
1,293 Citations1946R. T. Cox
Knowledge in Flux: Modeling the Dynamics of Epistemic States
1,219 Citations1990Peter Gärdenfors
Ordinal Conditional Functions: A Dynamic Theory of Epistemic States
914 Citations1988Wolfgang Spohn
Artificial IntelligenceWhat does a conditional knowledge base entail?
827 Citations1992Daniel Lehmann, Menachem Magidor
It is argued that any reasonable nonmonotonic inference procedure should define a rational relation and it is shown that the rational relations are exactly those that may be represented by a ranked preferential model, or by a (nonstandard) probabilistic model.
The Logic of Conditionals
673 Citations1975Ernest W. Adams
Possibilistic Logic
623 Citations1994D. Dubois, Jérôme Lang +1 more
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent knowledge that handles formulas of propositional or first-order logic to which are attached numbers between 0 and 1.
Artificial IntelligenceFundamental concepts of qualitative probabilistic networks
366 Citations1990Michael P. Wellman
This work abstracts from the usual numeric representations by encoding only qualitative relationships, which are inequality constraints on the joint probability distribution over the variables, and defines two types of qualitative relationship: Qualitative influences and Qualitative synergies.
Inconsistency management and prioritized syntax-based entailment
357 Citations1993Salem Benferhat, Claudette Cayrol +3 more
This new approach leads to a nonmonotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance and differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.
The Logical Foundations of Statistical Interference
355 Citations1974Henry E. Kyburg
The Probability Framework is used as a guide to decision theory, and Bayesian Inference is used for interpreting Interpretations of Probability.
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
339 Citations1985Dav M. Gabbay
Inference mechanism to extract more information out of P, a set of propositions of predicate logic, which is a collection of confirmed data items.
The Journal of PhilosophyThe Logical Foundations of Statistical Inference.
324 Citations1977Teddy Seidenfeld, Henry E. Kyburg
Artificial IntelligenceNonmonotonic inference based on expectations
287 Citations1994Peter Gärdenfors, David Makinson
It is shown how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations, and it is shown that by using the notion of expectation, one can unify the treatment of the theory of belief revision and that of nonMonotonic inference relations.
Artificial IntelligenceEpistemic entrenchment and possibilistic logic
248 Citations1991Didier Dubois, Henri Prade
This note points out the close relationships existing between recent proposals in the theory of belief revision made by Gardenfors based on the notion of epistemic entrenchment, and possibility theory applied to automated reasoning under uncertainty.
Representing Default Rules in Possibilistic Logic
226 Citations1992Salem Benferhat, Didier Dubois +1 more
It is pointed out that the notion of inconsistency tolerant inference in possibilistic logic corresponds to the bold inference in system Z, and how to express defaults by means of qualitative possibility relations is shown.
Lecture notes in computer scienceRelations between the logic of theory change and nonmonotonic logic
212 Citations2005David Makinson, Peter Gärdenfors
The purpose of this paper is to investigate the close relations between the logic of theory change (alias belief revision) on the one hand, and nonmonotonic logic on the other.
On interacting defaults
207 Citations1981Raymond Reiter, Giovanni Criscuolo
Medical Entomology and ZoologyDefault Reasoning: Causal and Conditional Theories
190 Citations1992Héctor Geffner, Judea Pearl
A system of defeasible inference based on probabilities high probabilities and preferential structures irrelevance and prioritized preferential structures the causal dimension - evidence vs. explanation proofs is proposed.
Journal of Philosophical LogicIterated revision and minimal change of conditional beliefs
179 Citations1996Craig Boutilier
A model of iterated belief revision is described that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent, and ensures that an agent makes as few changes as possible to the conditional component of its belief set.
Machine intelligence and pattern recognitionA General Non-Probabilistic Theory of Inductive Reasoning
174 Citations1990Wolfgang Spohn
Probability theory, epistemically interpreted, provides an excellent account of inductive reasoning; however, this does not yet provide a theory of induction—an answer to the question how epistemic states so represented are changed through information or experience.
Computational IntelligenceAn inquiry into computer understanding
149 Citations1988Peter Cheeseman
This paper shows that the difficulties McDermott described are a result of insisting on using logic as the language of commonsense reasoning, and if (Bayesian) probability is used, none of the technical difficulties found in using logic arise.
Conditional Inference and Logic for Intelligent Systems: A Theory of Measure-Free Conditioning
145 Citations1991I. R. Goodman, Hung T. Nguyen +1 more
This book discusses thegebraic structure of Conditional Events, an abstraction of the space of conditional events, and the role of Boolean algebras and Lewis' triviality result in its development.
European Journal of Operational ResearchFuzzy computing-theory, hardware and applications
124 Citations1989
Fuzzy Logic Hardware: Applications of Fuzzy Computing and its Applications, 2nd Ed.
Journal of the Operational Research SocietyConditional Logic in Expert Systems
116 Citations1992J. J. Garnett
International Journal of Approximate ReasoningThe logical view of conditioning and its application to possibility and evidence theories
108 Citations1990Didier Dubois, Henri Prade
This paper is both a survey of works pertaining to the introduction of conditioning relations in logic and a discussion about how these conditioning relations leave some room for non-monotonicity and might be useful in formalizing the concept of production rules in expert systems.
Implicit ordering of defaults in inheritance systems
108 Citations1984David S. Touretzky
This work defines the correct partial ordering to use in inheritance and shows how it applies to semantic network systems.
arXiv (Cornell University)What does a conditional knowledge base entail?
104 Citations2002Daniel Lehmann, Magidor, Menachem
Information SciencesAn algebraic synthesis of the foundations of logic and probability
93 Citations1987Philip G. Calabrese
A new algebraic structure called the conditional closure LL of a Boolean logic L is defined, consisting of the ordered pairs (q¦p) of all propositions of L excluding those for which the condition p is equivalent to 0, that is, impossible.
Elsevier eBooksConstraint Propagation with Imprecise Conditional Probabilities
68 Citations1991Stéphane Amarger, Didier Dubois +1 more
An approach to reasoning with default rules where the proportion of exceptions, or more generally the probability of encountering an exception, can be at least roughly assessed is presented and looks promising with respect to the linear programming method.
Artificial IntelligenceOn the consistency of defeasible databases
67 Citations1991Moisés Goldszmidt, Judea Pearl
A norm of consistency is proposed for a mixed set of defeasible and strict sentences which, guided by a probabilistic interpretation of these sentences, establishes a clear distinction between exceptions, ambiguities and outright contradictions.
Journal of Intelligent Information SystemsQualitative reasoning with imprecise probabilities
62 Citations1993Didier Dubois, Lluı́s Godo +2 more
This paper investigates the possibility of performing automated reasoning in probabilistic knowledge bases when probabilities are expressed by means of linguistic quantifiers and shows that a qualitative counterpart of this syllogism makes sense and is fairly independent of the thresholds defining the linguistically meaningful intervals.
Journal of Logic and ComputationInjective Models and Disjunctive Relations
59 Citations1993Michael Freund
This paper proves the existence of a one-to-one mapping between the set of all preferential inference relations defined on a language £ and a family of transitive relations among the elements of this language and obtains a representation theorem for these relations.
National Conference on Artificial IntelligenceSystem-Z+: a formalism for reasoning with variable-strength defaults
59 Citations1991Moisés Goldszmidt, Judea Pearl
A unique ranking of the rules is found, called Z+, which renders models as normal as possible subject to the consistency conditions, and the necessary machinery for testing consistency, computing the Z+ ranking and drawing the set of plausible conclusions it entails is provided.
Uncertainty in Artificial IntelligenceTowards Precision of Probabilistic Bounds Propagation
46 Citations1992Helmut Thöne, Ulrich Güntzer +1 more
The DUCK-calculus presented here is a recent approach to cope with probabilistic uncertainty in a sound and efficient way, and provides new precise analytical bounds for probabilism entailment.
Revision by conditional beliefs
46 Citations1993Craig Boutilier, Moisés Goldszmidt
This work begins by providing a purely semantic characterization, based on the semantics of conditional rules, which induces logical constraints on any such revision process, and introduces logical (syntax-independent) and syntax-dependent techniques, and provides a precise characterization of the set of conditionals that hold after the revision.
HAL (Le Centre pour la Communication Scientifique Directe)Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example
44 Citations1990Philippe Besnard, Marie-Odile Cordier +7 more
Journal of Mathematical PsychologyCoherent qualitative probability
38 Citations1990Giulianella Coletti
IEEE Transactions on Systems Man and CyberneticsStone algebras, conditional events, and three valued logic
37 Citations1994Elbert A. Walker
There are many ways to extend the operations on events to operations on conditional events, but it is shown that there is only one way to make such extensions so that the resulting structure is a bounded lattice extension of the space of events.
[1990] Proceedings. First International Symposium on Uncertainty Modeling and AnalysisReasoning with uncertainty using conditional logic and probability
24 Citations2002Philip G. Calabrese
The distinction between wholly true versus partially true propositions and the resulting distinction between conditional propositions that are true, false or inapplicable leads to various plausible forms of deduction in the realm of conditionals, thus illustrating the non-monotonicity of conditional logic and probability.
Uncertainty in Artificial IntelligenceA Symbolic Approach to Reasoning with Linguistic Quantifiers
22 Citations1992Didier Dubois, Henri Prade +2 more
This paper investigates the possibility of performing automated reasoning in probabilistic logic when probabilities are expressed by means of linguistic quantifiers, and shows that a qualitative counterpart of this syllogism makes sense, and is relatively independent of the threshold defining the linguistically meaningful intervals.
Lecture notes in computer scienceConditioning in possibility and evidence theories — A logical viewpoint —
18 Citations1988Didier Dubois, Henri Prade
International Journal of Approximate ReasoningOn dynamics of cautious belief and conditional objects
18 Citations1993Hung T. Nguyen, Philippe Smets
It is shown that Dempster's rule of conditioning produces the least committed belief function among the set of belief functions generated by conditional objects, thus providing a justification for its use.
International Journal of Intelligent SystemsA probabilistic commonsense reasoner
17 Citations1990Eric Neufeld
This work claims that probability is indeed epistomologically adequate and describes a reasoning formalism based on the probability calculus and conditional independence that requires only a knowledge base of probabilistic inequalities.
HAL (Le Centre pour la Communication Scientifique Directe)Conditional objects and non-monotonic reasoning
13 Citations1991Didier Dubois, Henri Prade
HAL (Le Centre pour la Communication Scientifique Directe)Measure-free conditioning, probability, and non-monotonic reasoning
12 Citations1989Didier Dubois, Henri Prade
It is shown that measure-free conditionals have the properties of well-behaved non-monotonic inference rules and can be useful to justify Cox's axiomatic framework for probability.
[1990] Proceedings. First International Symposium on Uncertainty Modeling and AnalysisThree-valued logics and conditional event algebras
2 Citations2002I. R. Goodman