Unverified50% confidenceFactExact time
语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出
1
Sources
50%
Confidence
Long-term
Relevance
7/7/2026
First Seen
Sources
「随机鹦鹉」再辨：Emily Bender论LLM的理解与意义之争
hackernewshackernews7/6/2026
Related Claims
Unverified形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基58% similarUnverified线性类型由 Philip Wadler 于1990年提出，为 Rust 的移动语义奠定基础57% similarUnverified面向智能体编程（Agent-Oriented Programming, AOP）的概念由以色列计算机科学家Yoav Shoham在1993年首次提出56% similarUnverified技术奇点概念由数学家Vernor Vinge在1993年正式引入AI讨论，并经由Ray Kurzweil的著作广泛传播56% similarUnverified图式理论最早由心理学家弗雷德里克·巴特利特于1932年提出，后经大卫·鲁梅尔哈特于20世纪70年代系统化发展56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/170922API
curl https://kongchang.com/api/v1/knowledge/claims/170922MCP
get_claim(id=170922)