-
题名扩充与缺省规则的简化和分类
- 1
-
-
作者
傅丽
王国俊
-
机构
青海民族学学院
陕西师范大学数学研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第20期33-36,共4页
-
基金
国家自然科学基金资助项目(编号:60272022)
陕西师范大学重点基金资助项目
-
文摘
文章从缺省理论扩充的定义出发,在求扩充前根据缺省规则的特征,把对计算扩充没有影响的规则不予考虑,同时把具有不相容判断的规则分开考虑,也即就是在求扩充前对缺省规则进行适当的简化和分类,通过分析讨论给出了若干简化和分类的原则,从而使计算得以简化。
-
关键词
缺省规则
扩充
判断
相容性
简化原则
分类原则
-
Keywords
default rule,extension,justification,consisence,simplification principle,classification principle
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-