| 开放的限制理论 |
| |
| 引用本文： | 怀进鹏 李未. 开放的限制理论[J]. 计算机学报, 1994, 17(9): 641-651 |
| |
| 作者姓名： | 怀进鹏 李未 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| |
| 基金项目： | “863”高科技国家自然科学基金 |
| |
| 摘 要： | 本文基于开放逻辑理论，建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论，给出了谓词限制理论中新假设、事实反驳及伪事实反驳、Ｃ－重构、Ｃ－认识进程及其极限的定义，讨论了它们的性质并证明了有关的定理，进而描述了限制理论的动态特征－Ｃ－认识进程，证明了其极限定量，并比较了它与一般认识进程及限制理论的关系。
|
| 关 键 词： | 开放逻辑 限制理论 人工智能 |
AN OPEN CIRCUMSCRIPTION THEORY |
| |
| Huai Jinpeng and Li Wei. AN OPEN CIRCUMSCRIPTION THEORY[J]. Chinese Journal of Computers, 1994, 17(9): 641-651 |
| |
| Authors: | Huai Jinpeng and Li Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
