DMCA
M.R.: Extensional reasoning
Cached
Download Links
| Venue: | In preparation: http://logic.stanford.edu/∼thinrich/papers/hinrichs2007extensional.pdf (2007 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Hinrichs_m.r.:extensional,
author = {Timothy L. Hinrichs and Michael R. Genesereth},
title = {M.R.: Extensional reasoning},
booktitle = {In preparation: http://logic.stanford.edu/∼thinrich/papers/hinrichs2007extensional.pdf (2007},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Today, automated theorem provers are not able to take advantage of database query engines and therefore do not routinely leverage that source of power. Extensional Reasoning (ER) is an approach to automated theorem proving where the machine automatically translates a logical entailment query into a database, a set of view definitions, and a database query such that the entailment query can be answered by answering the database query. The techniques developed for ER to date are applicable only when the logical theory is axiomatically complete. This paper discusses techniques for reformulating an incomplete theory into a complete theory so that Extensional Reasoning techniques can be applied. 1
Keyphrases
extensional reasoning database query incomplete theory database query engine complete theory logical entailment query entailment query theorem provers great industrial success computer science extensional reasoning technique theoretical analysis relational database logical theory widespread adoption view definition
