待验证50% 置信事实精确时间
Actor 模型是由 Carl Hewitt 在 1973 年提出的一种并发计算模型
1
来源数
50%
置信度
长期有效
时效性
2026/8/25
首次发现
来源
涉及实体
相关事实
待验证多智能体系统的学术根基可追溯至1980年代的分布式人工智能研究,早期代表性工作包括Carl Hewitt于1973年提出的Actor模型和Victor Lesser主导的DVMT65% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法58% 相似待验证Scryer Prolog 底层实现基于 WAM(Warren Abstract Machine),该模型由 David H.D. Warren 在 1983 年提出57% 相似待验证模拟假说(Simulation Hypothesis)由牛津大学哲学家Nick Bostrom于2003年提出54% 相似待验证状态爆炸问题最早由Edmund Clarke等人在1981年提出模型检验理论时系统性描述54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/798013API
curl https://kongchang.com/api/v1/knowledge/claims/798013MCP
get_claim(id=798013)