Two approaches to efficient open-world reasoning

Authors:
Giuseppe De Giacomo;Hector Levesque
Affiliations:
Univ. of Rome, Rome, Italy;Univ. of Toronto, Toronto, Canada
Venue:
Logic-based artificial intelligence
Year:
2000

Citing 17
Cited 0

Incomplete Information in Relational Databases

Journal of the ACM (JACM)
Making believers out of computers

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Approximate reasoning and non-omniscient agents

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Models of belief for decidable reasoning in incomplete knowledge bases

Models of belief for decidable reasoning in incomplete knowledge bases
Answering queries using views (extended abstract)

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Phase transitions and the search problem

Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Approximate reasoning about actions in presence of sensing and incomplete information

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Complexity of answering queries using materialized views

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending Graphplan to handle uncertainty and sensing actions

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Querying logical databases

PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Projection Using Regression and Sensors

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A formal treatment of imperfect information in database management

A formal treatment of imperfect information in database management
Lifted search engines for satisfiability

Lifted search engines for satisfiability
Logic programming for robot control

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

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.