Skip to main content
SpringerLink
Log in

A general scheme for formalizing defaults using the predicateab(I, S)

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

Abstract

In common sense reasoning two typical types of defaults are encountered. One is of the form “All birds can fly exceptb 1,b 2,…, andb m (m≥1)”, and the other “All birds can fly, but there exist exceptions”. The first type of defaults is readily formalized but the other, as some researchers have noticed, is difficult to deal with. This paper establishes a general scheme for formalizing defaults of the two types, the key to which is the introduction of a two-argument predicateab(I, S) to represent exceptional object.

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. McCarthy J. Applications of circumscription to formalizing common-sense knowledge.Artificial Intelligence, 1986, 28: 89–116.

    Article  MathSciNet  Google Scholar 

  2. McCarthy J. Circumscription — A form of non-monotonic reasoning.Artificial Intelligence, 1980, 13: 27–39.

    Article  MATH  MathSciNet  Google Scholar 

  3. Lifschitz V. Pointwise circumscription. InProc. AAAI-86, Philadelphia, PA, 1986, pp.406–410.

  4. Reiter R. A logic for default reasoning.Artificial Intelligence, 1980, 13: 81–132.

    Article  MATH  MathSciNet  Google Scholar 

  5. Moore R. Semantic considerations on nonmonotonic logic.Artificial Intelligence, 1986, 25: 79–94.

    Google Scholar 

  6. Perlis D. On the consistency of common sense reasoning.Computational Intelligence, 1980, 2: 180–190.

    Article  Google Scholar 

  7. Poole D. What the lottery paradox tells us about nonmonotonic reasoning. InProc. the 1st International Conference on Knowledge Representation and Reasoning, Toronto, Ontario, 1989, pp.333–340.

  8. Etherington D, Kraus S, Perlis D. Nonmonotonicity and the scope of reasoning.Artificial Intelligence, 1991, 52: 221–261.

    Article  MATH  MathSciNet  Google Scholar 

  9. Reiter R. A theory of diagnosis from first principles.Artificial Intelligence, 1987, 32: 57–95.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Chongging University, 400044, Chongqing, P.R. China

    Shen Yidong

Authors
  1. Shen Yidong
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shen Yidong.

Additional information

Project partly supported by the National Natural Science Foundation, Sichuan Youth Science and Technology Foundation, and Foundation of the State Education Commission of China.

SHEN Yidong is a Professor of computer science at Chongqing University. He received his Ph.D. degree in computer science from Chongqing University in 1991. He was a visiting researcher at the University of Valenciennes, France (1992–1993), the Institute for Advanced Computer Studies, University of Maryland, USA (1995–1996), and the Department of Computing Science, University of Alberta, Canada (1998–1999). His research interests include artificial intelligence, deductive and object-oriented dtabases, logic programming and parallel processing.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shen, Y. A general scheme for formalizing defaults using the predicateab(I, S) . J. Comput. Sci. & Technol. 14, 159–164 (1999). https://doi.org/10.1007/BF02946523

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation