One of the principal motivations for the new paradigm in reasoning was a reaction to the old (binary truth functional) paradigm's inability to deal with everyday non-monotonic inference. Within the new paradigm the problem of non-monotonicity is recast as the problem of belief revision or dynamic inference; that is, what happens when the probability distribution over which inferences are made changes from Pr0 to Pr1. Non-monotonicity arises when the new distribution, conditional on new information, I, changes the relevant probabilities, so that Pr0(x) ≠ Pr1(x), i.e., Pr0(x) ≠ Pr0(x|I). In this paper we first introduce the general problem of dynamic inference. We then consider the specific problems for dynamic conditional inference, in parti...
This position paper advocates combining formal epistemology and the new paradigm psychology of reaso...
Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets...
A dynamic reasoning system (DRS) is an adaptation of a conventional formal logical system that expli...
One of the principal motivations for the new paradigm in reasoning was a reaction to the old (binary...
For propositional beliefs, there are well-established connections between belief revision, defeasibl...
In the context of non-monotonic reasoning different kinds of consequence relations are defined for r...
In this chapter, we adopt the decision theoretic approach to the representation and updating of beli...
In this paper, it is argued that single function dual process theory is a more credible psychologica...
This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is...
This dissertation conducts an investigation into nonmonotonic reasoning---forms of reasoning which a...
A decision-maker can ensure dynamic consistency by following Bayes ’ rule, but he may wish to balanc...
summary:Probability logic studies the properties resulting from the probabilistic interpretation of ...
Probability logic studies the properties resulting from the probabilistic interpretation of logical ...
We present a model of inductive inference that includes, as special cases, Bayesian reasoning, case-...
Conditional information is an integral part of representation and inference processes of causal rela...
This position paper advocates combining formal epistemology and the new paradigm psychology of reaso...
Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets...
A dynamic reasoning system (DRS) is an adaptation of a conventional formal logical system that expli...
One of the principal motivations for the new paradigm in reasoning was a reaction to the old (binary...
For propositional beliefs, there are well-established connections between belief revision, defeasibl...
In the context of non-monotonic reasoning different kinds of consequence relations are defined for r...
In this chapter, we adopt the decision theoretic approach to the representation and updating of beli...
In this paper, it is argued that single function dual process theory is a more credible psychologica...
This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is...
This dissertation conducts an investigation into nonmonotonic reasoning---forms of reasoning which a...
A decision-maker can ensure dynamic consistency by following Bayes ’ rule, but he may wish to balanc...
summary:Probability logic studies the properties resulting from the probabilistic interpretation of ...
Probability logic studies the properties resulting from the probabilistic interpretation of logical ...
We present a model of inductive inference that includes, as special cases, Bayesian reasoning, case-...
Conditional information is an integral part of representation and inference processes of causal rela...
This position paper advocates combining formal epistemology and the new paradigm psychology of reaso...
Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets...
A dynamic reasoning system (DRS) is an adaptation of a conventional formal logical system that expli...