Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases.
Timothy L. HinrichsEric Jui-Yi KaoMichael R. GeneserethPublished in: SARA (2009)
Keyphrases
- classical logic
- intuitionistic logic
- valued logic
- commonsense reasoning
- logic programming
- computer science and artificial intelligence
- modal logic
- databases
- reasoning tasks
- automated theorem proving
- default logic
- knowledge base
- possibilistic logic
- knowledge representation
- logic programs
- autoepistemic logic
- default reasoning
- neural network
- probabilistic reasoning
- propositional logic
- default theories
- possibility theory
- nonmonotonic reasoning
- autonomous agents
- fuzzy sets
- knowledge discovery