| 开放的缺省理论 |
| |
| 引用本文： | 怀进鹏,李未.开放的缺省理论[J].计算机学报,1994,17(9):652-661. |
| |
| 作者姓名： | 怀进鹏 李未 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| |
| 基金项目： | 国家“863”高科技计划国家自然科学基金 |
| |
| 摘 要： | 本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ，Ｗ＞扩充Ｅ的新假设，事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理，本文还建立了缺省理论的一个动态描述过程，证明了其极限是某一特定问题的经验公式集，最后与相关工作进行了比较。
|
| 关 键 词： | 缺省理论 开放逻辑 非单调逻辑 |
AN OPEN DEFAULT THEORY |
| |
| Huai Jinpeng and Li Wei.AN OPEN DEFAULT THEORY[J].Chinese Journal of Computers,1994,17(9):652-661. |
| |
| Authors: | Huai Jinpeng and Li Wei |
| |
| Abstract: | Based on open logic,some concepts such as new premise,rejection by facts,e-reconstruction, e-epistemic process and its limit,are defined for the default theory T=(D,W).The extensions'properties,when W changing,are studied,and the related theorems proved.Further,dynamic characteristics about the default theory is built to describe its non-monotonicity and its limit theorem is proved. Finally the work is compared with the related work. |
| |
| Keywords: | New premise rejection by facts default theory open logic epistemic process |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
