Circumscription

McCarthy, J. (1980). Circumscription: A form of non-monotonic reasoning.

Type

Unclassified

Intellectual base

Unclassified

Year

1980

DOI

10.1016/0004-3702(80)90011-9

Link

https://doi.org/10.1016/0004-3702(80)90011-9

Cited by

1 citation across 1 artifact.

Domain-specific

• Qualification problem
  • … from A robot normally turns a key to start a car, yet an unlimited range of exceptional faults can defeat that effect and cannot all be listed in the action rule. to A planner treats ordinary success as defeasible and records diagnosed exceptions rather than claiming a closed-world precondition list is complete..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:80bdbdf81037 · see in the full table