Classification-Based Reasoning

    Authors

    F. Gomez;C. Segami

    Comments

    Authors: contact us about adding a copy of your work at STARS@ucf.edu

    Abbreviated Journal Title

    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.

    Journal 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