Lehmann, Magidor and others have investigated the effects of adding the non-Horn rule of rational monotony to the rules for preferential inference in nonmonotonic reasoning. In particular, they have shown that every inference relation satisfying those rules is generated by some ranked preferential model. We explore the effects of adding a number of other non-Hom rules that are stronger than or incomparable with rational monotony, but which are still weaker than plain monotony. Distinguished among these is a rule of determinacy preservation, equivalent to one of rational transitivity, for which we establish a representation theorem in terms of quasi-linear preferential models. An important tool in the proof of the representation theorem is the following purely semantic result, implicit in work of Freund, but here established by a more direct argument: every ranked preferential model generates the same inference relation as some ranked preferential model that is collapsed, in the sense of being both injective and such that each of its states is minimal for some formula. We also consider certain other non-Hom rules which are incomparable with monotony but are implied by conditional excluded middle, and establish a representation result for a central one among them, which we call fragmented disjunction, equivalent to fragmentedconjunction, in terms of almost linear preferential models. Finally, we consider briefly some curious Horn rules beyond the preferential ones but weaker than monotony, notably those which we call conjunctive insistence and n-monotony.
[1]
B. Belkhouche,et al.
Acknowledgements We Would like to Thank
,
1993
.
[2]
David Makinson,et al.
Five faces of minimality
,
1993,
Stud Logica.
[3]
Robert Stalnaker.
A Theory of Conditionals
,
2019,
Knowledge and Conditionals.
[4]
Daniel Lehmann,et al.
Rationality, Transitivity, and Contraposition
,
1992,
Artif. Intell..
[5]
Ramón Pino Pérez,et al.
Rational transitivity and its models
,
1996,
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).
[6]
David Makinson,et al.
General patterns in nonmonotonic reasoning
,
1994
.
[7]
Daniel Lehmann,et al.
What does a Conditional Knowledge Base Entail?
,
1989,
Artif. Intell..
[8]
Daniel Lehmann,et al.
On Negation Rationality
,
1996,
J. Log. Comput..
[9]
William Harper,et al.
Ifs. Conditionals, Belief, Decision, Chance, and Time
,
1981
.
[10]
Michael Freund,et al.
Injective Models and Disjunctive Relations
,
1993,
J. Log. Comput..
[11]
Peter Gärdenfors,et al.
Nonmonotonic Inference Based on Expectations
,
1994,
Artif. Intell..
[12]
Sarit Kraus,et al.
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
,
1990,
Artif. Intell..
[13]
Pavlos Peppas.
Well Behaved and Multiple Belief Revision
,
1996,
ECAI.
[14]
Karl Schlechta,et al.
Some Completeness Results for Stoppered and Ranked Classical Preferential Models
,
1996,
J. Log. Comput..