Unverified50% confidenceFactExact time
自动定理证明的历史可追溯至1956年，Allen Newell和Herbert Simon开发的Logic Theorist被认为是第一个自动推理程序
1
Sources
50%
Confidence
Long-term
Relevance
8/30/2026
First Seen
Sources
Related Entities
Related Claims
Unverified西蒙与艾伦·纽厄尔共同开发了'逻辑理论家'和'通用问题求解器'等早期AI程序73% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论73% similarUnverified1965年J.A. Robinson提出的Resolution方法成为一阶逻辑自动推理的基石72% similarUnverified1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算68% similarUnverified物理符号系统假说由Allen Newell和Herbert Simon在1976年提出67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/824103API
curl https://kongchang.com/api/v1/knowledge/claims/824103MCP
get_claim(id=824103)