Washington University in St. Louis Washington University in St. Louis Washington University Open Scholarship Washington University Open Scholarship All Computer Science and Engineering Research Computer Science and Engineering Report Number: WUCS-92-46 1992-11-01 Computing Specifcity Computing Specifcity Ronald Loui, J. Norman, K. Stiefvater, A. Merrill, A. Costello, and J. Olson This note reports on an effort to implement a version of Poole's rule for specifcity. Relatively, efcient implementation relies on correcting and improving a pruning lemma of Simari-Loui [92]. This in turn requires revision of Poole's specifcity concept. The resulting system is a usable knowledge representation system with frst-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. Follow this and additional works at: https://openscholarship.wustl.edu/cse_research Part of the Computer Engineering Commons, and the Computer Sciences Commons Recommended Citation Recommended Citation Loui, Ronald; Norman, J.; Stiefvater, K.; Merrill, A.; Costello, A.; and Olson, J., "Computing Specifcity" Report Number: WUCS-92-46 (1992). All Computer Science and Engineering Research. https://openscholarship.wustl.edu/cse_research/608 Department of Computer Science & Engineering - Washington University in St. Louis Campus Box 1045 - St. Louis, MO - 63130 - ph: (314) 935-6160.