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
An open logic framework for radio virtual training platform was proposed after system function analyzing and design.
通过系统功能分析和设计，提出了一个开放式的电台虚拟训练平台的逻辑框架。
Open the empty rules that you created in the first step, complete the rule logic, and test against test data.
打开您在第一步中创建的空规则，完成规则逻辑，并使用测试数据进行测试。
SOA includes a constraint design that facilitates changing information constraints as open standards are applied in higher processing layers toward business logic.
SOA包含一种约束设计，有利于将信息约束改变为应用于面向业务逻辑的更高处理层次的公开标准。
应用推荐