×

McCulloch-Pitts论文从数学逻辑的角度出发。 (英语) Zbl 1446.03040号

Sandro Skansi(编辑),深度学习基础指南。逻辑、历史和哲学观点。查姆:斯普林格。7-12 (2020).
摘要:我们从当代数理逻辑的角度分析了1943年McCulloch-Pitts关于神经网络逻辑演算的开创性论文[W.S.McCulloch公司W.Pitts公司,公牛。数学。生物物理学。5, 115–133 (1943;Zbl 0063.03860号)]. 最初是作为卡尔纳普语言II的一个片段提出的,在本章中,所引用的演算被视为具有过去时形式的简单命题时间语言。我们用这种语言重写了McCulloch-Pitts论文主要结果的证明。
关于整个系列,请参见[Zbl 1435.68042号].

MSC公司:

03B44号 时间逻辑
92B20型 生物研究、人工生命和相关主题中的神经网络
92C20美元 神经生物学
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Carnap R(1938)语言的逻辑句法。Harcourt,Brace and Company,纽约
[2] Kleene S(1956)神经网络和有限自动机中事件的表示。收录:Shannon C,McCarthy J(编辑)《自动化研究》。普林斯顿大学出版社,第3-41页
[3] McCulloch WS·Zbl 0063.03860号 ·doi:10.1007/BF02478259
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。