Unverified50% confidenceFactExact time
状态爆炸问题最早由Edmund Clarke等人在1981年提出模型检验理论时系统性描述
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
Unverified认知科学家 Philip Johnson-Laird 在1983年进一步发展了心智模型理论，指出心智模型允许人类进行离线推理59% similarUnverified阿兰·阿斯佩在1982年进行了验证量子纠缠的实验58% similarUnverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法57% similarUnverified论文首次提出模型在反直觉场景中的谬误与反物理失败在本质上是同源的57% similarUnverified多智能体系统的学术根基可追溯至1980年代的分布式人工智能研究，早期代表性工作包括Carl Hewitt于1973年提出的Actor模型和Victor Lesser主导的DVMT57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/533799API
curl https://kongchang.com/api/v1/knowledge/claims/533799MCP
get_claim(id=533799)