Unverified50% confidenceFactExact time
组合范畴语法（CCG）由Mark Steedman在1980-90年代系统发展，理论根基来自Ajdukiewicz和Bar-Hillel的范畴语法传统
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
Unverified强化学习的理论根源可追溯至20世纪80年代Sutton与Barto的开创性工作61% similarUnverified规范驱动开发（SDD）的思想根源可追溯至1970年代的形式化方法和Dijkstra等人倡导的程序正确性证明理论60% similarUnverified持续集成（CI）的概念由 Grady Booch 于 1991 年首次提出，并由 Martin Fowler 与 Kent Beck 在 1990 年代末通过极限编程推广59% similarVerified多Agent系统的理论基础可追溯到上世纪80年代的分布式问题求解研究59% similarUnverifiedSDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/566450API
curl https://kongchang.com/api/v1/knowledge/claims/566450MCP
get_claim(id=566450)