Abstracting symbolic matricesSpecial issue on artificial intelligence and symbolic computation

被引：0
|
作者：
Randa Almomen
Alan P. Sexton
Volker Sorge
机构：
[1] University of Birmingham,School of Computer Science
来源：
Annals of Mathematics and Artificial Intelligence | 2012年 / 64卷
关键词：
Symbolic matrices; Abstract matrices; Ellipsis terms; 68W30; 15A99;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：343 / 368
页数：25
相关论文
共 50 条
  • [1] Abstracting symbolic matrices Special issue on artificial intelligence and symbolic computation
    Almomen, Randa
    Sexton, Alan P.
    Sorge, Volker
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 64 (04) : 343 - 368
  • [2] PrefaceSpecial issue on artificial intelligence and symbolic computation
    Jacques Calmet
    Volker Sorge
    [J]. Annals of Mathematics and Artificial Intelligence, 2009, 56 : 1 - 2
  • [3] Special issue on artificial intelligence and symbolic computation - Preface
    Calmet, Jacques
    Sorge, Volker
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 56 (01) : 1 - 2
  • [4] Neuro-symbolic artificial intelligence
    Sarker, Md Kamruzzaman
    Zhou, Lu
    Eberhart, Aaron
    Hitzler, Pascal
    [J]. AI COMMUNICATIONS, 2021, 34 (03) : 197 - 209
  • [5] Special issue on symbolic and algebraic computation Foreword
    D'Andrea, Carlos
    Mourrain, Bernard
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2009, 44 (07) : 701 - 702
  • [6] A perspective on symbolic mathematical computing and artificial intelligence
    J. Calmet
    J.A. Campbell
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 261 - 277
  • [7] A perspective on symbolic mathematical computing and artificial intelligence
    Calmet, J
    Campbell, JA
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (3-4) : 261 - 277
  • [8] Neuro-symbolic artificial intelligence: a survey
    Bhuyan, Bikram Pratim
    Ramdane-Cherif, Amar
    Tomar, Ravi
    Singh, T.P.
    [J]. Neural Computing and Applications, 2024, 36 (21) : 12809 - 12844
  • [9] Neuro-symbolic approaches in artificial intelligence
    Pascal Hitzler
    Aaron Eberhart
    Monireh Ebrahimi
    Md Kamruzzaman Sarker
    Lu Zhou
    [J]. National Science Review, 2022, (06) : 35 - 37
  • [10] Neuro-symbolic approaches in artificial intelligence
    Hitzler, Pascal
    Eberhart, Aaron
    Ebrahimi, Monireh
    Sarker, Md Kamruzzaman
    Zhou, Lu
    [J]. NATIONAL SCIENCE REVIEW, 2022, 9 (06)
12345