Sciweavers

SARA
2009
Springer

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases

14 years 6 months ago
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation techniques for inconsistency-tolerant reasoning over the combination of classical logic and a relational database. Our resolution-based algorithms address a quantifierfree, function-free fragment of first-order logic while leveraging off-the-shelf database technology for all data-intensive computation.
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genese
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SARA
Authors Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth
Comments (0)