Accession Number : ADA187483

Title :   TYPICAL: A Knowledge Representation System for Automated Discovery and Inference.

Descriptive Note : Technical rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Haase, Kenneth W , Jr

PDF Url : ADA187483

Report Date : Aug 1987

Pagination or Media Count : 104

Abstract : TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called 'types' following popular usage, delineate classes of primitive SCHEME objects, composite data structures and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types of primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entails satisfaction of another, the first type is below the second in the lattice. The inferences made by TYPICAL are relations in this lattice of subsumption; when a type is defined, TYPICAL computes the position of the new definition in the lattice and establishes it there. This information is then accessible to both later inferences and other programmes (reasoning systems, code analysers, etc.) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery programme CYRANO; particular examples are given of TYPICAL's application in the CYRANO programme. Keywords: Knowledge representation; Type inference; Subsumption.

Descriptors :   *REASONING, *ARTIFICIAL INTELLIGENCE, DATA BASES, LANGUAGE

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE