« Gamer's Manifesto | Main | Discrete Math for CS course »
June 04, 2005
Anti-unification
Also known as generalization -- the opposite of unification (substitution). There seems to be a fair literature out there (though significantly smaller than the unification lit.). In particular, see- A survey
- in the context of the Calculus of Constructions
- analogy by generalization, some more fanciful material from the AI community
- higher order generalization, and also in program verification
- E-anti-unification, with an implementation, where E- means modulo an equational theory, as well as a nice bibliography
- a general algorithm for second-order generalization
Posted by Carette at June 4, 2005 10:37 PM