【摘 要】
：
认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性和能行性的计算机科学相关领域的研究提供新
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
The National Natural Science Foundation of China under Grant No.61602249(国家自然科学基金).
论文部分内容阅读
认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性和能行性的计算机科学相关领域的研究提供新的逻辑工具,一批学者开始将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究。基于J?ger和Marti对直觉主义分布式知识和公共知识的研究,在直觉主义逻辑框架下同时处理公共知识和分布式知识。针对知识满足的不同性质及不同可达关系特性,建立了含分布式知识和公共知识的两个直觉主义认知逻辑公理系统ICDK和ICDT。通过对模型进行逐次变换的方法构造了典范模型并给出了完备可靠性证明。
其他文献
在信息化加快的当今社会,环境艺术设计课程也逐渐发展,变得更为复杂。传统教学模式已经与现今社会脱节,无法满足培养人才的需求。所以,教师应该结合目前的社会形势对自己的教
据美国一项新研究发现，近70年来，手指甲和脚趾甲生长速度加快了近1/4，中指指甲生长速度最快。 北卡罗来纳大学研究人员比较了1938年剑桥大学的一项研究发现，人们大脚趾甲生长速度超过2毫米/月，而上世纪30年代仅为1.65毫米/月。1938年，大拇指指甲生长速度为3毫米/月，50年代为3.06毫米/月。如今，大拇指指甲的平均生长速度为3.55毫米/月。70年来指甲生长提速近半毫米。手指甲生长速度
据国外媒体报道，最新研究发现，在诡异的冷温辅助下，这个冬天同温层危险的“美丽”云状物剥去了北极大气层中具有保护作用的臭氧层。科学家猜测北极第一个臭氧洞或已形成。 所谓的臭氧洞，又称臭氧层空洞，是大气平流层中臭氧浓度大量减少的空域，如著名的南极臭氧洞。有专家警告皮肤癌危险或将提升，低浓度臭氧地带范围向南最远已经到达了纽约上空。同温层中包含着臭氧层，它像一块毯子覆盖在地球上空，为地球阻挡来自太阳的
人脸表情作为人类情感的重要传达方式,近年来作为情感计算的重要组成部分,人脸表情识别吸引了很多学者的关注。与其他模式识别的问题类似,构造更为有效的统计特征是解决人脸表情识别的关键所在。同时,由于不同种类的特征对于模型性能的贡献不同,有效地利用不同特征对于性能的提升也至关重要。根据几何显著变化筛选标注点以形成几何特征,并根据几何特征构造特定的块形成形态特征;后采用多核多特征融合方法进行表情识别。通过在
在水利工程建设中，为了合理有效地利用建设资金，降低工程成本，充分发挥投资的效益，必须进行水利工程概预算的编制。水利工程概预算的编制是基本建设管理工作中的依据，是决定工程结
补觉没作用 美国宾夕法尼亚州医学院睡眠专家亚历山德罗斯弗贡特萨斯设计一项测试，让志愿者在睡眠实验室里连续度过13个夜晚。 前4个夜晚，志愿者每晚能睡足8小时；接下来6天，他们的睡眠时间缩短至每晚6小时；最后3个晚上，志愿者“补觉”，每天睡10小时。 测试结果显示，持续几天睡眠不足后，志愿者反应速度变慢。补觉后，虽然感觉头脑清醒一些，但仍行动迟缓、笨拙。 研究人员在职业睡眠师联合会年
多类分类问题的实际应用中,在决策对象的认识由粗粒度向细粒度转化时,通过使用粒结构,提出一种基于多类分类的序贯三支决策模型。在此基础上,使用该模型非增量的方法计算序贯
英语教学作为我国教育的重要组成部分,在实际的发展中起到了重要的作用。提高英语教学内容的实用性是时代的要求。对实用性的内涵、实用性教学手段和方法做了简单介绍,并在这
复旦大学6月13日发布一项研究成果说，成年猕猴和人类的大脑中存有神经干细胞和新生的神经元，为人类脑损伤后神经再生带来新的希望。 据介绍，由神经干细胞“制造”的神经细胞也叫神经元，长期以来，医学界一直认为大脑内没有神经干细胞，大脑因疾病或外伤而损失的神经细胞是不可再生的。但是以往科学家对神经干细胞的研究主要在小白鼠上进行，而对神经干细胞在人类等灵长类动物大脑中的分布状况、功能等却知之甚少。尽管小白
摘 要：阅读教学是语文教学的一个重要内容，是培养学生感悟语言、领会文章内涵及阅读能力的重要环节。 关键词：小学语文；阅读教学；教学策略 语文是一门综合性、实践性很强的基础学科，要提高语文学科的教学质量，让学生在学习、掌握语文基础知识和基本技能的同时，受到情操的陶冶和品德的教育，除了教师渊博的知识和行之有效的课堂教学方法以外，阅读教学也是一个十分重要的因素。下面我就谈一谈小学语文阅读教学中的教学