×
罗伯托·孔瓦洛尼埃里;奥利弗·库茨

解构下的融合。逻辑、本体和认知在计算概念发明中的作用。 （英语） Zbl 1444.68178号

安。数学。工件。智力。 88，编号5-6，479-516（2020）.
概述：概念合成的认知语言学理论是由福康尼尔和特纳在90年代末提出的，为人类（几乎是唯一的）创造新概念的能力提供了一个描述性模型和基本方法。虽然混合通常被描述为“流动的”和“毫不费力的”，但它在人工智能中成为了一个高度复杂的多范式问题。本文旨在提出一种连贯的计算叙事，重点关注如何从对人类概念发明能力的解构中获得概念融合的形式重建，从而将其分解为一些核心组成部分。因此，它侧重于展示概念发明的计算框架应该具备的关键方面。我们叙述的一个中心主题是精化的概念，被理解为专门化或泛化概念的方式，这个概念可以被视为为许多理论结构提供概念一致性，以及概念融合的计算版本背后的实现努力。我们重建工作的特定元素包括本体论和基于本体论的推理、图像图式理论、时空推理、抽象规范、社会选择理论和公理精确定位。我们概述并分析了所采用的解决方案，然后重点关注解决概念融合计算方法中两个核心问题的开放视角：搜索概念之间的共享语义结构（概念融合中的所谓通用空间）和概念评估，即。，以确定新发现的混合物的价值。

MSC公司：

68T27型 人工智能中的逻辑
68立方英尺 知识表示
68单位10 图像处理的计算方法

关键词：

计算概念发明;概念融合;本体;意象图式;细化运算符

软件：

CASL公司;E定理证明器;达尔文;克林戈
PDF格式BibTeX公司 XML格式引用
\textit{R.Confalonieri}和\textit{O.Kutz}，Ann.Math。工件。智力。88，编号5--6，479--516（2020；Zbl 1444.68178）
全文： 内政部

参考文献：

