模板:Computable knowledge - 维基百科，自由的百科全书

查论编可计算知识

概念	人类思维字母规范控制自动推理常识知识库常识推理（英语：Commonsense reasoning）可计算性发现系统（英语：Discovery system (AI research)）形式系统推理机知识库知识库系统（英语：Knowledge-based systems）知识工程（英语：Knowledge engineering）知识提取（英语：Knowledge retrieval）知识图谱知识表示图书分类法逻辑编程本体论问答系统语义推理器（英语：Semantic reasoner）

提议与实施	安提基特拉机械（公元前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) World Brain（英语：World Brain） (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)