Title

Classification-Based Reasoning

Abstract

A representation formalism for N-ary relations, quantification and definition of concepts is described. Three types of conditions are associated with concepts: 1) necessary and sufficient properties, 2) contingent properties, and 3) necessary properties. It is also explained how complex chains of inferences can be accomplished by representing existentially quantified sentences, and concepts denoted by restrictive relative clauses as classification hierarchies. The representation structures that make possible the inferences are explained first, followed by the reasoning algorithms that draw the inferences from the knowledge structures. All the ideas explained in this paper have been implemented and are part of the information retrieval component of Snowy, a program that understands scientific paragraphs. An appendix containing a brief session with the program ends the paper. © 1991 IEEE

Publication Date

1-1-1991

Publication Title

IEEE Transactions on Systems, Man and Cybernetics

Volume

21

Issue

3

Number of Pages

644-659

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1109/21.97457

Socpus ID

0026154397 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0026154397

This document is currently not available here.

Share

COinS