跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
模板
:
Computable knowledge
4种语言
العربية
فارسی
සිංහල
Tiếng Việt
编辑链接
模板
讨论
新加坡简体
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
维基数据项目
打印/导出
下载为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)
分类
:
技术和应用科学导航模板