Unverified50% confidenceFactExact time
Actor 模型是由 Carl Hewitt 在 1973 年提出的一种并发计算模型
1
Sources
50%
Confidence
Long-term
Relevance
8/25/2026
First Seen
Sources
Related Entities
Related Claims
Unverified多智能体系统的学术根基可追溯至1980年代的分布式人工智能研究，早期代表性工作包括Carl Hewitt于1973年提出的Actor模型和Victor Lesser主导的DVMT65% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法58% similarUnverifiedScryer Prolog 底层实现基于 WAM（Warren Abstract Machine），该模型由 David H.D. Warren 在 1983 年提出57% similarUnverified模拟假说（Simulation Hypothesis）由牛津大学哲学家Nick Bostrom于2003年提出54% similarUnverified状态爆炸问题最早由Edmund Clarke等人在1981年提出模型检验理论时系统性描述54% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/798013API
curl https://kongchang.com/api/v1/knowledge/claims/798013MCP
get_claim(id=798013)