Abstracting symbolic matrices Special issue on artificial intelligence and symbolic computation

作者：Almomen Randa; Sexton Alan P; Sorge Volker^*

来源：Annals of Mathematics and Artificial Intelligence, 2012, 64(4): 343-368.

DOI：10.1007/s10472-012-9299-5

• Symbolic matrices
• Abstract matrices
• Ellipsis terms

We present a procedure that allows the abstraction of elements in concrete symbolic matrices to obtain a more compact representation employing ellipses in order to expose homogeneous regions present in a matrix. We furthermore extend that procedure to allow for generalisations of concrete matrices to an abstract form that enables us to determine the generic type of a given matrix. The presented algorithms employ artificial intelligence techniques such as pattern recognition and constraint solving.

• 出版日期2012-4