On adaptive derivation processes
- Russ Greiner, Dept of Computing Science; PI of AICML
Abstract: Introduction Many reasoning systems must reach conclusions based on stored information; we can often model this as deriving logical conclusions from a given knowledge base of facts. We of course prefer derivation systems that draw all and only the correct conclusions, and that reach these conclusions as quickly as possible. Unfortunately, a sound and complete derivation process can be intractable, if not undecidable, in the worse case [LB85]. This position paper discusses the general challenge ...
Citation
R. Greiner. "On adaptive derivation processes". Workshop on Knowledge Compilation and Speedup Learning(KCSL 93), June 1993.| Keywords: | |
| Category: |
BibTeX
@incollection{Greiner:KCSL93,
author = {Russ Greiner},
title = {On adaptive derivation processes},
booktitle = {Workshop on Knowledge Compilation and Speedup Learning(KCSL 93)},
year = 1993,
}Last Updated: May 30, 2007Submitted by Staurt H. Johnson
