Probabilistic semantics for nonmonotonic reasoning: a survey
Readings in uncertain reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
The emergence of ordered belief from initial ignorance
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A survey of belief revision and updating rules in various uncertainty models
Revision and updating in knowledge bases
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A big-stepped probability approach for discovering default rules
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Formal similarities and differences among qualitative conditional semantics
International Journal of Approximate Reasoning
The relationship of the logic of big-stepped probabilities to standard probabilistic logics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Looking at probabilistic conditionals from an institutional point of view
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
| Hi-index | 0.00 |
Different forms of semantics have been proposed for conditionals of the form "Usually, if A then B", ranging from quantitative probability distributions to qualitative approaches using plausibility orderings, possibility distributions, or conditional objects. Atomic-bound systems, also called big-stepped probabilities, allow qualitative reasoning with probabilities, aiming at bridging the gap between qualitative and quantitative argumentation and providing a model for the nonmonotonic reasoning system P. By using Goguen and Burstall's notion of institutions for the formalization of logical systems, we elaborate precisely which formal connections exist among big-stepped probabilities, standard probabilities, and qualitative logics. Based on our investigations, we also develop two variants of conditional objects, one of them having a simpler semantics while still providing a model for system P.