【摘 要】
：
基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语
【机 构】
：
南京航空航天大学计算机科学研究所,南京大学软件新技术国家重点实验室
论文部分内容阅读
基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。
Based on the structure of all-order partition, this paper gives a unified definition of the belief revision operation, the belief revision operation and the reconstruction operation in the open logic theory, and analyzes the inherent relations and essential differences between the three. It proves that in the original knowledge When the library is a logical closed statement set and the logical closedness of the operation result is ignored, the operation results of the three kinds of operations are consistent.
其他文献
【摘 要】 随着高校招生规模急剧扩大，素有“皇帝女儿不愁嫁”的研究生也出现了就业难的问题，笔者结合自身多年从事研究生就业工作的体会，对研究生就业难的现状进行了分析并提出相应对策。 【关键词】 研究生；就业难；对策 【中图分类号】D829.1【文献标识码】B【文章编号】2095-3089（2013）4-000-01 长期以来，研究生一直是香饽饽，社会竞相争抢的高级人才，素有“皇帝的女儿不愁嫁”
高等教育学费问题一直是社会关注的热点.本文在对高等教育收费理论分析的基础上,从高等教育成本、学生及其家庭支付能力、高等教育预期净收益和政府、社会责任角度探讨了高等
【摘 要】 随着信息化教育的深入发展，大批高职院校建设网络教育平台，建设是第一步，后期的运行维护更加重要，只有做好平台的维护工作，才能使师生真正从网络教学平台中受益。本文从平台的定义、优点、建设平台的必要性、可能性、平台的建设过程一一展开介绍。 【关键词】 信息化教育；网络教学平台；交互性；开放性 【中图分类号】G640【文献标识码】A【文章编号】2095-3089（2013）4-000-01
【摘 要】 本文针对大众化教育背景下的学生学习质量明显下降的现象，通过查阅资料、问卷调查的方法对学习成绩低劣的学生进行调查，根据调查结果分析造成大学生学习质量下降的成因主要是由于学习动机、学习兴趣、自控力、学习方法等方面，并根据成因分析提出了几点对策和建议。希望对我国高等教育质量的提高作一些参考。 【关键词】 大学生；高等教育；质量低劣；教育质量 【中图分类号】G64【文献标识码】A【文章编号
【摘 要】 为提高《中国近现代史纲要》课教学实效性，本文从教学内容的整合、教学方法的灵活运用、实践教学环节的设计及多媒体教学优势的发挥等方面进行了深入的探析，阐述如何增强教学实效性问题。 【关键词】 中国近现代史纲要；实效性 【中图分类号】G64.23【文献标识码】A【文章编号】2095-3089（2013）4-000-02 《中国近现代史纲要》课（以下简称“纲要”课）是高校思想政治理论课“
【摘 要】 清华国学研究院为中国近现代培养造就了许多栋梁之材，同时为现代中国的思想文化开创了一种新的学风和学统，力倡中西文化的会通与兼容，强调学术独立，思想自由。在中西文化交流日益频繁的今天，我们有必要从清华国学研究院的成功创办中汲取有益的经验教训，来发展我国的高等教育。 【关键词】 清华国学研究院；高等教育；启示 【中图分类号】G64.20【文献标识码】A【文章编号】2095-3089（20
【摘 要】 本文从讨论式教学法的内涵出发，分析了讨论式教学法的优点，并以心理学中的社会互赖理论、需要层次理论、最近发展区理论等经典理论为依据，证明了实施讨论式教学法的有效性和必要性，再从多角度探析了其使用技巧。 【关键词】 讨论式教学法；心理学；使用技巧 【中图分类号】G64【文献标识码】B【文章编号】2095-3089（2013）4-00-01 随着新课程改革在全国范围内的，越来越多的教师
【摘 要】 近年来，农村留守儿童受已经受到社会的广泛关注。留守儿童是以我国城市化进程的快速发展与农村劳动力的大量转移而逐步形成的一类特殊群体。随着我国城市化发展不步伐的加快，农村留守儿童的数量不断的在大量增长。然而，高职学生与留守儿童的牵手项目的发展，不仅有利于留守儿童的学习能力的提高，同时对高职学院的管理，社会的稳定，以及高职学生的实践能力的提高均有很大的帮助。 【关键词】 高职学生；留守儿童
【摘 要】 围绕院校教育模式转型，针对目前院校在任职培训阶段，实践教学模式单一和可用于教学现役装备短缺等特点，开展虚拟现实技术在任职培训实践教学中的应用研究，探讨虚拟现实技术及其特点，分析虚拟现实技术在任职培训中的作用，对改善实践教学现状，形成任职培训实践教学体系具有较为重要的作用，可增强任职教育的导向性，促进参训学员知识向能力素质的转化，提高岗位任职能力。 【关键词】 任職培训；虚拟现实技术；
【摘 要】 党校图书馆是党校的文献信息中心，服务是党校图书馆永恒的主题，也是党校图书馆的终极目标，为读者服务奠定良好的物质基础，完善制度建设，重视馆员素质提高，通过馆员创造性工作，为读者提供优质服务。 【关键词】 党校；图书馆；管理；服务；策略 【中图分类号】G647【文献标识码】A【文章编号】2095-3089（2013）4-00-01 图书馆是党校的三大支柱之一，是党校教学科研的信息中心