模板: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)