Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 1016-1022.
Abstract
We study the unification and matching problems in the signed binary trees theory. We show that any equation tl•t2 can be transformed into an equivalent one x=t. If x does not occur in t then (x ---> t) is the unique most general unifier in the theory (up to an isomorphism). We apply this technique to find recurrence relations between sets of terms. These relations are used to synthesize LISP programs from a set of input traces.
Claude Kirchner, Hélène Kirchner, and Jean-Pierre Jouannaud. 1981. Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 1016–1022. https://ijcai.org/proceedings/1981/194
Kirchner, C., Kirchner, H., & Jouannaud, J. (1981). Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 (pp. 1016–1022). IJCAI. https://ijcai.org/proceedings/1981/194
@inproceedings{ijcai1981p194,
title = {Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees},
author = {Kirchner, Claude and Kirchner, Hélène and Jouannaud, Jean-Pierre},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {1016--1022},
year = {1981},
month = {8},
note = {Automatic Programming},
url = {https://ijcai.org/proceedings/1981/194},
}
TY - CPAPER TI - Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees AU - Kirchner, Claude AU - Kirchner, Hélène AU - Jouannaud, Jean-Pierre T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 1016 EP - 1022 UR - https://ijcai.org/proceedings/1981/194 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
