混合式神经-符号人工智能

✍ dations ◷ 2025-08-25 15:43:49 #混合式神经-符号人工智能

混合式神经-符号人工智能(Neuro-symbolic AI)是整合神经网络人工智能及符号人工智能的架构,以解决这两种AI方法的优缺点互补的问题,提供能够推理、学习和认知建模的强大AI。正如瓦利安特和许多人所说, 想要有效建立具有丰富计算能力的认知模型,需要结合可靠的符号推理和高效的机器学习模型。盖瑞‧马可斯(Gary Marcus)认为:“如果没有混合架构、丰富的先验知识和复杂的推理技术这三驾马车,我们就无法以合乎需要、自动化的方式打造丰富的认知模型。”此外,“为了建构一种强大、知识驱动的人工智能方法,我们必须在套组中拥有符号处理机制。太多有用的知识是抽象的,若没有用于表示和操作抽象知识的工具,就难以堪用,而迄今为止,我们所知道的唯一能可靠操纵这种抽象知识的运转体系是符号处理机制。”

丹尼尔·卡尼曼的书《快思慢想 》中讨论了两种思维,Henry Kautz 、Francesca Rossi、和Bart Selman也主张综合法,其论点即基于解决《快思慢想 》中的这两种思维的需要。卡尼曼描述人类思维有两个部分“系统1和系统2”。

根据这种观点,深度学习适合处理第一种认知,符号推理适合处理第二种认知。两者都是强大、可靠的AI所必备的,可以学习、推理,并与人类互动以接受建议和回答问题。事实上,自1990年代以来,许多研究人员在人工智能和认知科学领域已经在研究明确提及这两种对比系统的双历程模型。

整合方法种类繁多。Henry Kautz提出的混合式神经-符号架构分类法以及一些例子如下:

这些类别并不全面,例如,未考虑多智能体系统。Bader和Hitzler在2005年提出了一个更详细的分类,像是考虑了符号使用是否包括逻辑,如果包括,逻辑是命题逻辑还是一阶逻辑。 2021年有篇文章对2005年的分类法和Kautz的分类法进行了比较和对比。2020年,Sepp Hochreiter认为图神经网络“......是混合式神经-符号计算的主要模型”,因为“它们描述了分子的属性,模拟社交网络,或预测物理以及工程应用中具有粒子-粒子相互作用的的未来状态。”

马可斯认为“......结合学习和符号操作的混合架构对于强大的智能是必要的,但还不够”, 并认为:

建立强大的人工智能需要四个先决的认知条件:

这呼应了早在1990 年代对混合模型的提倡。

Garcez和Lamb描述该领域的研究至少在过去二十年一直在进行(实际上到现在已经三十多年了)。自2005年以来,每年都会举办一系列关于混合式神经-符号人工智能的研讨会。早在1990年代初期就组织了一批关于该主题的初期研讨会。

许多关键的研究问题仍然存在,例如:

混合式神经-符号方法的具体实作如下:

相关

  • 氯喹氯喹(Chloroquine),是一种用于治疗及预防疟疾的药物,该药以磷酸盐的形式(即磷酸氯喹)应用于临床。若需治疗特定几种抗药病原株或复杂症状,则需配合其他抗疟药物。偶尔也会用于治疗
  • DailymotionDailymotion(中译:每日影像)是一家视频分享网站,总部位于法国巴黎十七区。它的域名在YouTube之后一个月注册。Dailymotion最广为人知的特点之一就是其提供支持开放格式ogg的视频
  • 巴基斯坦语言巴基斯坦国语是乌尔都语,但是仅有不到8%的人口的母语是乌尔都语。大部分人的母语都是印度-伊朗语族的各种语言,和乌尔都语有亲属关系、有或高或低的互通性。由于历史原因英语
  • 陈望道陈望道(1891年1月18日-1977年10月29日),原名明融,后改望道,字任重,号参一,笔名佛突、雪帆,浙江义乌人,中国学者、教育家。他参与了中国共产党的建立。主要从事进步语文运动和语文科学
  • 白凤鸣白凤鸣(1909年-1980年),男,北京人,“少白派”京韵大鼓始创人。中国曲艺家协会常务理事。自幼跟从父亲白晓山学艺,后向刘宝全、韩永禄、长兄白凤岩等学艺,逐渐形成“少白派”京韵大鼓
  • 百百麻子百百麻子(日语:百々 麻子,1967年11月8日-),日本女性配音员、舞台演员。贤Production所属。出身于神奈川县。原属剧团21世纪FOX(日语:劇団21世紀FOX)。B型血。※粗体字表示说明饰演的
  • AKS素性测试AKS素性测试(又被称为Agrawal–Kayal–Saxena素性测试和Cyclotomic AKS test)是一个决定型素性测试算法 ,由三个来自印度坎普尔理工学院(英语:Indian Institute of Technology Ka
  • 管稷管稷(?-?),字子安,浙江绍兴府余姚县人,军籍,明朝政治人物。浙江乡试第七名举人。隆庆五年(1571年)中式辛未科二甲第六十三名进士。曾祖管铭;祖父管淮;父管奎,母陈氏。
  • 有田川町有田川町(日语:有田川町/ありだがわちょう  */?)是位于日本和歌山县北部的行政区划。辖区大部分地区都为山区,有田川从中由东向西贯穿,主要市区位于西部有田川南岸。蜜柑为本地
  • 文心雕龙校证《文心雕龙新书》是由王利器校勘《文心雕龙》的著作,1951年7月由巴黎大学北京汉学研究所出版。作为配套,在1952年10月由同一出版社出版了《文心雕龙通检》(又名《文心雕龙新书通检》),两书都被编入《通检丛刊》第十五卷中。此书经修订之后又更名为《文心雕龙校证》,正文连序录、附录一共23万字,1980年出版。王利器在四川大学就读的时候向向宗鲁学习,打下了校雠的基础,他的本科毕业论文正是《风俗通义校注》。他在北京大学任教的时候,傅斯年安排了他教授“校勘学”课和《文心雕龙》课,其中“校勘学”讲授了“古书旧式”与