๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Efficient hypothetical reasoning system for predicate-logic knowledge base

โœ Scribed by A. Kondo; T. Makino; M. Ishizuka

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
820 KB
Volume
6
Category
Article
ISSN
0950-7051

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Off-line reasoning for on-line efficienc
Off-line reasoning for on-line efficiency: knowledge bases
โœ Yoram Moses; Moshe Tennenholtz ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 901 KB

The complexity of reasoning is a fundamental issue in AI. In many cases, the fact that an intelligent system needs to perform reasoning on-line contributes to the difficulty of this reasoning. This paper considers the case in which an intelligent system computes whether a query is entailed by the sy