An investigation into inference with restricted quantification and a taxonomic representation

1 January 1985

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGART Bulletin

Vol. 91 (91) , 28-31
https://doi.org/10.1145/1056541.1056546

Abstract

The goal of this investigation is to design and analyze efficient inference methods that arise when a representation language is augmented with restricted quantification and a taxonomic representation. These inference methods will be demonstrated by integrating them into the design of a logic-programming system and a knowledge retriever.

Keywords

EFFICIENT
LANGUAGE
AUGMENTED
LOGIC
RESTRICTED QUANTIFICATION
INVESTIGATION INTO INFERENCE
INFERENCE WITH RESTRICTED
TAXONOMIC

This publication has 3 references indexed in Scilit:

A mechanical solution of Schubert's Steamroller by many-sorted resolution
Artificial Intelligence, 1985
Krypton: A Functional Approach to Knowledge Representation
Computer, 1983
An overview of the HORNE logic programming system
ACM SIGART Bulletin, 1983