Elsevier

Artificial Intelligence

Volume 33, Issue 1, September 1987, Pages 105-130
Artificial Intelligence

A first-order conditional logic for prototypical properties

https://doi.org/10.1016/0004-3702(87)90053-1Get rights and content

Abstract

An approach for representing knowledge about defaults and prototypical properties is presented. This is accomplished by adding to first-order logic a “variable conditional” operator to express relations between entities and prototypical properties of such entities. Truth conditions for this operator are based on a possible-worlds semantics; a proof theory is provided, and the logic is shown to be sound and complete. Properties of the resultant formal system are argued to correspond to common intuitions concerning defaults and prototypical properties. Moreover the system is argued to provide a more appropriate basis for representing knowledge about such entities than other existing approaches.

References (23)

  • J. McCarthy

    Circumscription—A form of non-monotonic reasoning

    Artificial Intelligence

    (1980)
  • D. McDermott et al.

    Non-monotonic logic I

    Artificial Intelligence

    (1980)
  • R. Reiter

    A logic for default reasoning

    Artificial Intelligence

    (1980)
  • R.J. Brachman

    “I lied about the trees” or defaults and definitions in knowledge representation

    The AI Magazine

    (1985)
  • G.N. Carlson
  • G.N. Carlson

    Generic terms and generic sentences

    J. Philos. Logic

    (1982)
  • B.F. Chellas

    Basic conditional logic

    J. Philos. Logic

    (1975)
  • O. Dahl

    On generics

  • J.P. Delgrande

    A propositional logic for natural kinds

  • J.P. Delgrande

    A first-order logic for prototypical properties: Extended report

  • G.E. Hughes et al.

    An Introduction to Modal Logic

    (1968)
  • Cited by (0)

    This paper is a revision of one that won the “Artificial Intelligence Journal Award” at the 1986 Canadian AI Conference.

    View full text