Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

May 1983

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-83-15.

Abstract

This thesis describes a description matcher for the KL-ONE knowledge representation language that is incremental and can perform partial matches. The matcher is incremental in that it can be suspended at any time, producing partial results, and later restarted. The matcher is partial in that it has a formalism for measuring the degree to which two descriptions match. Both features are supported by using four different scalar metrics for the degree of match of two descriptions: a lower bound, an upper bound, a base value, and a current estimate.

Share

COinS
 

Date Posted: 25 October 2007