Weak Generalized Closed World Assumption |
| |
Authors: | Arcot Rajasekar Jorge Lobo Jack Minker |
| |
Affiliation: | (1) Department of Computer Science, University of Maryland, 20742 College Park, MD, USA;(2) Department of Computer Science, University of Maryland, 20742 College Park, MD, USA;(3) Institute for Advanced Computer Studies, University of Maryland, 20742 College Park, MD, USA |
| |
Abstract: | Explicit representation of negative information in logic programs is not feasible in many applications such as deductive databases and artificial intelligence. Defining default rules which allow implicit inference of negated facts from positive information encoded in a logic program has been an attractive alternative to the explicit representation approach. There is, however, a difficulty associated with implicit default rules. Default rules such as the CWA and the GCWA, which closely model logical negation, are in general computationally intractable. This has led to the development of weaker definitions of negation such as the Negation-As-Failure (NF) and the Support-For-Negation (SN) rules which are computationally simpler. These are sound implementations of the CWA and the GCWA, respectively. In this paper, we define an alternative rule of negation based upon the fixpoint definition of the GCWA. This rule, called the Weak Generalized Closed World Assumption (WGCWA), is a weaker definition of the GCWA that allows us to implement a sound negation rule, called the Negation-As-Finite-Failure (NAFF), similar to the NF-rule and less cumbersome than the SN-rule. We present three definitions of the NAFF. Two declarative definitions similar to those for the NF-rule and one procedural definition based on SLI-resolution. |
| |
Keywords: | Explicit representation default rules Weak Generalized Closed World Assumption |
本文献已被 SpringerLink 等数据库收录! |
|