【摘 要】
:
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L, 并给出其语义和公理系统
【机 构】
:
吉林大学计算机科学系吉林大学符号计算与知识工程开放实验室!长春130023; 吉林大学计算机科学系吉林大学符号计算与知识工程开放?;
【基金项目】
:
国家自然科学基金;863 计划资助课题
论文部分内容阅读
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L, 并给出其语义和公理系统
其他文献
在印刷包装行业中,凹版印刷以其墨层厚实、色彩鲜艳、耐印力高等许多优点广泛应用于各种印刷领域。生产过程中实现对承印物张力的高精度控制是保证产品质量的关键技术之一。
Fenton法是高级氧化技术的典型代表。采用Fenton法及其各种联合方法处理难降解有机废水,是水处理领域的一个研究重点。综述了Fenton法、超声波Fenton法、电Fenton法、光Fento
职业教育集团化办学是利用有限的资源促进职业教育发展,职业教育集团化发展的理论基础有产业集聚理论、价值链理论、交易费用理论、产权理论等。在相关理论的指导下,河南省通
论述了高职教育集团化发展"河南模式"可持续发展的内涵,分析了高职教育集团化发展"河南模式"可持续发展的影响因素,指出了实现高职教育集团化发展"河南模式"可持续发展的潜在
<正> 5年前,富于创新精神而深谋远虑的菱方圆家具集团将业务拓宽到国外,开始在海外投资,以寻求更大的发展空间。1997年11月4日,在美国纽约市布鲁克林区三大道37街
界画家通过对客观物象作深入透彻的理解,结合艺术的审美规则,把本来生硬规整的物象,描绘出细腻生动的韵味,结合优秀界画来分析结构、笔法、颜色及透视在画面中的具体运用,让
本研究采用碾碎法首次对块根芍药的内生菌进行分离,获得11株内生细菌。通过琼脂扩散法进行拮抗试验,结果表明,其中XJU-PA-6对植物致病菌有很强的拮抗能力。依据形态特征、生
养老保险是社会保障的核心要素,养老保险制度是实施国民收入再分配的一种手段和方式,国民收入的初次分配强调效率,国民收入的再次分配则强调公平。因此,养老保险的实施将可能
对煤气化废水的超临界水氧化处理效果开展了探索性实验研究,以污水、污泥处理达标为目标,对过程中的工艺条件及有害物质的去除效果进行了研究和评价,结果表明,优化条件下无需
海洋石油开发历经了合作、自营、资本运行三个阶段的发展过程,逐渐成为中国第三大石油公司,并逐渐走向海外。期间,绝大多数工程均采用项目管理的模式进行运作,取得了一定的成