跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
最近修改
隨機條目
資助維基百科
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
模板
:
Computable knowledge
4 種語言
العربية
فارسی
සිංහල
Tiếng Việt
編輯連結
模板
討論
澳門繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上載檔案
特殊頁面
靜態連結
頁面資訊
取得短網址
下載QR碼
維基數據項目
列印/匯出
下載為PDF
可列印版
其他專案
外觀
移至側邊欄
隱藏
維基百科,自由的百科全書
閱
論
編
可計算知識
概念
人類思維字母
規範控制
自動推理
常識知識庫
常識推理
(
英語
:
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)
分類
:
技術和應用科學導航模板