The Problem of Finding an Inference Rule for Set Theory.
Larry WosPublished in: J. Autom. Reason. (1989)
Keyphrases
- set theory
- inference rules
- first order logic
- probability theory
- theorem proving
- horn clauses
- propositional logic
- fuzzy set theory
- partial order
- algebraic geometry
- theorem prover
- rough set theory
- rough sets
- knowledge representation
- relational databases
- neural network
- utility function
- multi dimensional
- probability distribution
- pattern recognition
- machine learning