【摘 要】
：
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论
【机 构】
：
中国科学院计算技术研究所智能信息处理重点实验室,国网山东省电力公司电力科学研究院
论文部分内容阅读
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论（T,？）的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时,还存在贪婪缺省理论（T,？）的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.
其他文献
利用驻极体的开缝效应可以制作驻极体电动机。阐明了这种电动机的基本原理，并简要介绍了以此理论为基础而设计的实验样机的基本构思。
他是贵州1949年以来第二位落马的正部级高官，是近年来全国第四位落马的省政协主席，还是中共十七届四中全会闭幕后短短35天内第三位落马的省部级官员。种种迹象表明，一场新的反腐风暴正在全国掀起。 10月底，从贵州传出一条消息，贵州省政协主席黄瑶涉嫌严重违纪，已于10月23日被中纪委“带走”。 在贵州，黄瑶是排在省委书记、省人大常委会主任石宗源和省长林树森之后的第三号人物。而在他出事前，无论是贵
通过对电场中粒子荷电机理的分析，从理论上计算出电除尘器在捕集粉尘过程中所消耗的电场电流。
吴堡县位于陕西省东北部，扼秦晋之交通耍冲，是陕西通往华东、华北的桥头堡，也是青银高速及太中银铁路进入陕北的第一站。优越的区位优势，给吴堡城乡建设提出了更高的要求。近年来
棚栽业是安塞农业现代化建设的主导产业之一，著名的侯沟门村也因此成为安塞新农村建设的一面旗帜。但是，棚栽业却没有能够让刘坪受益，有的村民甚至还欠下了债。在政府引导与农民意愿的磨合中，安塞棚栽业渐渐驶入良性发展的轨道。 安塞县侯沟门村是较早发展大棚蔬菜的村子，全村280户，80％都有大棚。这个村子不光种菜的农户多，还有一个特点就是只种黄瓜，每年产黄瓜400多万斤，是真正的“一村一品”。 200
当代青年性成熟提前,结婚年龄推迟,生活方式与条件环境的改变,西方性观念的影响,以致未婚青年中的性行为增加,这会引起一系列社会问题,如必然导致未婚妊娠和未婚人工流产的增
对应力波理论和波的反射定律探讨，分析可以利用波形曲线判断桩身质量的理论基础，为正确选择，匹配仪器及判断桩身质量理论依据。
舒适是人类的基本需求，舒适护理是通过对护理活动和舒适的研究，使人在心理、生理、社会交往上达到最愉快的状态或降低其不愉快的程度，使患者身心处于最佳状态，以便更好地配合治疗
阐述采用“逆作法”施工、地下连续墙兼作主体结构的优点，针对目前此种结构物设计中不考虑施工过程，将地下连续墙与主体结构分离计算等种种不足，提出了考虑施工进程的整体计算方
走进延川县，大片平整后的土地和如火如荼的建设热潮扑面而来，不时有经过的市民停下脚步，讨论一下这未来的新城镇。伴随着“加快发展、转型发展”号角声，一个全新的延川县正在城乡