待验证50% 置信事实精确时间
组合范畴语法（CCG）由Mark Steedman在1980-90年代系统发展，理论根基来自Ajdukiewicz和Bar-Hillel的范畴语法传统
1
来源数
50%
置信度
长期有效
时效性
2026/7/20
首次发现
来源
相关事实
待验证强化学习的理论根源可追溯至20世纪80年代Sutton与Barto的开创性工作61% 相似待验证规范驱动开发（SDD）的思想根源可追溯至1970年代的形式化方法和Dijkstra等人倡导的程序正确性证明理论60% 相似待验证持续集成（CI）的概念由 Grady Booch 于 1991 年首次提出，并由 Martin Fowler 与 Kent Beck 在 1990 年代末通过极限编程推广59% 相似已验证多Agent系统的理论基础可追溯到上世纪80年代的分布式问题求解研究59% 相似待验证SDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/566450API
curl https://kongchang.com/api/v1/knowledge/claims/566450MCP
get_claim(id=566450)