Unification theory

Jörg H. Siekmann
<span title="">1989</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezljl2d3lzga5efenbxdvvfcpa" style="color: black;">Journal of symbolic computation</a> </i> &nbsp;
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 &raquo; ... article surveys what is presently known in unification theory and records its early history. 20g
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0747-7171(89)80012-4">doi:10.1016/s0747-7171(89)80012-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mjwsvawtirdvbc5dxdflp4n2zi">fatcat:mjwsvawtirdvbc5dxdflp4n2zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309031020/https://core.ac.uk/download/pdf/82417186.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/50/34509d56a8e9ae94bfce7d055054d70a54fb1e7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0747-7171(89)80012-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>