[1] 安德森，AR；北卡罗来纳州贝尔纳普；Dunn，J.，《蕴涵：相关性和必要性的逻辑》，第2卷（1992年），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 0921.03025号
[2] Antovic，M.，《塞尔维亚和罗马尼亚儿童的音乐隐喻：实证研究》，隐喻。符号。，24, 3, 184-202 (2009)
[3] 安托维奇，M。；Bennett，A。；特纳，M.，《在圆圈中奔跑或沿着直线运动：视力正常和失明儿童音乐元素的概念化》，《音乐》。科学。，17, 2, 229-245 (2013)
[4] Astesiano，E。；比多特，M。；Krieg-Brückner，B。；苔藓，PD；Sannella，D。；Tarlecki，A.，Casl：通用代数规范语言Theor。计算。科学。，286, 2, 153-196 (2002) ·Zbl 1061.68103号
[5] 巴德，F。；Peñaloza，R.，《公理在一般表中的精确定位》，J.Logic Comput。，2010年1月20日至34日·Zbl 1191.68645号
[6] Baader，F.，Calvanee，D.，Mcguinness，D.L.，Nardi，D，Patel-Schneider，P.F.：《描述逻辑手册》。剑桥大学出版社（2003）·Zbl 1058.68107号
[7] Baader，F.、Brandt，S.、Lutz，C:推动EL信封。载：《第19届国际人工智能联合会议论文集》，第364-*369页。Morgan Kaufmann Publishers Inc.，旧金山（2005）
[8] Baader，F.，Peñaloza，R，Suntisrivaraporn，B.：描述逻辑中的精确定位。In：程序。KI 2007，第4667卷，第52-67页。斯普林格，LNCS（2007）
[9] 巴德，F。；Sertkaya，B。；Turhan，AY，计算最不常见的子术语，背景术语，J.Appl。日志。，5, 3, 392-420 (2007) ·Zbl 1122.68117号
[10] Baader，F，Kriegel，F，Nuradiansyah，A，Peñaloza，R：使描述逻辑中的修复更加温和。收录于：KR，第319-328页。AAAI出版社（2018）
[11] Baumgartner，P，Fuchs，A，Tinelli，C:Darwin:模型进化演算的定理证明器。收录：Schulz，S，Sutcliffe，G，Tammet，T（编辑）IJCAR经验成功一阶推理研讨会（ESFor，aka S4）。理论计算机科学电子笔记（2004）
[12] Bench-Capon，TJM，《使用基于价值的论证框架进行实际论证的说服》，J.Log。计算。，13, 3, 429-448 (2003) ·Zbl 1043.03026号
[13] 博登，文学硕士：创意思维：神话与机制。乔治·韦登菲尔德和尼科尔森有限公司（1990年）
[14] Bou，F，Eppe，M，Plaza，E，Schorlemmer，M:D2.1：用混合推理。COINVENT项目技术代表，网址：http://www.coinvent-project.eu/fileadmin/publications/D2.1.pdf (2014)
[15] Cambouropoulos，E，Kaliakatsos-Papakostas，M，Kühnberger，K.U.，Kutz，O，ASmaill：概念发明与音乐：通过概念融合创造新颖的和声。摘自：第九届国际跨学科音乐学会议（CIM-2014）。柏林（2014）
[16] Colton，S.，Wiggins，G.：计算创造力：最后的前沿？收录于：ECAI，第12卷，第21-26页（2012年）
[17] Confalonieri，R，Corneli，J，Pease，A，Plaza，E，Schorlemmer，M：使用论证评估组合创造力中的概念融合。摘自：第六届国际计算创造力会议论文集，ICCC15（2015）
[18] Confalonieri，R，Plaza，E，Schorlemmer，M：概念发明的过程模型。参加：国际计算创造力会议（ICCC16）。法国巴黎，2016年7月1日
[19] Confalonieri，R.、Kutz，O.、Galliani，P.、Peñaloza，R、Porello，D.、Schollemmer，M.、Troquard，N：一致性、相似性和概念概括。收录于：Description Logics，CEUR-WS.org，CEUR研讨会论文集，第1879卷（2017）
[20] Confalonieri，R。；埃普，M。；Schorlemmer，M。；库茨，O。；佩尼亚洛萨，R。；Plaza，E.，描述逻辑中概念混合的向上求精运算符\（\mathcal{{EL}}}^{+}\）Eℒ++, 安。数学。工件。整数。，82, 1, 69-99 (2018) ·Zbl 1398.68501号
[21] Confalonieri，R.、Pease，A.、Schollemmer，M.、Besold，T.R.、Kutz，O.、Maclean，E.、Kaliakatsos Papakostas，M.：概念发明：基础、实施、社会方面和应用第1版。计算综合与创新系统。施普林格国际出版公司（2018）
[22] Eppe，M.、Confalonieri，R.、Maclean，E.、Kaliakatsos-Papakostas，M.A.、Cambouropoulos，E.、Schorlemmer，W.M.、Codescu，M.，Kühnberger，K：通过概念和弦融合对节奏和和弦进行的计算发明。Yang，Q，Wooldridge，M（eds.）《第二十四届国际人工智能联合会议论文集》，2015年国际人工智能学会，阿根廷布宜诺斯艾利斯，2015年7月25日至31日，第2445-2451页。AAAI出版社（2015）
[23] Eppe，M.、Maclean，E.、Confalonieri，R.、Kutz，O.、Schorlemmer，W.M.、Plaza，E.：Asp、合并和概念混合工作流。收录人：Calimeri，F，Ianni，G，Truszczynski，M（编辑）《逻辑编程和非单调推理——第十三届国际会议》，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。《会议记录》，第9345卷，第309-316页。Springer，计算机科学讲稿（2015）·Zbl 1467.68165号
[24] 埃普，M。；麦克林，E。；Confalonieri，R。；库茨，O。；Schorlemmer，M。；东方广场。；KUühnberger，KU，概念融合的计算框架，Artif。整数。，256, 105-129 (2018) ·Zbl 1443.68139号
[25] Falomir，Z，Plaza，E：走向创造性理解的模型：使用图像图式和定性空间描述符解构和重建概念融合。数学和人工智能年鉴。2007年10月10日/10472-019-09619-9（2019）·Zbl 1444.68205号
[26] Fauconnier，G。；特纳，M.，《概念整合网络》，科尼特出版社。科学。，22, 2, 133-187 (1998)
[27] Fauconnier，G.，Turner，M：《我们的思考方式：概念融合和心灵的隐藏复杂性》。基础图书（2003）
[28] Gangemi，A.，Presutti，V：本体设计模式。在：本体论手册。《信息系统国际手册》，第221-243页。施普林格（2009）
[29] Gebser，M.，Kaminski，R.，Kaufmann，B.，Schaub，T.：Clingo=ASP+对照：初步报告。arXiv:http://arXiv.org/abs/1405.3694 (2014) ·Zbl 1486.68027号
[30] 盖尔方德，M。；Kahl，Y.，知识表示、推理和智能代理的设计：答案集编程方法（2014），纽约：剑桥大学出版社，纽约
[31] 詹特纳：为什么我们这么聪明？收录：Gentner，D，Goldin-Meadow，S（编辑）《心灵中的语言：语言和思想研究的进展》。第8章，第195-235页。麻省理工学院出版社（2003）
[32] Goguen，J.：什么是概念？In：Dau，F，Mugnier，M.L.，Stumme，G（编辑）《概念结构：共享知识的通用语义》。2005年7月17日至22日在德国卡塞尔举行的第十三届国际概念结构会议。《会议记录》，第3596卷，第52-77页。Springer，人工智能课堂讲稿（2005）·Zbl 1132.68059号
[33] Goguen，J.A.：代数符号学导论，及其在用户界面设计中的应用。《隐喻、类比和代理的计算》，LNCS第1562期，第242-291页。斯普林格（1999）
[34] Goguen，J.A.：界面设计的符号形态、表示和融合。摘自：AMAST语言处理代数方法研讨会论文集，第1-15页。AMAST出版社（2003）
[35] Goguen，J.A.，Harrell，D.F.：风格：基于计算和概念混合的方法。收录于：Argamon，S，Dubnov，S（编辑）《风格的结构：理解方式和意义的算法方法》，第147-170页。柏林施普林格出版社（2010年）
[36] Goguen，J.A.，Harrell，D.F.：（最后一次访问，2019年2月）主动多媒体叙事的基础：符号空间和结构融合。可在https://csewebucsdedu/goguen/pps/narrpdf
[37] Goguen，J.A.，Malcolm，G：强制性程序的代数语义。麻省理工学院（1996）·Zbl 0887.68066号
[38] Grice，H.P.：逻辑与对话。收录：Cole，P，Morgan，J.L.（编辑）《句法和语义：言语行为》，第3卷，第41-58页。纽约学术出版社（1975）
[39] Gromann，D.，Hedblom，M.M.：动觉思维读取器：识别自然语言中图像图式的方法。摘自：Langley，P（ed.）《第五届认知系统进步年会（ACS）议事录》。纽约特洛伊（2017）
[40] Grüninger，M，Fox，M.S.：能力问题在企业工程中的作用。摘自：基准理论与实践，第22-31页。斯普林格（1995）
[41] 北卡罗来纳州瓜里诺。；Oberle，D。；Staab，S.，本体论手册（2009），柏林：施普林格，柏林·Zbl 1429.68001号
[42] Guizardi，G.：下一代概念建模的本体模式、反模式和模式语言。Yu，E，Dobbie，G，Jarke，M，Purao，S（编辑）《概念建模》，第13-27页。施普林格国际出版公司，Cham（2014）
[43] 汉普：认知语言学中的图像图式：导论。摘自：Hampe，B，Grady，J.E.（编辑）《从感知到意义：认知语言学中的图像图式》，第1-14页。沃尔特·德·格鲁伊特（2005）
[44] Hedblom，M.M.：图像图式和概念发明：认知、逻辑和语言研究。马格德堡Otto-von-Guericke大学博士论文（2018年）
[45] Hedblom，MM；库茨，O。；Neuhaus，F.，《选择正确的道路：作为概念发明基础的图像图式理论》，J.Artif。发电机智能。，6, 1, 21-54 (2015)
[46] Hedblom，M.M.，Kutz，O.，Neuhaus，F.：作为理论家族的意象图式。地址：密苏里州科恩伯格市T.R.贝索尔德。，Schorlemmer，M.，Smaill，A.（编辑）《2015年“计算创造力、概念发明和一般智力”研讨会论文集》，认知科学研究所，认知科学学会出版物，第2卷，第19-33页（2015）
[47] Hedblom，MM；库茨，O。；Neuhaus，F.，计算概念融合中的图像模式，Cogn。系统。研究，39，42-57（2016）
[48] Hedblom，MM；库茨，O。；Mossakowski，T。；Neuhaus，F.，《联系与支持之间：介绍图像图式和定向运动的逻辑》，256-268（2017），查姆：斯普林格国际出版公司，查姆
[49] 霍洛克斯，I，库茨，O，萨特勒，U：更令人无法抗拒的。摘自：《第十届知识表示与推理原则国际会议论文集》（KR2006），第57-67页。AAAI出版社（2006）
[50] Kalyanpur，A。；巴西娅，B。；Sirin，E。；亨德勒，J.，《调试OWL本体中不可满足的类》，《Web语义：万维网上的科学、服务和代理》，3，4，268-293（2005）
[51] Kalyanpur，A.，Parsia，B.，Sirin，E.，Grau，B.C.：修复OWL本体中不可满足的概念。收录于：ESWC，第6卷，第170-184页。斯普林格（2006）
[52] Koestler，A：创造的行为。麦克米伦（1964）
[53] Kuhn，W.：空间类别的图像示意图。收录于：Winter，S，Duckham，M，Kulik，L，Kuipers，B（eds.）《空间信息理论》，《计算机科学讲义》，第4736卷，第152-168页。施普林格（2007）
[54] 库茨，O.，诺曼，I.：通过理论解释发现语境。In：程序。关于上下文和本体进化自动推理的IJCAI研讨会ARCOE-09。帕萨迪纳（2009）
[55] Kutz，O，Mossakowski，T，Lücke，D:卡纳普、果根和超本体论：本体设计中的逻辑多元主义和异质结构，第4卷。关于“逻辑是普遍的吗？”？(2010) ·Zbl 1255.68153号
[56] Kutz，O.，Mossakowski，T.，Hois，J.，Bhatt，M.，Bateman，J.：DOL中的本体论融合。收录：Besold，T，Kühnberger，K.U.，Schorlemmer，M，Smaill，A（编辑）《计算创造力、概念发明和一般智能》，第一届国际研讨会论文集C3GI@ECAI时《认知科学研究所出版物》，奥斯纳布吕克，第01-2012卷，蒙彼利埃（2012）
[57] Kutz，O.、Bateman，J.、Neuhaus，F.、Mossakowski，T.、Bhatt，M.：概念融合的形式化、用例和计算支持。收录：计算创造力研究：面向创新机器。思维机器。斯普林格，亚特兰蒂斯（2014）
[58] Kutz，O.，Neuhaus，F.，Mossakowski，T.，Codescu，M.：融合枢纽，打造协同概念发明平台。摘自：第五届国际计算创造力会议记录。卢布尔雅那（2014）
[59] Kutz，O.，Neuhaus，F.，Hedblom，M.M.，Mossakowski，T.，Codescu，M：DOWL的本体模式：混合案例。In：描述逻辑。CEUR-WS.org.CEUR研讨会记录，第1577卷（2016）
[60] Kutz，O，Troquard，N，Hedblom，M.M.，Porello，D：《老鼠和球：走向基于认知和本体论的代理逻辑》。摘自：《第十届信息系统形式本体国际会议论文集》（FOIS 2018），第141-148页。IOS出版社（2018），10.3233/978-1-61499-910-2-141
[61] van der Laag，公关；陈宁浩，SH，归纳逻辑程序设计中求精算子的完备性和适当性，J.logic Program。，34, 3, 201-225 (1998) ·Zbl 0905.68027号
[62] 拉卡托斯，I：证据和反驳。剑桥大学出版社（1976）·Zbl 0334.00022号
[63] 莱曼，J。；Hitzler，P.，《使用精化算子的描述逻辑中的概念学习》，马赫。学习。，78, 1-2, 203-250 (2010) ·Zbl 1470.68134号
[64] 路易斯，CI；Langford，CH，符号逻辑（1932），纽约：阿普尔顿世纪克罗夫特，纽约
[65] JM Mandler；Pagán Cánovas，C.，《关于定义图像模式》，Lang.Cogn。，6, 4, 510-532 (2014)
[66] Mossakowski，T.，Kutz，O.：本体论翻译图。见：WoMO，《人工智能与应用前沿》，第230卷，第94-109页。IOS出版社（2011）
[67] Mossakowski，T。；梅德，C。；Lüttich，K.，第13届系统构建和分析工具和算法国际会议，TACAS 2007，葡萄牙布拉加，2007年3月24日至4月1日，519-522（2007），柏林：施普林格，柏林·Zbl 1116.68006号
[68] Mossakowski，T.，Codescu，M.，Neuhaus，F.，Kutz，O.：通用逻辑之路：Jean-Yves Beziau 50岁生日庆典，卷II。施普林格国际出版公司，Cham，chap分布式本体论。建模和规范语言——DOL，第489-520页（2015）·Zbl 1409.68284号
[69] 纽豪斯：什么是本体论？arXiv:1810.09171（2018）
[70] Neuhaus，F.，Kutz，O.，Codescu，M.，Mossakowski，T.：制造怪物很难：实现概念融合的自动化。收录：Besold，T，Kuehnberger，K.U.，Schorlemmer，M，Smaill，A（编辑）《计算创造力、概念发明和一般智能》，第三届国际研讨会论文集ECAI-14下的C3GI《认知科学研究所出版物》，第1-2014卷，Osnabrück（2014）
[71] 诺曼，I.，《自动理论解释》。不来梅计算机科学系博士论文（2008）：不来梅雅各布斯大学
[72] 诺曼，I.，库茨，O.：通过理论解释的本体论对应。参加：AISB-09匹配与意义研讨会。爱丁堡（2009）
[73] Nuñez，R，Lakoff，G：数学从何而来。基础图书（2001）
[74] 对象管理组：分布式本体、建模和规范语言（DOL）。文件编号：ptc/2016-02-37。可在http://www.omg.org/spec/DOL (2016)
[75] Ontañón，S，Plaza，E.：Amalgams：组合多案例解决方案的正式方法。收录：Bichidaritz，I，Montani，S（编辑）基于案例的推理。研究与开发，第257-271页。施普林格，ICCBR（2010）
[76] Ontañón，S。；Plaza，E.，细化图的相似性度量，马赫。学习。J.，87，1，57-92（2012）·Zbl 1238.68128号
[77] Pagán，CC，《希腊诗歌中的性欲释放：一个通用的整合网络》，Cogn。塞米奥。，6, 7-32 (2010)
[78] Pease，A。；劳伦斯，J。；Budzynska，K。；科内利，J。；Reed，C.，Lakatos风格的通过辩证、结构化和抽象论证的合作数学，Artif。整数。，246, 181-219 (2017) ·Zbl 1419.68127号
[79] Pereira，F.C.：《创造力和人工智能：概念融合方法》。Mouton de Gruyter（2007）
[80] Porello，D.，Troquard，N.，Confalonieri，R.，Galliani，P.，Kutz，O.，Peñaloza，R:使用公理弱化修复社会聚合本体。在：PRIMA，第10621卷，第441-449页。Springer，计算机科学讲稿（2017）·Zbl 1498.68309号
[81] Porello，D.，Troquard，N.，Peñaloza，R，Confalonieri，R.，Galliani，P.，Kutz，O.：基于公理弱化的两种本体集成方法。摘自：第二十七届国际人工智能联合会议记录（IJCAI-ECAI 2018），第1942-1948页（2018）
[82] Porello，D.，Kutz，O.，Righetti，G.，Troquard，N.，Galliani，P.，Masolo，C.：一大堆概念：走向加权概念组合理论。收录于：Šimkus，M，Weddell G（eds.）《第32届描述逻辑国际研讨会论文集》（DL 2019），CEUR-WS，挪威奥斯陆，2019年6月18日至21日，第2373卷（2019）
[83] Ren，Y.，Parvizi，A.，Mellish，C.，Pan，J.Z.，van Deemter，K.，Stevens，R:走向能力问题驱动的本体论创作。摘自：《语义网：趋势与挑战》，第752-767页。斯普林格（2014）
[84] Schlobach，S，Cornet，R：用于调试描述逻辑术语的非标准推理服务。In：程序。第355-362页。Morgan Kaufmann（2003）
[85] Schorlemmer，M.，Smaill，A.，Kühnberger，K.U.，Kutz，O.，Colton，S.，Cambouropoulos，E.，Pease，A.：共同发明：走向计算概念发明理论。摘自：第五届国际计算创造力会议论文集。卢布尔雅那（2014）
[86] Schorlemmer，M.，Confalonieri，R.，Plaza，E:连贯的概念融合。In:计算创造力、概念发明和一般智能，2016年ESSLLI C3GI（2016）
[87] Schorlemmer，M，Confalonieri，R，Plaza，E：通往佛教和尚融合的Yoneda之路。参加：第一届认知与本体论国际研讨会（2016年7月6日，法国安内西）
[88] Schulz，S.，E-A Brainiac定理证明器，J.AI Commun。，15, 2-3, 111-126 (2002) ·Zbl 1020.68084号
[89] Schwering，A。；克鲁姆纳克，美国。；昆士兰库恩伯格；Gust，H.，启发式驱动理论投射的句法原则，认知。系统。决议，10，3，251-269（2009）
[90] Skjveland，M.G.，Forssell，H，Klüwer，J.W.，Lupp，D.P.，Thorstensen，E.，Waaler，A：基于模式的本体设计和实例化，使用合理的本体模板。In:第八届本体设计与模式研讨会（WOP 2017）。CEUR-WS.org，《CEURWorkshop Proceedings》，第2043卷（2017）
[91] St Amant，R，Morrison，C.T.，Chang，Y.H.，Cohen，P.R.，Beal，C：一种图像模式语言。摘自：认知建模国际会议（ICCM），第292-297页（2006）
[92] Thagard，P：思想和行动的一致性。麻省理工学院出版社（2000）
[93] Troquard，N，Confalonieri，R，Galliani，P，Peñaloza，R，Porello，D，Kutz，O：通过公理弱化修复本体论。摘自：《第三十二届AAAI人工智能会议论文集》，第1981-1988页（2018）
[94] 特纳，M.：《思想的起源、融合、创造力和人类火花》，牛津大学出版社（2014）
[95] Veale，T.：从概念混搭到“劣质”混搭：概念混搭的稳健计算模型。In：程序。2012年。国际计算创造力会议。都柏林（2012）
[96] Veale，T.：从概念上的“混搭”到“劣质”混合：概念混合的稳健计算模型。摘自：《第三届国际计算创造力会议论文集》，国际计算创造力协会，2012年ICCC，第1-8页（2012年）
[97] Veale，T。；Donoghue，DO，计算与混合，认知。凌。，11, 3-4, 253-282 (2000)
[98] Walton，L.，Worboys，M：地理空间图像模式的代数方法。摘自：第九届空间信息理论国际会议论文集，第357-370页。法国（2009）
[99] Wilson，D.，Sperber，D.：关联理论。摘自：Horn，L，Ward，G（编辑）《语用学手册》，第607-632页。布莱克威尔（2002）
[100] Ẑnidarŝiĉ，M，Cardoso，A，Gervas，P，Martins，P，Hervas，R，Alves，A、Oliveira，H，Xiao，P，Linkola，S，Toivonen，H，Kranjc，J，Lavra，N：在线软件合成的计算创意基础设施：概念混合用例。参加：国际计算创造力会议（ICCC16）。法国巴黎，2016年7月1日
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。