An Optimally Efficient Limited Inference System
Abstract
This paper descnbes a knowledge representation and reasoning system that performs a limited but interesting class of inferences over a restricted class of first-order sentences with optimal efficiency. The proposed system can answer yes-no as well as wh-queries in time that is only proportional to the length of the shortest derivation of the query and is independent of the size of the knowledge base. This work suggests that the expressiveness and the inferential ability of a representation and reasoning systems may be limited in unusual ways to arrive at extremely efficient yet fairly powerful knowledge based systems.
Cite
Text
Shastri and Ajjanagadde. "An Optimally Efficient Limited Inference System." AAAI Conference on Artificial Intelligence, 1990.Markdown
[Shastri and Ajjanagadde. "An Optimally Efficient Limited Inference System." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/shastri1990aaai-optimally/)BibTeX
@inproceedings{shastri1990aaai-optimally,
title = {{An Optimally Efficient Limited Inference System}},
author = {Shastri, Lokendra and Ajjanagadde, Venkat},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {563-570},
url = {https://mlanthology.org/aaai/1990/shastri1990aaai-optimally/}
}