×
雅克·卡梅特

计算机代数和人工智能。 （英语） Zbl 1017.68953号

数学。计算。模拟。 45，编号1-2，73-82（1998）.
摘要：我们通过近年来取得的一些成果来说明计算机代数（CA）和人工智能（AI）之间的关系。我们证明了这两个领域之间存在一座桥梁。具体来说，我们表明在知识表示框架中设置CA可以使我们将计算与演绎联系起来。这也导致将CA嵌入到多代理系统中。这些结果可能被视为CA对AI的非标准应用。

MSC公司：

68瓦30 符号计算和代数计算
68T01型 人工智能的一般主题

关键词：

知识表示;计算方法;多代理系统;计算机代数

软件：

OMRS公司;IMPS公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Calmet}，数学。计算。模拟。45，编号1--2，73-82（1998；Zbl 1017.68953）
全文： 内政部

参考文献：

[1] J.Calmet，J.A.Campbell（编辑），AISMC-1会议记录，LNCS 737，Springer-Verlag，柏林（1993）
[2] J.Calmet，J.A.Campbell（编辑），《AISMC-2会议记录》，LNCS 958，施普林格出版社，柏林（1995年）
[3] J.Calmet，J.A.Campbell，J.Pfalzgraf（编辑），《AISMC-3会议记录》，LNCS 1138，施普林格出版社，柏林（1996）
[4] P.McCorduck，《思考的机器》，弗里曼，旧金山（1979）
[5] H.G.Kahrimanian，数字计算机的分析微分。费城天普大学硕士论文（1953年）
[6] J.Nolan，《数字计算机上的分析微分》。马萨诸塞州剑桥麻省理工学院硕士论文（1953年）
[7] J.Calmet，J.A.Campbell，《人工智能和符号数学计算》，载于[1]第1页（1993）·Zbl 0825.00081号
[8] J.Calmet，J.A.Campbell，《符号数学计算和人工智能的观点》，《数学年鉴》。和AI第19卷，第261–277页（1997年）·Zbl 1053.68930号
[9] D.B.Lenat，AM：《作为启发式搜索的数学发现的人工智能方法》，收录于《人工智能中基于知识的系统》，R.Davis，D.Lenat（编辑），第3页。McGraw-Hill，纽约（1982）·Zbl 0479.68093号
[10] G.Bittencourt，J.Calmet，K.Homann，A.Lulay，MANTRA：多层次知识表示系统，收录于Proc。第11届巴西人工智能研讨会（SBIA’94），T.Pequeno，F.Carvalho（编辑），第493页（1994年）
[11] J.Calmet，K.Homann，《逻辑和符号计算系统的通信和合作机制分类》。第一届组合系统国际研讨会前沿（FroCoS’96），F.Baader，K.U.Schulz（编辑），第221–234页，Kluwer应用逻辑系列（1996）·Zbl 0894.68087号
[12] J.Calmet，I.A.Tjandra，《符号计算系统设计与实现中基于代数的统一符号计算规范语言》，A.Miola（编辑），LNCS 722，第122页。柏林斯普林格·弗拉格（1993）·Zbl 0925.68246号
[13] K.Homann，Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logisher Systeme，（德语），卡尔斯鲁厄大学博士论文（1996），Infix-Verlag，Bond 152（1997）
[14] J.Calmet，K.Homann，《走向数学软件总线》，TCS 187，第221-230页（1997）·Zbl 0893.68036号
[15] C.Zenger，索引类型，将出现在TCS（1997）中·Zbl 0893.68086号
[16] C.Ballarin，K.Homann，J.Calmet，《定理和算法：Isabelle和Maple之间的接口》，收录于Proc。ISSAC’95，A.H.M.Levet（编辑），第150–157页，ACM出版社（1995）·Zbl 0922.68080号
[17] J.Calmet，K.Homann，《群论中的证明：DTP和MAGMA之间的接口》，印前IAKS，卡尔斯鲁厄大学（1996）·Zbl 0894.68087号
[18] W.M.Farmer，J.D.Guttmann，F.J.Thayer，《IMPS：交互式数学证明系统》，《自动推理杂志》11，第213-248页（1993）·Zbl 0802.68129号
[19] K.Homann，J.Calmet，结合定理证明和符号数学计算，第2页，第18页（1995）·Zbl 0922.68080号
[20] F.Giunchiglia，P.Pecchiari，C.Talcott，《推理理论：面向开放式机械化推理系统的体系结构》，Proc。第一届组合系统国际研讨会前沿（FroCoS’96），F.Baader，K.U.Schulz（编辑），第157页，Kluwer应用逻辑系列（1996）·Zbl 0899.03022号
[21] K.Homann，J.Calmet，符号数学推理和计算结构，Proc。DISCO’96，J.Calmet，C.Limongelli（编辑）。LNCS 1128，第216–227页，柏林斯普林格·弗拉格出版社（1996）
[22] G.Wiederhold，《未来信息系统架构中的调解人》，IEEE Computer 25，第38–49页（1992）
[23] J.Calmet、S.Jekutsch、P.Kullmann、J.Schü、J.Svec、M.Taneda、S.Trcek、J.Weikopf、KOMET–卡尔斯鲁厄开放中介技术，技术报告，IAKS，卡尔斯鲁赫大学（1997）
[24] J.Calmet，D.Debertin，S.Jekutsch，J.Schü，中介知识库的可执行图形表示，第12届IEEE数据工程国际会议，新奥尔良，第124-131页，IEEE（1996）
[25] J.Calmet，L.Ju，M.Rodriguez，J.Schü，基于符号公式和约束逻辑编程的逻辑编程，收录于Proc。ISMIS 96，Z.M.Ras，M.Michalewicz（编辑），LNAI 1079，第202-211页，柏林斯普林格出版社（1996）
[26] J.Calmet，W.Seiler，《计算机代数与场论》。在本卷中·Zbl 1017.68952号
[27] H.R.Varian（编辑），《使用Mathematica进行经济和金融建模》，TELOS，Springer-Verlag出版社，圣克拉拉，美国（1993）·Zbl 0800.90324号
[28] J.Calmet，J.Schü，《安全协作决策支持系统的设计原则》，收录于Proc。第三次跨学科信息管理会谈（IDIMT-95），第14-24页，R.Oldenbourg，维也纳/慕尼黑，1995年11月
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。