Computing Specificity

Authors

Ronald Loui, Washington University in St Louis
J. Norman, Washington University in St Louis
K. Stiefvater, Washington University in St Louis
A. Merrill, Washington University in St Louis
A. Costello, Washington University in St Louis
J. Olson, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1992-11-01

Filename

WUCS-92-46.pdf

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

Recommended Citation

Loui, Ronald; Norman, J.; Stiefvater, K.; Merrill, A.; Costello, A.; and Olson, J., "Computing Specificity" Report Number: WUCS-92-46 (1992). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/608