Inductive Inference for Solving Divergence in Knuth-Bendix Completion.
Muffy ThomasKlaus P. JantkePublished in: AII (1989)
Keyphrases
- knuth bendix
- inductive inference
- term rewriting
- recursive functions
- kolmogorov complexity
- intrinsic complexity
- grammatical inference
- languages from positive data
- function symbols
- rewrite systems
- case based learning
- learning from positive data
- algebraic structures
- transductive inference
- hypothesis spaces
- logic programs
- natural language