An Automated Deduction System for Orthomodular Lattice Theory.
Jack K. HornerPublished in: IC-AI (2005)
Keyphrases
- automated deduction
- lattice theory
- propositional logic
- theorem proving
- horn clauses
- inference rules
- morphological operators
- theorem prover
- mathematical morphology
- neural computation
- first order logic
- logic programming
- pattern analysis
- pattern recognition
- database
- deductive databases
- belief revision
- computational intelligence
- domain knowledge
- artificial intelligence
- databases