×
雅克·卡梅特

基于抽象的信息技术：开放式机械化推理的框架。 （英语） Zbl 1247.68233号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，14-26（2009）。
概要：OMRS（开放式机械化推理系统）是为自动定理证明而设计的，然后扩展到计算机代数。这两个领域是Calculemus方法的核心。一个明显的问题是评估这种方法是否可以扩展到AI内部或AI外部的新领域。已经有多次尝试将世界变成计算系统。本次演讲远离了这些一般性的尝试，并引入了一个完全在人工智能中建立的框架。它将OMRS的基本概念扩展到了从信息技术到社会学再到法律的各个领域，如示例所示。其主要动机是声称，无论选择何种方法，人工智能都在获得足够的力量和力量，以达到新的领域，并将并非纯粹计算性质的先验挑战转化为人工智能领域。
有关整个系列，请参见[Zbl 1165.68005号]。

MSC公司：

第68页第15页 定理证明（演绎、解析等）（MSC2010）
68瓦30 符号计算和代数计算

关键词：

机械化推理;抽象;计算建模;知识;代理人

软件：

OMRS公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Calmet}，莱克特。注释计算。科学。5625，14-26（2009；Zbl 1247.68233）
全文： 内政部

参考文献：

[1] Bertoli，P.G.，Calmet，J.，Giunchiglia，F.，Homann，K.：定理证明器和计算机代数系统的规范和集成。基础信息学39（1-2），39–57（1999）·Zbl 0951.68197号
[2] Calmet，J.，Homann，K.：符号数学推理和计算的结构。收录：Limongelli，C.，Calmet，J.（编辑）DISCO 1996。LNCS，第1128卷，第216-227页。斯普林格，海德堡（1996）·Zbl 0894.68087号 ·doi:10.1007/3-540-61697-7
[3] Calmet，J.，Lefevre，V.：《将数值计算集成到OMSCS框架中》，载于《第七届科学计算中的计算机代数国际研讨会论文集》，俄罗斯圣彼得堡，第71–79页（2004）
[4] Calmet，J.，Maret，P.，Endsuleit，R.：面向代理的抽象，Ciencias皇家科学院（马德里）。符号计算和人工智能特别卷98（1），77–83（2004）·Zbl 1103.68663号
[5] Calmet，J.，Ollivier，F.（客座编辑）：雅各比的遗产。AAECC特刊20（1）（2009年4月）
[6] Calmet，J.，Maret，P.，Schneider，M.：《文化差异作为评估虚拟企业信任的工具》（2009年5月）（即将出版）
[7] Carrierro，N.，Gelernter，D.：万物的计算模型。ACM通讯44（119），77–81（2001）·doi:10.1145/384150.384165
[8] Fredkin，E.：数字力学。《物理学D》45，254–270（1990）·Zbl 0719.68044号 ·doi:10.1016/0167-2789（90）90186-S
[9] Ghins，M.：自然法则：我们需要形而上学吗？普林西比亚11（2），127-149（2007）
[10] Giunchiglia，F.，Pecchiari，P.，Talcott，C.：推理理论：面向开放式机械化推理系统的架构。技术代表9409-15，IRST，Trento，Italy（1994），简短版本：Proc。第一届组合系统前沿国际研讨会（FroCoS 1996），德国慕尼黑（1996）·Zbl 0899.03022号
[11] Herrera，M.，Roberts，D.C.，Gulbahce，N.：映射科学思想的演变（2009年4月7日）（预印本）arXiv:0904.1234v1
[12] 劳特曼（Lautman，A.）：《数学中的结构和存在概念》（Essai sur les Notions de Structure et d’Existence en Mathématiques）。J.符号逻辑5（1），20–22（1940）·doi:10.2307/269179
[13] McCarthy，J.，Hayes，P.J.：从人工智能的角度来看的一些哲学问题。机器智能4463–502（1969）·Zbl 0226.68044号
[14] Maret，P.，Calmet，J.：基于代理的知识社区。IJCSA 6（2），3–21（2009）
[15] Sartor，G.：《法律哲学与普通法学论著》。法律推理，第5卷。斯普林格，海德堡（2005）（卷未另行提供）
[16] Subercaze，J.、Maret，P.、Calmet，J.和Pawar，P.：移动商务虚拟社区的面向服务框架。收录：Camarinha-Matos，L.M.，Picard，W.（编辑）《普及协作网络》。国际信息处理联合会，第283卷，第493-500页。斯普林格，波士顿（2008）·doi:10.1007/978-0-387-84837-2_51
[17] Wirth，C.-P.，Siekmann，J.，Benzmueller，C.，Autexier，S.：雅克·赫布兰德作为逻辑学家的演讲。SEKI报告SR200901，DFKI Saarbruecken（2009）
[18] Wolfram，S.：一种新的科学。Wolfram Media（2002）·Zbl 1022.68084号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。