谓词逻辑在人工智能中的应用

来源 :河南机电高等专科学校学报 | 被引量 : 0次 | 上传用户:MUcrystal
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理.是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用;知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。
其他文献
教学型大学加强卓越工程师培养中的毕业设计(论文)工作,是产业集群与企业发展的需要,是高校教学与科研水平提高的需要,是学生提高综合能力与顺利就业的需要。因此,要在坚持卓
本文依据众多史料,对历史上我国西南域外羌族系统诸属国之概况及其消亡演变、与宗主国的关系等,作了较详细的考察。
结合导弹在不同时刻的速度记录数据,提出了一种不同于求解弹道方程的算法来模拟计算导弹飞行轨迹,计算结果表明,该算法具有计算效率高、弹道精度高等特性,能够很好地满足该型导弹
<正>高三班级管理目标明确,但要做的工作既多又杂,工作重要性不言而喻。在高三班级管理中,班主任不仅仅是班级工作的指挥者,而且担任着多种角色:生活中是慈母、学习上是严父
<正>从诞生之日起,电影就带着一个最显著的胎记,那就是"记录"与"再现"。可见真实这一美学特质在电影这一艺术领域的显著地位。作为电影的一种本原性的美学风格,纪录电影在其
<正> 山歌的音调结构在研究民歌音调的民族特征和地方风格时,人们往往首先注意到它的音阶调式组织,这固然是值得重视的一个方面,但有时并不一定是最重要的方面。因为在实际上
从我国城市道路交叉口人机非混行现状出发,针对典型的交叉口布局,设计了解决机非冲突的2~6可变相位模型,利用检测到的各种交通流的先验知识,用人工智能和多种预测模型相结合
<正> 本文站在地(市)级新闻产业的角度,对理论界在“集团化”潮流中试图从全局的角度整合地(市)级新闻产业的资源,但又忽视其局部利益的做法提出质疑,为地(市)级新闻产业的生
<正>2010VLSI半导体产业盛宴受邀以"ANew Boom for China’s Semiconductor Industry"为题,在2010VLSIWeek发表专题演讲,上海华虹NEC总裁邱慈云指出,中国半导体产业的崛起,3
改革开放过程中,我国经济得到了较快发展,社会发展水平也得到显著提高,但是国内经济发展是以牺牲环境为代价,当前各种生态环境问题涌现,以国内空气质量看,2017年国内仍有七成多的地级以上城市空气质量不达标,空气污染严重影响到居民的生活、企业的生产以及社会正常秩序。在改革开放“新时代”,习近平强调“要推进绿色发展”,即建立健全绿色低碳循环发展的经济体系,推动经济发展方式的转变,打造环境友好型社会,积极培