Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
The logic of nonmonotonicity (research note)
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Propositional knowledge base revision and minimal change
Artificial Intelligence
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract)
JELIA '90 Proceedings of the European Workshop on Logics in AI
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Representing and Learning Conditional Information in Possibility Theory
Proceedings of the International Conference, 7th Fuzzy Days on Computational Intelligence, Theory and Applications
A Conditional Logic for Belief Revision
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Weak AGM postulates and strong Ramsey Test: A logical formalization
Artificial Intelligence
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Plausibility measures and default reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Conditioning by minimizing accessibility
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Artificial Intelligence
Artificial Intelligence
Analytic tableaux for KLM preferential and cumulative logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
| Hi-index | 0.00 |
The notion of minimality is widely used in three different areas of Artificial Intelligence: nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families. We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of the areas by using the ordered structures and the families of ordered structures.