马丁内斯，M。;阿卜杜勒·法塔赫，A.M.H。;美国克鲁姆纳克。;Gómez-Ramírez，D。;A.斯迈尔。;T·R·贝索尔德。;豌豆，A。;施密特，M。;M.顾和。;Kühnberger，英国-英国。 理论融合：扩展算法方面和示例。 （英语） Zbl 1409.68281号 安。数学。Artif公司。智力。 80，第1号，65-89（2017）. 摘要：在认知科学中，概念融合被认为是一种重要的认知机制，通过对现有知识的有限组合，促进新概念和新思想的产生。因此，它为建模高级认知能力（如理解、学习和创建新概念和理论的能力）提供了可能的理论基础。新数学理论和结果的发展往往是基于以前独立概念的组合，甚至可能源于不同的数学分区。概念融合承诺提供一个框架，用于通过计算手段对这种形式的数学概念发明进行建模和重新创建。本文描述了一个基于逻辑的框架，该框架允许对理论融合进行形式化处理（概念融合的一般概念的一个子形式，在数学应用中具有高度相关性），讨论了框架内用于融合的交互式算法，并提供了几个数学示例。 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 00A35型 数学方法论 68分20秒 人工智能背景下的问题解决（启发式、搜索策略等） 68立方英尺 知识表示 关键词：概念融合;启发式理论投影 PDF格式BibTeX公司 XML格式引用 \textit{M.Martinez}等人，Ann.数学。Artif公司。智力。80，第1号，65-89（2017；Zbl 1409.68281） 全文： 内政部 链接 参考文献： [1] Abdel-Fattah，A.M.H.，Krumnack，U.，Kühnberger，K.U.：两种认知机制在分析反事实中的重要性：面向实现的解释。摘自：《认知系统的进展》，巴尔的摩（2013） [2] 亚历山大，J.：数学混合。Semotica 2011（187），1-48（2011）·doi:10.1515/2011年12月06日 [3] Besold，T.R.、Kühnberger，K.U.、Plaza，E.：类比、汞合金和概念混合。收录于：认知系统进步第三届年会论文集（ACS 2015），海报集。CogSys.org（2015）·Zbl 0919.68087号 [4] Besold，T.R.，Plaza，E.：泛化与融合：基于泛化、类比和混合的概念融合。摘自：第六届计算创造力国际会议记录（ICCC 2015）。杨百翰大学（2015）·Zbl 0919.68087号 [5] Bou，F.，Schorlemmer，M.，Corneli，J.，Gómez-Ramírez，D.，Maclean，E.，Smaill，A.，Pease，A.：混合在数学发明中的作用。摘自：《第六届国际计算创造力会议论文集》，《计算机科学讲义》，第1342卷（2015） [6] Cicerone，S.，Parisi-Presicce，F.：关于规范形态的复杂性。西奥。计算。科学。189（1-2）、239-248（1997）·Zbl 0893.68100号 ·doi:10.1016/S0304-3975（97）00106-0 [7] Colton，S.，Ramezani，R.，Llano，M.T.：HR3发现系统：设计决策和实现细节。摘自：Kibble，R.（编辑）AISB 50周年公约会议记录（2014年） [8] Confalonieri，R.，Corneli，J.，Pease，A.，Plaza，E.，Schorlemmer，M.：使用论证评估组合创造力中的概念融合。摘自：第六届计算创造力国际会议记录（ICCC 2015）。杨百翰大学（2015） [9] Coulson，S.：语义跳跃：意义构建中的框架转移和概念融合。剑桥大学出版社，剑桥（2006） [10] Diaconescu，R.：机构的额外理论形态：多仿生语言的逻辑语义。申请。类别。结构。6(4), 427-453 (1998) ·Zbl 0919.68087号 ·doi:10.1023/A:1008607717635 [11] Eppe，M.、Maclean，E.、Confalonieri，R.、Schorlemmer，M.，Kutz，O.、Plaza，E.：ASP、合并和概念混合工作流。收录于：Calimeri，F.，Ianni，G.，Truszczynski，M.（编辑）《逻辑编程和非单调推理：第13届国际会议》，LPNMR 2015，《人工智能讲义》，第9345卷。施普林格（2015）·Zbl 1467.68165号 [12] Fauconnier，G.，Turner，M.：我们的思考方式：概念融合和大脑隐藏的复杂性。《基础图书》，纽约（2002年） [13] Gentner，D.：结构映射：类比的理论框架。认知。科学。7(2), 155-170 (1983) ·doi:10.1207/s15516709cog0702_3 [14] Goguen，J.，Andler，D.，Ogawa，Y.，Okada，M.，Watanabe S.：认知空间和时间的数学模型。《推理与认知：推理与认知跨学科会议论文集》，第125-128页。庆应义塾大学出版社（2006） [15] Gómez-Ramírez，D.：概念融合是数学概念的创造性元生成器：素理想和dedekind域的融合。收录于：Besold，T.R.、Kühnberger，K.U.、Schorlemmer，M.、Smaill，A.（编辑）第四届计算创造力、概念发明和一般智能国际研讨会论文集，认知科学研究所出版物，第02-2015卷，第1-11页。认知科学研究所（2015） [16] Kutz，O.，Neuhaus，F.，Mossakowski，T.，Codescu，M.：融合在中心：走向计算概念发明平台。摘自：第五届计算创造力国际会议记录（ICCC 2015）。Jozef Stefan研究所（2014） [17] Lakoff，G.，Nuñezá，R.：数学从何而来：具身心灵如何产生数学。《基础图书》，纽约（2000年）·Zbl 0987.0003号 [18] Lee，M.，Barnden，J.：反事实中概念融合的计算方法。认知科学研究论文CSRP-01-10，计算机科学学院。伯明翰大学（2001） [19] Li，B.，Zook，A.，Davis，N.，O’Riedl，M.：目标驱动的概念融合：创造力的计算方法。在：第三届计算创造力国际会议论文集（ICCC 2015）。都柏林大学学院（2012） [20] MacNish，C.K.，Antoniou，G.：非单调知识系统的规范态射。收录于：Sattar，A.（编辑）《知识表示与推理》，计算机科学课堂讲稿，第1342卷，第246-254页。斯普林格（2005） [21] Manna，Z.，Zarba，C.：合并决策程序。摘自：《十字路口的形式方法：从灵丹妙药到基础支持》，LNCS 2787，第381-422页。斯普林格（2003）·Zbl 1274.68078号 [22] Martinez，M.、Krumnack，U.、Smaill，A.、Besold，T.R.、Abdel-Fattah，A.、Schmidt，M.，Gust，H.、Kühnberger，K.U.、Guhe，M、Pease，A.：理论融合的算法方面。载于：Aranda-Corral，G.，Martn-Mateos，F.，Calmet，J.（编辑）《第十二届人工智能和符号计算国际会议论文集》。LNAI，施普林格（2014）·Zbl 1409.68281号 [23] Martins，P.，Urbanci，T.，Pollak，S.，Lavrac，N.，Cardoso，A.：好的，坏的，还有啊哈！混合物。摘自：第六届计算创造力国际会议记录（ICCC 2015）。杨百翰大学（2015） [24] Mossakowski，T.、Maeder，C.、Codescu，M.：Hets用户指南0.99版（2014年）。http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/UserGuide.pdf [25] Pereira，F.C.：创意与人工智能：概念融合方法。认知语言学的应用。Mouton de Gruyter，柏林（2007） [26] 普洛金，G.D.：关于归纳推广的注释。机器。智力。5, 153-163 (1970) ·Zbl 0219.68045号 [27] Schiralli，M.，Sinclair，N.：对“数学从何而来”的建设性回应。教育。学生数学。52, 79-91 (2003) ·doi:10.1023/A:1023673520853 [28] Schmidt，M.，Krumnack，U.，Gust，H.，Kühnberger，K.U.：启发式驱动理论投影：概述。摘自：《类比推理的计算方法：当前趋势，计算智能研究》，第548卷，第163-194页。斯普林格（2014）·Zbl 1341.68232号 [29] Veale，T.：作为语言理论测试的可计算性。收录：克里斯蒂安森·G、阿查德·M、迪文·R、鲁伊兹·德门多扎·伊巴内兹·F（编辑）《认知语言学：当前应用和未来展望》。Mouton DeGruyter，海牙（2006） [30] Veale，T.：一个概念混合的稳健计算模型。摘自：第三届计算创造力国际会议记录（ICCC 2015）。都柏林大学学院（2012） [31] Veale，T.，O'Donoghue，D.：计算和混合。计算。语言。11 (3-4), 253-282 (2000). 概念融合专题 [32] 肖，P.，林科拉，S.：视觉：用图像创造意义。摘自：第六届计算创造力国际会议记录（ICCC 2015）。杨百翰大学（2015） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。