An algebraic characterization of inductive soundness in proof by consistency.
Zhiqing ShaoGuoxin SongPublished in: J. Comput. Sci. Technol. (1995)
Keyphrases
- set intersection
- inductive learning
- theorem prover
- theorem proving
- machine learning
- inductive reasoning
- linear logic
- global consistency
- consistency constraints
- consistency checking
- temporal consistency
- rule learning
- maintaining consistency
- proof planning
- data sets
- cost function
- data structure
- knowledge base
- databases