Skip to main content
SpringerLink
Log in

A framework for default logic with case reasoning

  • Published:
Science in China Series E: Technological Sciences Aims and scope Submit manuscript

Abstract

Brewka's framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are derived.

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. Brewka, G.,A Framework for Cumulative Default Logic, TR-92-042 Berkeley: International Computer Science Institute, 1992.

    Google Scholar 

  2. Reiter, R., A logic for default reasoning,Artif. Intell., 1980, 13(1–2): 81.

    Article  MATH  MathSciNet  Google Scholar 

  3. Brewka, G., Cumulative default logic: in defense of nonmonotonic inference rules,Artif. Intell., 1991, 50: 183.

    Article  MATH  MathSciNet  Google Scholar 

  4. Nic., W., Default logic and belief function, inESPRIT Project DRUMS RP1 1st Workshop, Marseilles, 1990.

  5. Delgrande, J. P., Jackson, W. K., Default logic revised, inProc. of 2nd International Conference on Principles of Knowledge Representation and Reasoning, San Mateo: Morgan Kaufmann, 1991, 118–127.

    Google Scholar 

  6. Zhang Mingyi, A characterization of extensions of general default theories, inProc. of 9th Canadian Conference on AI, Vancouver, Canada, May (eds. Glasgow, J., Hadley, B.), San Mateo: Morgan Kaufmann, 1992, 134–137.

    Google Scholar 

  7. Zhang Mingyi, On extensions of general default theories,Science in China, Ser. A, 1993, 36(10): 1273.

    MATH  Google Scholar 

  8. Gottlob, G., Zhang Mingyi, Cumulative default logic: characterization, algorithms and complexity,Artif. Intell. 1994, 69: 329.

    Article  MATH  Google Scholar 

  9. Zhang Mingyi, Some results on default logic,J. of Comput. and Technol., 1994, 9(3): 267.

    Article  MATH  Google Scholar 

  10. Yves, M., Reasoning by case without contraposition in default logic, inProc. of 11th European Conference on Artificial Intelligence (ECAI94) (ed. Cohn, A.), New York: John Wiley, 1994, 382–385.

    Google Scholar 

  11. Pool, D., What the lottery paradox tell us about default reasoning, inProc. of Knowledge Representation and Reasoning San Mateo: Morgan Koufmann, 1989, 333–401.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Guizhou University, 550025, Guiyang, China

    Mingyi Zhang

  2. Guizhou Academy of Sciences, 550001, Guiyang, China

    Mingyi Zhang

  3. Department of Accounting, Guizhou Financial and Economic University, 550001, Guiyang, China

    Dan Zhang

Authors
  1. Mingyi Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dan Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper is a version and enlargement of our previous technical report presented at the 2nd Asian Mathematical Conference (see Abstracts of Asian Mathematical Conference, Oct. 1995, Thailand).

Project supported by the National 863 Hi-Tech Program and the Science Foundation of Guizhou Province

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, M., Zhang, D. A framework for default logic with case reasoning. Sci. China Ser. E-Technol. Sci. 41, 215–224 (1998). https://doi.org/10.1007/BF02919686

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation