Document Type

Technical Report

Publication Date

1992-11-01

Filename

WUCS-92-46.pdf

DOI:

10.7936/K70K26W0

Technical Report Number

WUCS-92-46

Abstract

This note reports on an effort to implement a version of Poole's rule for specificity. Relatively, efficient implementation relies on correcting and improving a pruning lemma of Simari-Loui [92]. This in turn requires revision of Poole's specificity concept.

The resulting system is a usable knowledge representation system with first-order-language and defeasible reasoning. Sample input and output are included in an appendix. It is a good candidate for multiple inheritance applications; it is useful for planning, but limited by the underlying search for plans.

Comments

Permanent URL: http://dx.doi.org/10.7936/K70K26W0

Share

COinS