Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
From ordering-based nonmonotonic reasoning to conditional logics
Artificial Intelligence
Unifying default reasoning and belief revision in a modal framework
Artificial Intelligence
Conditional logics of normality: a modal approach
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Rational Transitivity and its Models
ISMVL '96 Proceedings of the 26th International Symposium on Multiple-Valued Logic
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Normal conditions for inference relations and injective models
Theoretical Computer Science
Probabilistic approach to nonmonotonic consequence relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relational ˜ is said to be P + WRM if it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P + WRM, and compare the strength of WRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation between P + WRM and conditional logic, and demonstrate that P + WRM is equivalent to 'flat' fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.