AAAI Publications, Eighth Symposium on Abstraction, Reformulation, and Approximation

Font Size: 
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth

Last modified: 2009-10-22


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 quantifier-free, function-free fragment of first-order logic while leveraging off-the-shelf database technology for all data-intensive computation.


automated reasoning; inconsistency; database; classical logic

Full Text: PDF