曼弗雷德·埃普;埃文·麦克林;罗伯托·孔瓦洛尼埃里;奥利弗·库茨;马尔科·舍勒默;Enric广场;凯乌·库恩伯格 概念融合的计算框架。 （英语） Zbl 1443.68139号 Artif公司。智力。 256, 105-129 (2018). 摘要：我们提出了一个计算框架概念融合这是认知科学提倡的一种概念发明方法，是人类创造性思维的基本和独特引擎。我们的框架将混合过程的关键部分，即输入概念的泛化，视为一个搜索问题，该问题通过现代答案集编程方法解决，以找到输入概念之间的共性。我们还通过引入捕获大多数所谓的最优性原理，在认知科学文献中被描述为产生有意义和偶然混合的指南。作为概念证明，我们展示了我们的系统如何在创造力至关重要的领域（即数学和音乐）中发明新颖的概念和理论。 引用于三文件 MSC公司： 68T01型 人工智能的一般主题 关键词：计算创造力;概念融合;认知科学;答案集编程 软件：IsaCoSy公司;克林戈;CASL公司;赫茨 PDF格式BibTeX公司 XML格式引用 \textit{M.Eppe}等人，Artif。智力。256105-129（2018；Zbl 1443.68139） 全文： 内政部 参考文献： [1] 安德森，D。；Zalta，E.，Frege，boolos and logical objects，J.Philos。日志。，33, 1-26 (2004) ·Zbl 1052.03003号 [2] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [3] 博登，M.A.，《创造力》（博登，M.A.，《人工智能（感知和认知手册）》（1996），学术出版社），267-291·Zbl 0939.68735号 [4] Bou，F。；埃普，M。；东广场。；Schorlemmer，M.，D2.1：使用Amalgams进行推理（2014年10月），技术报告，COINVENT项目，网址： [5] Codescu，M。；库克萨，E。；库茨，O。；Mossakowski，T。；Neuhaus，F.，Ontohub:异构本体的语义存储库引擎，Appl。安托尔。(2017) [6] 科尔顿，S。；查恩利，J.W。；Pease，A.，《计算创造力理论：FACE和IDEA描述性模型》（Ventura，D.；Gervás，P.；Harrell，D.F.；Maher，M.L.；Pease（A.）；Wiggins，G。第二届国际计算创造力会议论文集。2011年4月27日至29日，墨西哥墨西哥城，第二届国际计算创造力会议记录（2011年），90-95 [7] Confalonieri，R。；Nieves，J.C.，答案集编程中的嵌套偏好，Fundam。通知。，113, 1, 19-39 (2011) ·Zbl 1243.68140号 [8] Confalonieri，R。；Prade，H.，使用可能性逻辑对定性决策建模：答案集编程算法，Int.J.近似原因。，55, 2, 711-738 (2014) ·Zbl 1316.68173号 [9] Confalonieri，R。；科内利，J。；Pease，A。；东方广场。；Schollemmer，M.，使用论证来评估组合创造力中的概念融合，（Toivonen，H.；Colton，S.；Cook，M.；Ventura，D.，第六届国际计算创造力会议记录。第六届国际计算创造力会议记录，美国犹他州帕克城，2015年6月29日至7月2日（2015）), 174-181 [10] R.Confalonieri，M.Schorlemmer，E.Plaza，M.Eppe，O.Kutz，R.Peñaloza，描述逻辑中概念融合的向上细化：基于asp的方法和EL++中的案例研究，in：2015年联合本体研讨会会议记录第1集：阿根廷本体之冬与2015年第24届国际人工智能联合会议合办。；R.Confalonieri，M.Schorlemmer，E.Plaza，M.Eppe，O.Kutz，R.Peñaloza，描述逻辑中概念融合的向上细化：基于asp的方法和EL++中的案例研究，2015年联合本体研讨会会议记录第1集：阿根廷本体之冬与2015年第24届国际人工智能联合会议合办。 [11] Confalonieri，R。；埃普，M。；Schorlemmer，M。；库茨，O。；佩尼亚洛萨，R。；Plaza，E.，描述逻辑EL++中概念混合的向上求精运算符，Ann.Math。Artif公司。智力。，1-31 (2016) [12] R.Confalonieri、E.Plaza、M.Schorlemmer，概念发明的过程模型，摘自：国际计算创造力会议，ICCC，2016年。；R.Confalonieri、E.Plaza、M.Schorlemmer，《概念发明的过程模型》，载于：国际计算创造力会议，ICCC，2016年。 [13] Confalonieri，R。；Schorlemmer，M。；库茨，O。；佩尼亚洛萨，R。；东方广场。；Eppe，M.，《EL++中的概念融合》，（Lenzerini，M.；Peñaloza，R.，《第29届描述逻辑国际研讨会论文集》，第29届国际描述逻辑研讨会论文集，南非开普敦，4月22日至25日。第29届描述逻辑国际研讨会论文集。第29届描述逻辑国际研讨会会议记录，南非开普敦，4月22日至25日，CEUR研讨会程序。，第1577卷（2016），CEUR-WS.org） [14] Confalonieri，R。；库茨，O。；加利亚尼，P。；佩尼亚洛萨，R。；波雷洛，D。；Schorlemmer，M。；Troquard，N.，一致性、相似性和概念概括，（Artale，A.；Glimm，B.；Kontchakov，R.，《第30届描述逻辑国际研讨会论文集》，第30届描述性逻辑国际研讨会，法国蒙彼利埃，2017年7月18-21日。第30届描述逻辑国际研讨会论文集。第30届描述逻辑国际研讨会论文集，法国蒙彼利埃，2017年7月18日至21日，CEUR研讨会程序。，第1879卷（2017年），CEUR-WS.org） [15] （Confalonieri，R.；Pease，A.；Schorlemmer，M.；Besold，T.；Kutz，O.；Maclean，E.；Kaliakatsos-Papakostas，M.，《概念发明：基础、实施、社会方面和应用》，《概念发生：基础、实现、社会方面与应用》，计算合成与创造系统（2018），Springer） [16] M.Eppe，M.Bhatt，认知机器人基于叙事的后置推理，载于：常识推理逻辑形式化国际研讨会，CR，2013年。；M.Eppe，M.Bhatt，认知机器人基于叙事的后置推理，收录于：常识推理逻辑形式化国际研讨会，CR，2013年。 [17] 埃普，M。；Bhatt，M.，使用答案集编程的近似后置推理，J.Appl。日志。，13, 4, 676-719 (2015) ·Zbl 1457.68255号 [18] M.Eppe，M.Bhatt，F.Dylla，以后置词作为回答集编程的近似认知规划，收录于：《第十二届逻辑编程与非单调推理国际会议论文集》，2013年。；M.Eppe，M.Bhatt，F.Dylla，近似认知规划与后置作为回答集编程，收录于：《第十二届逻辑编程与非单调推理国际会议论文集》，2013年·Zbl 1405.68348号 [19] 埃普，M。；巴特，M。；Suchan，J。；Tietzen，B.，ExpCog:常识认知机器人实验，（认知机器人国际研讨会，认知机器人国际会议，CogRob（2014）） [20] 埃普，M。；Confalonieri，R。；麦克林，E。；Kaliakatsos-Papakostas，医学硕士。；Cambouropoulos，E。；肖尔勒默，W.M。；Codescu，M。；Kühnberger，K.，通过概念和弦合成对韵律和和弦进行的计算发明，（Yang，Q。；Wooldridge，M.，第二十四届国际人工智能联合会议论文集。《第二十四届国际人工智能联合会议记录》，2015年7月25日至31日，阿根廷布宜诺斯艾利斯，2015（2015），美国人工智能学会出版社，2445-2451 [21] 埃普，M。；麦克林，E。；Confalonieri，R。；库茨，O。；斯科勒默（W.M.Schorlemmer）。；Plaza，E.，ASP，合并和概念混合工作流，（Calimeri，F.；Ianni，G.；Truszczynski，M.，《逻辑编程和非单调推理——第13届国际会议》，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。逻辑编程和非单调推理——第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。法律诉讼。注释计算。科学。，第9345卷（2015），施普林格），309-316·Zbl 1467.68165号 [22] 埃普，M。；Trott，S。；Feldman，J.，《为人机交互开发自然语言的深层语义和组合性》，（智能机器人和系统国际会议，国际智能机器人与系统会议，IROS（2016）），731-738 [23] 埃佩，M。；Trott，S。；拉古拉姆，V。；费尔德曼，J。；Janin，A.，应用相关和集成友好型自然语言理解，（全球人工智能会议，全球人工智能大会，GCAI（2016）），340-352 [24] Fauconnier，G.，《心理空间：自然语言意义构建的方面》（1985），麻省理工学院出版社 [25] Fauconnier，G.，《思想与语言中的映射》（1997），剑桥大学出版社：剑桥大学出版社，英国剑桥 [26] Fauconnier，G。；Turner，M.，概念集成网络，Cogn。科学。，22，2，133-187（1998），再版于：D.Geeraerts（编辑），认知语言学：基本阅读，第303-371页 [27] Fauconnier，G。；特纳，M.，《我们思考的方式：概念融合和思维的隐藏复杂性》（2002年），基础书籍 [28] M.Gebser、R.Kaminski、B.Kaufmann、M.Ostrowski、T.Schaub、S.Thiele，《设计增量ASP解算器》，收录于：逻辑编程国际会议，LPNMR，2008年。；M.Gebser、R.Kaminski、B.Kaufmann、M.Ostrowski、T.Schaub、S.Thiele，《设计增量ASP解算器》，收录于：逻辑编程国际会议，LPNMR，2008年·Zbl 1185.68159号 [29] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，Clingo=ASP+对照：初步报告（2014年），CoRR [30] Gebser，M。；卡明斯基，R。；考夫曼，B。；林道尔，M。；奥斯特罗斯基，M。；罗梅罗，J。；Schaub，T。；Thiele，S.，《Potassco用户指南2.0》（2015年5月），波茨坦大学，技术报告 [31] Gelfond，M。；Kahl，Y.，《知识表示、推理和智能代理的设计：答案集编程方法》（2014），剑桥大学出版社：剑桥大学出版社，纽约州纽约市，美国 [32] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（第五届逻辑编程国际会议论文集。第五届逻辑编程国际会议论文集，ICLP（1988），麻省理工学院出版社），1070-1080 [33] 高根，J。；Harrell，D.F.，《风格：基于计算和概念混合的方法》，（Argamon，S.；Burns，K.；Dubnov，S.，《样式的结构：理解方式和意义的算法方法》（2010），施普林格），291-316 [34] Goguen，J.A.，《代数符号学导论及其在用户界面设计中的应用》（隐喻、类比和代理计算（1999）），1-39 [35] Goguen，J.A。；哈雷尔，D.F.，《主动多媒体叙事的基础：符号空间和结构融合》（2005） [36] Guhe，M。；Pease，A。；Smaill，A。；马丁内斯，M。；施密特，M。；阵风，H。；Kühnberger，K.-U。；Krumnack，U.，《基础数学中概念混合的计算说明》，Cogn。系统。研究，12，3-4，249-265（2011） [37] 汉普，B.，《认知语言学中的意象图式：导论》，（汉普，B；格雷迪，J.E.，《从感知到意义：认知语言学中意象图式》，《认知语言学家研究》，第29卷（2005），穆顿·德格鲁伊特），1-12 [38] D.F.Harrell，《计算唤起和意义的阴影：GRIOT系统和即兴诗歌生成》，第六届数字艺术与文化会议，2005年。；D.F.Harrell，《计算唤起和意义的阴影：GRIOT系统和即兴诗歌生成》，第六届数字艺术与文化会议，2005年。 [39] Harrell，D.F.，《计算叙事的理论与技术：以代数符号学和认知语言学为基础的生成性和交互式叙事方法》（2007），加利福尼亚大学：加利福尼亚大学圣地亚哥分校，博士论文 [40] Hedblom，M.M。；库茨，O。；Neuhaus，F.，《选择正确的道路：作为概念发明基础的图像图式理论》，J.Artif。Intell将军。，6, 1, 21-54 (2015) [41] Hedblom，M.M。；库茨，O。；Neuhaus，F.，计算概念融合中的图像模式，Cogn。系统。Res.，39，42-57（2016年） [42] 爱尔兰，A。；Bundy，A.，《归纳证明中失效的生产性应用》，J.Autom。原因。，16, 1-2, 79-111 (1996) ·Zbl 0847.68103号 [43] 约翰逊，M。；Dixon，L.公司。；Bundy，A.，归纳理论的猜想综合，J.Autom。原因。，47, 251-289 (2011) ·Zbl 1243.68268号 [44] 约翰逊，M.，《心灵中的身体》。《意义、想象和推理的身体基础》（1987），芝加哥大学出版社 [45] Jordanous，A.，《回归前进：为计算创造力的元评估设定标准》（Colton，S.；Ventura，D.；Lavrac，N。；库克，M.，《第五届计算创造力国际会议论文集》。第五届国际计算创造力会议记录，2014年6月10日至13日，斯洛文尼亚卢布尔雅那（2014），129-136，computationalcreativity.net [46] Koestler，A.，《创造法案》（1964年），Hutchinson&Co。 [47] Kowalski，R.，谓词逻辑作为编程语言，（国际信息处理联合会会议记录（1974）），569-574·Zbl 0297.68006号 [48] Kuhn，W.，《空间类别的图像化学解释》，（Winter，S.；Duckham，M.；Kulik，L.；Kuipers，B.，《空间信息理论》，《Lect.Notes计算科学》，第4736卷（2007），Springer），152-168 [49] 库茨，O。；贝特曼，J。；Neuhaus，F。；Mossakowski，T。；Bhatt，M.，E pluribus unum：概念融合的形式化、用例和计算支持，（Besold，T.R.；Schorlemmer，M.；Smaill，A.，《计算创造力研究：朝向创造性机器，思维机器》（2014），亚特兰蒂斯/斯普林格） [50] O.Kutz，T.Mossakowski，F.Neuhaus，M.Codescu，《枢纽中的融合：走向计算概念发明平台》，载于：国际计算创造力会议，ICCC，2014年。；O.Kutz，T.Mossakowski，F.Neuhaus，M.Codescu，《枢纽中的融合：走向计算概念发明平台》，载于：国际计算创造力会议，ICCC，2014年。 [51] Lakoff，G.，《女性、火灾和危险事物》（1987），芝加哥大学出版社 [52] Lakoff，G。；约翰逊，M.，《肉体中的哲学：具象思维及其对西方思想的挑战》（1999），《基础书籍》 [53] Malcolm，G.，《使用OBJ的软件工程：实际代数规范》（2000），Kluwer [54] 曼德勒，J.M。；Pagán Cánovas，C.，《关于定义图像模式》，Lang.Cogn。，6, 1-23 (2014) [55] P.Martins、S.Pollak、T.Urban i、A.Cardoso，概念融合计算方法中的最优化原则：我们到底需要它们吗？in：国际计算创造力会议，ICCC，2016年。；P.Martins、S.Pollak、T.Urban i、A.Cardoso，概念融合计算方法中的最优化原则：我们到底需要它们吗？in：国际计算创造力会议，ICCC，2016年。 [56] 俄亥俄州蒙塔诺·里瓦斯。；麦卡斯兰，R。；Dixon，L.公司。；Bundy，A.，基于方案的归纳理论合成，（MICAI.MICAI，Lect.Notes Compute.Sci.，第6437卷（2010）），348-361 [57] Mossakowski，T.，《有序规范的共鸣》（Colimits of order-sorted specifications），（代数开发技术的最新趋势。代数开发技术最新趋势，Lect.Notes Compute.Sci.，第1376卷（1998年），Springer:Springer Berlin），316-332·Zbl 0902.18002号 [58] Mossakowski，T。；梅德尔，C。；Lüttich，K.，《异构工具集》，Hets，（系统构建和分析工具和算法国际会议，系统构建和解析工具和算法的国际会议，TACAS（2007），Springer Berlin Heidelberg），519-522 [59] Mossakowski，T。；Codescu，M。；Neuhaus，F。；Kutz，O.，《分布式本体、建模和规范语言-DOL》，（The Road to Universal Logic-Festschrift for The 50th birthday of Jean-Yves Beziau，第二卷。The Road for Universal逻辑学-Festchrift for Jean-Yves Be齐au 50 birthdayth of Jean.Yves贝齐奥，第二册，Stud.Universal.Log.（2015），Birkhä用户）·Zbl 1409.68284号 [60] Mosses，P.D.，CASL参考手册-通用代数规范语言的完整文档（2004），Springer·Zbl 1046.68001号 [61] Ontañón，S。；Plaza，E.，Amalgams：组合多案例解决方案的正式方法，（Bichidaritz，I.；Montani，S.，《基于案例的推理研究与开发》，《基于实例的推理研究和开发》，ICCBR（2010），Springer），257-271 [62] A.Pease，J.Corneli，《评估创造力》，摘自：《概念发明：基础、实施、社会方面和应用》，Springer，ISBN 978-3-319-65602-1，http://www.springer.com/de/book/9783319656014; A.Pease，J.Corneli，《评估创造力》，摘自：《概念发明：基础、实施、社会方面和应用》，Springer，ISBN 978-3-319-65602-1，http://www.springer.com/de/book/9783319656014 [63] Pereira，F.C.，《创造力的计算模型》（2005），科英布拉大学，博士论文 [64] Pereira，F.C.，《创造力和人工智能：概念融合方法》（2007），Mouton de Gruyter [65] F.C.Pereira，A.Cardoso，《船屋视觉融合实验》，载于《第二届创意系统研讨会论文集：人工智能和认知科学中的创意方法》，ECAI 2002年，法国里昂，2002年。；F.C.Pereira，A.Cardoso，《船屋视觉融合实验》，载于《第二届创意系统研讨会论文集：人工智能和认知科学中的创意方法》，ECAI 2002年，法国里昂，2002年。 [66] 佩雷拉，F.C。；Cardoso，A.，《概念融合的最优化原则：第一种计算方法》，AISB J.，1，4，351-370（2003） [67] 佩雷拉，F.C。；Cardoso，A.，《马鸟繁殖实验》，AISB J.，1，3，257-280（2003） [68] 佩雷拉，F.C。；Cardoso，A.，《诺尔郡迪瓦戈自由概念生成实验》-基于系统。，19, 7, 459-470 (2006) [69] Pierce，B.，《计算机科学家的基本范畴理论》（1991），麻省理工学院出版社·Zbl 0875.18001号 [70] 波雷洛，D。；Troquard，N。；Confalonieri，R。；加利亚尼，P。；库茨，O。；Peñaloza，R.，使用公理弱化修复社会聚合本体，（第20届多智能体系统原理与实践国际会议论文集。第20届多智能体系统原理与实践国际会议论文集，PRIMA 2017，10月30日-11月3日，法国尼斯（2017），施普林格）·Zbl 1498.68309号 [71] M.Quillian，语义记忆。语义信息处理，1968年。；M.Quillian，语义记忆。语义信息处理，1968年·Zbl 0187.13301号 [72] Ritchie，G.，《评估创造力》，（Wiggins，G.《AISB'01艺术与科学AI和创造力研讨会论文集》（2001年），3-11 [73] M.Schorlemmer、A.Smaill、K.-U.Kühnberger、O.Kutz、S.Colton、E.Cambouropoulos、A.Pease，《COINVENT:迈向计算概念发明理论》，载于：第五届国际计算创造力会议，ICCC，2014年。；M.Schorlemmer、A.Smaill、K.-U.Kühnberger、O.Kutz、S.Colton、E.Cambouropoulos、A.Pease，《COINVENT:迈向计算概念发明理论》，载于：第五届国际计算创造力会议，ICCC，2014年。 [74] M.Schorlemmer，R.Confalonieri，E.Plaza，《Yoneda通往佛教僧侣融合之路》，摘自：第一届认知与本体论国际研讨会，2016年CAOS，法国安纳西，2016年7月6日。；M.Schorlemmer，R.Confalonieri，E.Plaza，《Yoneda通往佛教僧侣融合之路》，摘自：第一届认知与本体论国际研讨会，2016年CAOS，法国安纳西，2016年7月6日。 [75] Schorlemmer，M。；Confalonieri，R。；Plaza，E.，相干概念发明，（Besold，T.R.；Kutz，O。；León，C.，《计算创造力、概念发明和一般智能研讨会论文集》，C3GI 2016，与第28届欧洲逻辑、语言和信息暑期学校合建。2016年8月20日至22日，与第28届欧洲逻辑、语言和信息暑期学校合办的C3GI 2016计算创造力、概念发明和一般智能研讨会论文集，意大利博赞博尔扎诺，ESSLLI 2016。计算创造力、概念发明和一般智能研讨会论文集，C3GI 2016，与第28届欧洲逻辑、语言和信息暑期学校合办。计算创造力、概念发明和一般智能研讨会论文集，C3GI 2016，与第28届欧洲逻辑、语言和信息暑期学校合办，ESSLLI 2016，Bozen-Bolzano，意大利，2016年8月20日至22日，CEUR研讨会论文集。，第1767卷（2016），CEUR-WS.org） [76] 施韦林，A。；克鲁姆纳克，美国。；Kühnberger，K.-U。；Gust，H.，启发式驱动理论投射的句法原则，认知。系统。决议，10，3，251-269（2009） [77] 阿曼特，R.St。；莫里森，C.T。；Chang，Y.-H。；科恩，P.R。；Beal，C.，图像模式语言，（国际认知建模会议，国际认知建模大会，ICCM（2006）），292-297 [78] Thagard，P.，《思想与行动的一致性》（2000），麻省理工学院出版社 [79] Thagard，P.，《大脑与生命的意义》（2010），普林斯顿大学出版社 [80] Thagard，P。；史都华，T.C.，AHA！经验：通过神经网络中的紧急绑定实现创造力，Cogn。科学。，35, 1, 1-33 (2011) [81] S.Trott，M.Eppe，J.Feldman，《从自然语言中识别意图：澄清对话和构建语法》，摘自：《人与机器人交互中的沟通意图研讨会》，2016年。；S.Trott，M.Eppe，J.Feldman，《从自然语言中识别意图：澄清对话和构建语法》，摘自：《人机交互中的沟通意图研讨会》，2016年。 [82] T.Veale，《从概念上的“混搭”到“劣质”混合：概念混合的稳健计算模型》，载于：国际计算创造力会议，国际计算机会议，2012年。；T.Veale，《从概念上的“混搭”到“糟糕的混合”：概念混合的稳健计算模型》，载于：国际计算创造力会议，ICCC，2012年。 [83] Veale，T。；Donoghue，D.O.，计算与混合，认知。语言学家。，11, 3-4, 253-282 (2000) [84] Veale，T。；Keane，M.，《硬类比结构映射的次优理论能力》（IJCAI（1997）），232-237 [85] 沃尔顿，L。；Worboys，M.，地理空间图像模式的代数方法，（第九届空间信息理论国际会议论文集。第九届国际空间信息理论会议论文集，法国COSIT（2009）），357-370 [86] Wiggins，G.A.，《描述、分析和比较创造性系统的初步框架》，Knowl-基于系统。，19, 7, 449-458 (2006) [87] M.Ẑnidarŝiĉ、A.Cardoso、P.Gervas、P.Martins、R.Hervas、A.Alves、H.Oliveira、P.Xiao、S.Linkola、H.Toivonen、J.Kranjc、N.Lavra，《在线软件合成的计算创意基础设施：概念混合用例》，摘自：国际计算创意会议，ICCC，法国巴黎，2016年7月1日。；M.Ẑnidarŝiĉ，A.Cardoso，P.Gervas，P.Martins，R.Hervas，A.Alves，H.Oliveira，P.Xiao，S.Linkola，H.Toivonen，J.Kranjc，N.Lavra，《在线软件合成的计算创意基础设施：概念混合用例》，摘自：国际计算创意会议，ICCC，法国巴黎，2016年7月1日。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。