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.
本文基于开放逻辑理论,给出了缺省理论T=<D,W>扩充E的新假设,事实反驳、e-重构、e-认识进程及其极限等概念的意义,讨论了W变化时新扩充的变化规律,并证明了相关的定理,本文还建立了缺省理论的一个动态描述过程,证明了其极限是某一特定问题的经验公式集,最后与相关工作进行了比较。
参考来源 - 期刊学术社区·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