Generalization of Clauses under Implication

  title={Generalization of Clauses under Implication},
  author={Peter Idestam-Almquist},
  journal={J. Artif. Intell. Res.},
In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that there is a well-known and simple technique to compute least general generalizations under-subsumption… CONTINUE READING
10 Citations
42 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 42 references

E cient induction of recursive de nitions by structural

  • P. Idestam-Almquist
  • 1995

Similar Papers

Loading similar papers…