Template:Computable knowledge
可计算知识 |
|---|
| 概念 |
- 人类思维字母
- 规范控制
- 自动推理
- 常识知识库
- Lua错误：attempt to call field 'isExist' (a nil value)。
- 可计算性
- Lua错误：attempt to call field 'isExist' (a nil value)。
- 形式系统
- 推理机
- 知识库
- Lua错误：attempt to call field 'isExist' (a nil value)。
- Lua错误：attempt to call field 'isExist' (a nil value)。
- Lua错误：attempt to call field 'isExist' (a nil value)。
- 知識圖譜
- 知识表示
- 图书分类法
- 逻辑编程
- 本体论
- 問答系統
- Lua错误：attempt to call field 'isExist' (a nil value)。
|
|---|
| 提议与实施 | |
|---|
| 虚构作品 |
- 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)
|
|---|