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

導覽菜單

搜尋