待验证50% 置信事实精确时间
符号主义由麦卡锡、明斯基等人奠基，LISP语言与专家系统是其代表成果
1
来源数
50%
置信度
长期有效
时效性
2026/7/15
首次发现
来源
相关事实
待验证1957年诺姆·乔姆斯基发表《句法结构》，用形式文法理论重新定义了语言的计算性描述56% 相似待验证JEPA思想根源可追溯至Karl Friston等人发展的预测编码理论，该理论认为大脑本质上是层级化预测机器56% 相似待验证有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论56% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构55% 相似已验证正则表达式的理论基础来自数学家Stephen Kleene在1950年代提出的正则语言理论55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/523972API
curl https://kongchang.com/api/v1/knowledge/claims/523972MCP
get_claim(id=523972)