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% similarVerifiedThe theoretical foundations of multi-agent systems can be traced back to distributed problem-solving research in the 1980s.59% similarUnverifiedThe intellectual roots of SDD (Specification-Driven Development) can be traced back to the concept of 'Design by Contract' proposed by Bertrand Meyer in the 1980s.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)