【摘 要】
：
认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造
【基金项目】
：
中流文教基金会与喜马拉雅基金会联合资助项目
论文部分内容阅读
认知逻辑研究的目的是为人工智能研究提供有力的工具。然而,目前认知逻辑的研究成果却难于应用于人工智能的实践之中。这种情况在很大程度上是由于认知逻辑自身存在的问题造成的。第一,认知逻辑理论缺少可操作性,人们不能用能行的方法构造认知逻辑系统定理的证明和根据系统所进行的推演。第二,认知逻辑理论所采用的可能世界语义学方法不能对认知语句做出合乎情理的解释。第三,认知逻辑的公理系统并不是人工智能研究所必需的。由于这些问题的存在,逻辑学家需要对原有的方法进行认真的反思。
其他文献
动画角色动作戏剧性是指给人们带来强烈视觉刺激或心理反应,引起人们注意和兴趣的动作特性,是内在因素矛盾与冲突或生理需求的再现。动画角色动作戏剧性是基于动画的高度假定
本文报道了林地污灌模拟试验。两年的试验结果表明:这个模拟的灌溉系统对处理造纸废水是有效的。废水的CODMn、SS和色度的平均去除率在紫色土壤中是77.8％、75.9％和82.6％,在红壤
长9油层组是鄂尔多斯盆地陇东地区最具石油勘探潜力的地层单元之一，而有关该地层单元的储层特征研究非常薄弱，成为制约该区长9油层组高效勘探开发的难点。在薄片鉴定、扫描电镜
蠕须盾蚧(Kuwuacpis vsrmifoymis Taku Hshi)是危害毛竹的一种常见害虫。本文在调查研究竹林生态环境各因子与蠕须盾蚧危害毛竹林的关系的基础上,指出蠕须盾蚧特别喜湿,主要
规范电子文件归档,解决电子档案管理中存在的问题,才能确保档案信息的安全,做到有效利用,适应时代发展的需要.
党内生活是党的建设的核心范畴和领域,开展严肃认真的党内生活是马克思主义政党加强党的建设的一个基本载体和抓手。在全面从严治党的新形势下,深入探讨党内生活基本原理具有
本研究从粮食需求和边际效益两个角度出发，对周口市进行耕地保护规模测算，结果如下：1）周口市2014年保障粮食需求的耕地规模为263645.84公顷，预计2020年会降到225634.75公顷；2）周口市