Tractable Closed World Reasoning with Updates (1994)
Cached
Download Links
- [ftp.cs.washington.edu]
- [www.cs.washington.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, KR-94 |
| Citations: | 37 - 0 self |
BibTeX
@INPROCEEDINGS{Etzioni94tractableclosed,
author = {Oren Etzioni and Keith Golden and Daniel Weld},
title = {Tractable Closed World Reasoning with Updates},
booktitle = {In Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, KR-94},
year = {1994},
pages = {178--189}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Closed world reasoning is the process of inferring that a logical sentence is false based on its absence from a knowledge base, or the inability to derive it. Previous work on circumscription, autoepistemic logic, and database theory has explored logical axiomatizations of closed world reasoning, and investigated computational tractability for propositional theories. Work in planning has traditionally made the closed world assumption but has avoided closed world reasoning. We take a middle position, and describe a tractable method for closed world reasoning over the schematized theories of action used by planning algorithms such as nonlin, tweak, and ucpop. We show the method to be both sound and tractable, and incorporate it into the xii planner (Golden et al. 1994). Experiments utilizing our softbot (software robot) demonstrate that the method can substantially improve its performance by eliminating redundant information gathering. 1 INTRODUCTION AND MOTIVATION Classical planners s...
