Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.
Guillaume BuryDavid DelahayeDamien DoligezPierre HalmagrandOlivier HermantPublished in: LPAR (short papers) (2015)
Keyphrases
- automated deduction
- set theory
- proof search
- first order logic
- theorem proving
- theorem prover
- inference rules
- proof procedure
- probability theory
- higher order
- propositional logic
- knowledge representation
- predicate calculus
- fuzzy set theory
- partial order
- mathematical morphology
- rough sets
- fuzzy sets
- expert systems
- linear logic
- knowledge base
- databases
- logic programming
- fuzzy logic
- logical framework
- knowledge discovery
- genetic algorithm
- natural deduction
- data mining