锡,佩尔科夫 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美元 神经生物学 关键词:Pitts-Mcculloch纸;卡纳普的语言II;具有循环的网络;相对抑制;命题时间语言 引文:Zbl 0063.03860号 PDF格式BibTeX公司 XML格式引用 \textit{T.Perkov},in:深度学习基础指南。逻辑、历史和哲学观点。查姆:斯普林格。7-12(2020年;Zbl 1446.03040) 全文: 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。