人工智能中的自动逻辑推理

来源 :人工智能与机器人研究 | 被引量 : 0次 | 上传用户:amy23683
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
人类常用的推理方法不能直接在人工智能中应用从而实现机器的自动推理,本文论述了自动推理中的归结和合一算法的规则和详细步骤,达到使读者容易理解和掌握这一方法的目的,使更多人了解这一方法的作用和前景。
其他文献
目前,信阳地区正在兴起一股大上银杏的热潮。全区规划到本世纪末发展银杏2000万株,人均3株。全部进入盛果期后,年产白果1亿公斤,年产值20亿元以上。为了实现上述目标,地县两级先后
横渠易学的天人观郑万耕天人关系问题是中国思想史和易学史上长期讨论的一个重要问题,从而形成了五花八门的天人关系学说,如法天说、任天说、与天地同流说、参天说、裁成辅相说、胜天说、天人感应说、天人交相胜说等等。北宋著名哲学家张载在深入探讨前人天人观的基础上...
期刊
氧化亚氮(N2O)是主要的温室气体之一,影响全球气候,对大气化学也有着重要作用。而海洋是大气中N2O的重要排放源,特别是在近岸海区,N2O的释放量尤为显著。本文概述了海洋中N2O
食用菌多糖具有增强人体免疫力、抗癌、预防和治疗心血管疾病、抗菌及抗病毒等功效。食用菌多糖的提取、分离和纯化需要多步骤的复杂工艺,以提高食用菌多糖的收率和纯度。食
政府采购是指各级国家机关、事业单位和团体组织使用财政性资金采购依法制定的集中采购目录以内的或者采购限额标准以上的货物、工程和服务的行为.它对于加强财政支出管理、
橡树(麻栎、栓皮栎)是我省分布较广、蓄积量较大的树种,是烧木炭、培养水耳的主要料源。橡实可直播造林,作饲料,也是制栲胶和酿酒的工业原料。但是,出于橡树种子遭受橡实象甲的危
灯仪是道教仪式之中的重要品类。它的形成具有深远的民俗学渊源和思想基础。就理论角度来说,道教之灯仪乃以传统易学为结构框架。本文选择了道教灯仪中的几种要代表性的形式进
污染物的微生物可利用性是控制其环境归趋的主要因素之一,也是决定受污染土壤的微生物修复技术成败的关键。有机污染物进入土壤后发生吸附作用,进而影响其生物可利用性。正确
当前容器苗造林一般每穴3-5株,多者达10株以上。据山西省林科所刘学勤等在平顺县对3-8年生油塑塑膜容器苗林的调查研究,