论文部分内容阅读
文章从缺省理论扩充的定义出发，在求扩充前根据缺省规则的特征，把对计算扩充没有影响的规则不予考虑，同时把具有不相容判断的规则分开考虑，也即就是在求扩充前对缺省规则进行适当的简化和分类，通过分析讨论给出了若干简化和分类的原则，从而使计算得以简化。
扩充与缺省规则的简化和分类
【摘 要】
：
文章从缺省理论扩充的定义出发，在求扩充前根据缺省规则的特征，把对计算扩充没有影响的规则不予考虑，同时把具有不相容判断的规则分开考虑，也即就是在求扩充前对缺省规则进行适当
【机 构】
：
青海民族学学院,陕西师范大学数学研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年20期
【基金项目】
：
国家自然科学基金资助项目(编号:60272022),陕西师范大学重点基金资助项目
其他文献
安全服务质量(QoSS)是评价安全系统能否满足用户安全功能需求的重要指标。论文首先给出了基于QoSS的安全服务向量的形式化定义，以方便用户表达和规范化各自的安全需求。然后，在
电视剧《茶马古道》曾在中央电视台热播，剧中有一首主题歌这样唱道：“前面那座山，你是什么山？过了昌都寺，才能到雅安。巴塘奶茶甜，理糖糌粑香。过了八宿，就到芒康……”
实验室是高校锻炼大学生实践能力和提升创新能力、开展人才培养和社会服务活动的重要场所。通过对高校化学化工实验室普遍存在的安全问题及产生原因的总结,探讨出一套行之有
提出一种动静态光散射颗粒折射率测量方法．该方法分为三部分，一部分是用动态光散射技术测得颗粒样品的线宽分布函数，然后将此线宽分布连同一组折射率值代入静态光散射公式推算出
深度报道起源于20世纪40年代,是对舆论所关注的社会热点进行多层次、全方位的解剖,对广阔社会背景下民生关切的、重大的或者系列性事实进行报道。新闻策划是指对已经发生或将
中国特色社会主义进入了新时代,我国社会主要矛盾已经转化为人民日益增长的美好生活需要和不平衡不充分的发展之间的矛盾。衣食住行是支撑人民美好生活最重要的基础,新时代的
腰椎后关节紊乱症，为腰椎后关节错缝、腰椎后关节半脱位、腰椎后关节炎之统称，系伤科软伤常见的多发病，也是引起腰痛的常见的原因之一。损伤腰部一侧疼痛明显，而任何动作均可引起
目的 探讨心理护理在儿童预防接种中的效果.方法 选取2011年1-10月在我院防保科进行预防接种的520例儿童为研究对象,将其随机分为对照组（非心理护理组,260例）和观察组（心理护理