Title

Classification-Based Reasoning

Authors

F Gomez
C Segami

Title - Alternative

IEEE Trans. Syst. Man Cybern.

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.

Publication Title

Ieee Transactions on Systems Man and Cybernetics

Volume

21

Issue/Number

3

Publication Date

1-1-1991

Document Type

Article

Language

English

First Page

644

Last Page

659

WOS Identifier

WOS:A1991GJ60000014

ISSN

0018-9472

Share

COinS