论文部分内容阅读
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
缺省理论中一种获取优先序的方法
【摘 要】
：
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨
【机 构】
：
中山大学逻辑与认知研究所,南京大学数学系
【出 处】
：
软件学报
【发表日期】
：
2003年9期
【基金项目】
：
国家自然科学基金，国家社会科学基金，高等学校博士学科点专项科研项目
其他文献
溪洛渡水电站是目前世界最大的地下发电厂，主厂房混凝土历时39个月施工完成，进度提前7个月。阐述左岸主厂房重点部位混凝土质量控制措施，以及监理在过程控制中解决的重点和难点
铅厂水电站围堰为枯期围堰，前期考虑围堰的结构型式为粘土心墙围堰。后由于粘土运距较远，取料比较困难，经多种方案比较，结合铅厂电站的实际情况，综合分析后确定围堰型式为土工膜心
邛名高速公路项目是由水电建设集团公司投资、集团路桥公司总承包、成员企业分包的“BOT＋总承包”特殊模式，以该工程为例全面具体的介绍该工程的管理，通过采用各种强有力的管理
党的十五大精神和《职业教育法》的颁布实施，给技工教育带来了新的发展机遇。然而，我国现行的技工教育体制，包括教育结构、教育内容、教育手段都是计划经济体制下形成的，已不再适
皂素生产废水具有色度大、有机物浓度高、酸度大、盐分高等特点，是一种处理难度较大的中药废水．探讨了用超临界水氧化处理皂素废水的实验条件，考察了温度、压力、停留时间、氧化
依据我国教育法，非义务教育是指职业中学（技校）、普通高中和普通高等学校等。目前，对非义务教育的本质认识不够深入，导致资金主要来自国家和地方的财政拨款，与非义务教育的原则相悖
讨论了青鸟面向对象软件建模工具JBOO(Jade Bird object-oriented)的设计和实现方法.对JBOO所支持的青鸟面向对象规范作了简介,对JBOO的系统结构和功能进行了详细地描述,并提
我校是一所县办技工学校，隶属于劳动部门，创办于１９８３年，有正式教工４２人。在市场经济的大潮中，我校也面临严峻的考验，生存难、发展更难。在困境中，一方面我们得到省、地劳动部门的指导，得到
农村职业学校为谁服务以及怎样服务的问题是一个不能不研究和解决的问题。本文试就农村职业学校的服务性进行探索。一、农村职业学校的服务内涵农村职业学校的服务性主要体现
在塑性力学中,主应力是表征材料应力状态的量。在应力张量主值三角函数解的基础上,推导了应力空间内主应力的通用解析式表达式,运用Fortran编写计算算例,与调用Fortran中IMSL