|  UAM Ediciones  |  UAM

No. 15 (1997): Mathematical Education
History of mathematics notes with possible interest for educational practice

Equation solving, unification, knowledge automation and educational mathematics

pdf (Español (España))
  • Luis Carlos Cachafeiro
Luis Carlos Cachafeiro
I.B. Pontepedriña. Santiago de Compostela
Published January 15, 1997

Keywords:

Artificial intelligence, Equational resolution, Mathematical curriculum
How to Cite
Cachafeiro, L. C. (1997). Equation solving, unification, knowledge automation and educational mathematics. Tarbiya, Revista De Investigación E Innovación Educativa, (15), 79–88. Retrieved from https://revistas-new.uam.es/tarbiya/article/view/21011

Abstract

In this paper, we describe the unification and equational unification operations justifying their importance as operations in the field of the automatization of knowledge. We show the close relationship of both operations with the equational resolution and we also consider some implications in the curriculum specially in the mathematicas study programmes.

pdf (Español (España))

Downloads

Download data is not yet available.

References

BOCKMAYR (1987). A Note on a Canonical Theory with Undecidable Unification and Matching Problem. Journal of Automateed Reasoning 3, 379-381.

BOUDET, A., CONTEJEAN, E., DEVIE, H. (1990). A new AC unification algrithm with a new algorithm for solving diophantique equations. IEEE Symposium on Logic in Compter Science 289-299.

BOYER, C.B. (1986). Historia de la Matemática. Madrid: Alianza Editorial.

CACHAFEIRO CHAMOSA, L.C. (1994). Algoritmos Xerales de Unificación Ecuacional. Tese Dotoral. Universidad de A Coruña. Abril 1994.

GRAUBARD, S.R. (comp.) (1993). El Nuevo Debate sobre la Inteligencia Artificial. Sistemas simbólicos y redes neuronales. Barcelona: Editorial Gedisa.

JOHNSON-LAIRD, P.N. (1990). El ordenador y la mente. Introducción a la ciencia cognitiva. Barcelona: Editorial Paidós.

KNIGHT, K. (1989). Unification: A Multidisciplinary Survey. ACM Computing Surveys 21, 92-124.

MATIJASEVIC Y. (1970). Diophanine representation of recursively enumerable predicates. Actes Congres International des Mathématiciens 1, 235-238.

ROBINSON, J.A. (1965). A Machine-Oriented Logic Based on the Resolution Principle. Journal of Association Computing Machinery UACM), 12, 32-41.

MARTELLI, A., MONTANARI, U. (1982). An efficient unification algorithm. Transaction on Programming Languages and Systems, 4(2), 258-282.

MARTIN, U., NIPKOW, T. (1989). Boolean Unification - The Story So Far. Journal of Symbolic Computation 7, 275-293.

SIEKMAN,J. (1989). Unification Tbeory: a Survey. Journal of Symbolic Computation, 7, 207-274.