模板:Computable knowledge

查论编可计算知识
概念	人类思维字母规范控制自动推理常识知识库 Lua错误：attempt to index field 'wikibase' (a nil value)。可计算性 Lua错误：attempt to index field 'wikibase' (a nil value)。形式系统推理机知识库 Lua错误：attempt to index field 'wikibase' (a nil value)。 Lua错误：attempt to index field 'wikibase' (a nil value)。 Lua错误：attempt to index field 'wikibase' (a nil value)。知识图谱知识表示图书分类法逻辑编程本体论问答系统 Lua错误：attempt to index field 'wikibase' (a nil value)。
提议与实施	安迪基西拉机械装置（公元前100年） Zairja Ars Magna (1300) An Essay towards a Real Character, and a Philosophical Language (1688) Calculus ratiocinator and 通用表意文字 (1700) 杜威十进制图书分类法 (1876) 概念文字 (1879) Mundaneum (1910) Logical atomism (1918) 逻辑哲学论 (1921) 希尔伯特计划 (1920s) 哥德尔不完备定理 (1931) Lua错误：attempt to index field 'wikibase' (a nil value)。 (1938) Memex (1945) General Problem Solver (1959) Prolog (1972) Cyc (1984) 语义网 (2001) Wikipedia (2001) Evi (2007) Wolfram Alpha (2009) Watson (2011) Siri (2011) Google知识图谱 (2012) 维基数据 (2012) Cortana (2014) Viv (2016)
虚构作品	The Engine (格列佛游记, 1726) Joe ("A Logic Named Joe", 1946) The Librarian (Snow Crash, 1992) Dr. Know (A.I. (film), 2001) Waterhouse (The Baroque Cycle, 2003)

导航菜单

搜索