Unification theory

Jörg H. Siekmann
1989 Journal of symbolic computation  
Most knowledge based systems in artificial intelligence (AI), with a commitment to a symbolic representation, support one basic operation: "matching of descriptions". This operation, called unification in work on deduction, is the "addition-and-multiplication" of AI-systems and is consequently often supported by special purpose hardware or by a fast instruction set on most AI-machines. Unification theory provides the formal framework for investigations into the properties of this operation.
more » ... article surveys what is presently known in unification theory and records its early history. 20g
doi:10.1016/s0747-7171(89)80012-4 fatcat:mjwsvawtirdvbc5dxdflp4n2zi