Skip to main content
Book Chapter

Two Approaches to Efficient Open-World Reasoning

  • Giacomo G
  • Levesque H
Springer US, (2000), 59-78
DOI: 10.1007/978-1-4615-1567-8_3
N/ACitations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We show how a simple but efficient evaluation procedure that is logically correct only for closed-world knowledge bases can nonetheless be used in certain contexts with open-world ones. We discuss two cases, one based on restricting queries to be in a certain normal form, and the other, arising in reasoning about actions, based on having sensing information at the right time so as to dynamically reduce open-word reasoning to closed-word reasoning.

Cite

CITATION STYLE

APA

Giacomo, G., & Levesque, H. (2000). Two Approaches to Efficient Open-World Reasoning. In Logic-Based Artificial Intelligence (pp. 59–78). Springer US. https://doi.org/10.1007/978-1-4615-1567-8_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free