Volume 7: January - December 1997

Issue 5: October 1997


Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations

  • Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
  • H. Bezzazi1,2, RP. Perez1,3 and D. Makinson4

    1LIFL U.A. 369 du CNRS, Cite Scientifique, 59655 Villeneue d'Ascq Cedex, France and 2Universite de Lille II, Faculte de Droit, 59000 Lille, France. E-mail: bezzazi@lifl.fr3Universite de Lille I, Eudil, 59655 Villeneue d'Ascq, France. E-mail: pino@lifl.fr4Les Etangs B2, La Ronce, 92410 Ville d'Avray, France. E-mail: d.makinson@unesco.org


    Lehmann, Magidor and others hae 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-Horn 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 determinancy 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-Horn 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 fragmented conjunction, 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.

    Pages: 605 - 631

    Part of the OUP Journal of Logic and Computation WWW service

    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Part of the OUP Journals World Wide Web service.

    Last modification: 24 Oct 1997

    Copyright© Oxford University Press, 1997.