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

Eliminating the fixed predicates from a circumscription

โœ Scribed by Johan de Kleer; Kurt Konolige

Book ID
102637982
Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
352 KB
Volume
39
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

โœฆ Synopsis

Parallel predicate circumscription is the primary circumscriptive technique used in formalizing commonsense reasoning. In this paper we present a direct syntactic construction for transforming any parallel predicate circumscription using fixed predicates into an equivalent one which does not. Thus, we show that predicate circumscription is no more expressive with fixed predicates than without. We extend this result to prioritized circumscription. These results are expected to be useful for comparing circumscription to other nonmonotonic formalisms (such as autoepistemic logic and assumptionbased truth maintenance) and for implementing fixed predicates.

๐Ÿ“œ SIMILAR VOLUMES

An efficient method for eliminating vary
An efficient method for eliminating varying predicates from a circumscription
โœ Marco Cadoli; Thomas Eiter; Georg Gottlob ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 641 KB

Cadoli, M., T. Eiter and G. Gottlob, An efficient method for eliminating varying predicates from a circumscription, Artificial Intelligence 54 (1992) 397-410. Circumscription appears to be the most powerful and well-studied technique used in formalizing common-sense reasoning. The general form of p