liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Efficient reasoning using the local closed-world assumption
2000 (English)In: Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA), Springer, 2000, 49-58Conference paper (Refereed)
Abstract [en]

We present a sound and complete, tractable inference method for reasoning with localized closed world assumptions (LCWA’s) which can be used in applications where a reasoning or planning agent can not assume complete information about planning or reasoning states. This Open World Assumption is generally necessary in most realistic robotics applications. The inference procedure subsumes that described in Etzioni et al [9], and others. In addition, it provides a great deal more expressivity, permitting limited use of negation and disjunction in the representation of LCWA’s, while still retaining tractability. The ap- proach is based on the use of circumscription and quantifier elimination techniques and inference is viewed as querying a deductive database. Both the preprocessing of the database using circumscription and quan- tifier elimination, and the inference method itself, have polynomial time and space complexity.

Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1904
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41590 (URN)10.1007/3-540-45331-8_5 (DOI)58057 (Local ID)3-540-41044-9 (ISBN)oai:DiVA.org:liu-41590 (OAI)diva2:262444 (DiVA)
Available from2009-10-10 Created:2009-10-10 Last updated:2011-03-21

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Doherty, PatrickLukaszewicz, WitoldSzalas, Andrzej
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 18 hits
ReferencesLink to record
Permanent link

Direct link