Results 1 
2 of
2
Foundations of Knowledge Representation and Reasoning
, 1994
"... this paper is not by itself a paper on computational complexity analysis of commonsense reasoning, it makes use of computational complexity results [ Gottlob, 1992 ] that show that the three main forms of nonmonotonic reasoning all have the same complexity, which implies that there must exist (polyn ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
this paper is not by itself a paper on computational complexity analysis of commonsense reasoning, it makes use of computational complexity results [ Gottlob, 1992 ] that show that the three main forms of nonmonotonic reasoning all have the same complexity, which implies that there must exist (polynomial) translations between these formalisms. Based on this observation, Gottlob develops a translation from default logic to autoepistemic logic that is quite interesting. 3.3 The Expressiveness vs. Efficiency Tradeoff
Adaptive Derivation Processes
, 1993
"... 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 conclusio ..."
Abstract
 Add to MetaCart
(Show Context)
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 of producing an derivation process that is as effective as possible, and argues for using a (cautious) adaptive derivation process here. Section 2 first provides a trivial example to explain the ideas and motivate our "adaptive process" approach; Section 3 then explains adaptive systems in general, and focuses on one implementation of this idea, palo. Section 4 concludes by suggesting some of the extensions and applications relevant to knowledge compilation and presenting