Skip to main content
SpringerLink
Log in

Some contributions to nonmonotonic consequence

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper introduces a non-Horn ruleWRM which is a weak form ofrational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. In this paper, a relation ‖∼ is said to beP+WRM iff it is apreferential inference and satisfies the ruleWRM. We establish the representation theorem forP+WRM, and compare the strength ofWRM with some non-Horn rules appearing in literatures. Moreover, we explore the relation betweenP+WRM and conditional logic, and demonstrate thatP+WRM is equivalent to ‘flat’ fragment of conditional logicCS4.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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Gabbay D M. Theoretical foundation for nonmonotonic reasoning in expert systems. InProceedings of NATO Advance Study Institute on Logics and Models of Concurrent Systems, Apr K D (ed.), LaColle-Sur-Loup, France, (Springer, Berlin, 1985), pp.439–458.

    Google Scholar 

  2. Makinson D. General Patterns in Nonmonotonic Reasoning. In Chapter 2 ofHandbook of Logic in Artificial Intelligence and Logic Programing, Volume III, Clarendon Press, Oxford, 1994.

    Google Scholar 

  3. Shoham Y. A semantic approach to nonmonotonic logics. InIEEE Symposium on Logic in Computer Science, Ithaca, NY, 1987, pp.275–279.

  4. Kraus S, Lehman D, Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics.Artif. Intell., 1990, 44(1–2): 167–208.

    Article  MATH  Google Scholar 

  5. Lehmann D, Magidor M. What does a conditional knowledge base entail?Artif. Intell., 1992, (55): 1–60.

    Article  MATH  MathSciNet  Google Scholar 

  6. Freund M. Injective models and disjunctive relations.Journal of Logic and Computation, 1993, (3): 231–247.

    Article  MATH  MathSciNet  Google Scholar 

  7. Flach P A. Comparing inference relation. InProceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, Anthony G. Cohn, Lenhart Schubert (eds.), Trento, Italy, June 2–5, 1998, pp.180–189.

  8. Bezzazi H, Makinson D, Pino Pérez R. Beyond rational monotonicity: Some strong non-Horn rules for nonmonotonic inference relations.Journal of Logic and Computation, 1997, 7: 607–631.

    Article  Google Scholar 

  9. Zhu Zhaohui, Li Bin, Chen Shifu. Valuation-ranked preferential model. InThe 7th International Conference on Principle of Knowledge Representation and Reasoning (KR’2000), Cohn A, Giunchilia F Selman B (eds.), Breckenridge, Colorado, USA, April 11–15, 2000, Morgan Kaufman Publishers, pp.647–653.

  10. Bezzazi H, Pino Pérez R. Rational transitivity and its models. InProceedings of the Twenty-Sixth International Symposium on Multiple-Valued Logic, IEEE Computer Society Press, 1996, pp.160–165.

  11. Pino Pérez R, Carlos Uzcátegui. On representation theorems for nonmonotonic inference relation. to appear inJournal of Symbolic Logic. http://www. lifl.fr/GNOM/, 2000.

  12. Gardenfors P, Makinson D. Nonmonotonic inference based on expectations.Artif. Intell., 1994, (65): 197–246.

    Article  MathSciNet  Google Scholar 

  13. Boutilier C. Conditional logic of normality: A modal approach.Artif. Intell., 1994, (68): 87–154.

    Article  MATH  MathSciNet  Google Scholar 

  14. Boutilier C. Unifying default reasoning and belief revision in a modal framework.Artif. Intell., 1994, (68): 33–86.

    Article  MATH  MathSciNet  Google Scholar 

  15. Crocco G, Lamarre P. Conditional logic: A powerful tool for nonmonotony. InProceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Bernhard Nebel, William Swartout (eds.), Cambridge, Massachusetts, USA, October 26–29, 1992, pp.565–571.

  16. Lamarre P. Knowledge, certainty, belief and conditionalisation. InProceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Jon Doyle, Erik Sandewall, Pietro Torasso (eds.), Bonn, Germany, May 24–27, 1994, pp.415–426.

  17. Lamarre P. S4 as the conditional logic of nonmonotony. InProceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, James Allen, Richard Fikes, Erik Sandewall (eds.), Cambridge, Massachusetts, USA, April 22–25, 1991, pp.357–368.

  18. Cerro L. From order-based nonmonotonic reasoning to conditional logics.Artif. Intell., 1994, (66): 375–393.

    Article  MATH  Google Scholar 

  19. Friedman N, Halpern J Y. A knowledge-based framework for belief change. Part I: Foundations. InProceedings of the 5th Conference on Theoretical Aspects of Reasoning About Knowledge, Ronald Fagin (ed.), Pacific Grove, California USA, March 13–16, 1994, pp.44–65; Part II: Revision and update, InProceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Jon Doyle, Erik Sandewall, Pietro Torasso (eds.), Bonn, Germany, May 24–27, 1994, pp.190–201; Also inArtif. Intell., 1997, (95): 257–317.

  20. Chellas B F. Modal Logic: An Introduction. Cambridge University Press, 1980.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nanjing University of Aeronautics and Astronautics, 210016, Nanjing, P.R. China

    Zhu Zhaohui, Zhang Dongmo & Zhu Wujia

  2. State Key Laboratory for Novel Software Technology, Nanjing University, 210093, Nanjing, P.R. China

    Zhu Zhaohui, Chen Shifu & Zhu Wujia

Authors
  1. Zhu Zhaohui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhang Dongmo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chen Shifu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zhu Wujia
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhu Zhaohui.

Additional information

This research was supported by the National Natural Science Foundation of China (No.69875007) and the Science Foundation of Jiangsu Province (No.BK99119).

ZHU Zhaohui received the B.S. and M.S. degrees both in computer science and the Ph.D. degree in control theory from Nanjing University of Aeronautics and Astronautics (NUAA) in 1992, 1995 and 1998, respectively. He worked as a post-doctor at the State Key Lab. of Novel Software Technology in Nanjing University from Sept. 1998 to Sept. 2000. Now he is an associate professor at the Department of Computer Science and Technology in NUAA. His research interests include nonmonotonic logic, reasoning about changes and agent theory.

ZHANG Dongmo received the M.S. degree in computer science and the Ph.D. degree in control theory from Nanjing University of Aeronautics and Astronautics (NUAA) in 1993 and 1996, respectively. He worked as a post-doctor at the Department of Computer Science and Technology, Nanjing University from Sept. 1996 to Sept. 1998. Now he is a professor at the Department of Computer Science and Technology in NUAA. His research interests include nonmonotonic reasoning, reasoning about action, belief changes and agent theory.

CHEN Shifu received a Diploma in mathematics from Nanjing University in 1958. Now he is a professor at the Department of Computer Science and Technology, Nanjing University. His research interests include reasoning based case and expert system.

ZHU Wujia received a Diploma in mathematics from Jilin University in 1952. Now he is a professor at the Department of Computer Science and Technology, NUAA. His research interests include mathematical logic and computer science.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhu, Z., Zhang, D., Chen, S. et al. Some contributions to nonmonotonic consequence. J. Comput. Sci. & Technol. 16, 297–314 (2001). https://doi.org/10.1007/BF02948979

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948979

Keywords

Search

Navigation