自动推理相关论文
【目的/意义】作为医疗与管理科学领域最为重要的研究课题之一，在线健康社区智能诊疗在我国“互联网+医疗”新业态发展背景下扮演重......
现今信息技术已经渗透于科学研究、工业生产以及日常生活的方方面面.现有事实表明,许多实际问题最终均可以归结或部分归结为非线性......
可满足性（SAT）问题是计算机科学中最重要的问题之一。任何NP问题都可以在多项式时间内归约为可满足问题。很多现实问题如规划问题、......
提出一种基于模糊语言场和模糊语言值结构的知识表示新型框架,井给出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和......
分析了描述逻辑在数据库中的研究现状和存在的问题，特别是描述逻辑与面向对象数据模型的关系。在A Artale和D Calvanese的基础上提......
电子装备故障的发生受诸多因素的影响。本文将装备定量化知识和专家的领域知识、经验的描述有机融合，建立了基模糊推理的故障预测模......
基于归结原理的自动推理足人工智能领域中较为活跃的研究方向，基于归结原理的自动推理算法已经取得了一系列的研究成果。本文研究了......
本文在利用地质、物探、测井等多学科资料进行地质综合推理中,提出一种基于知识间联接机制实现自动推理的程序设计方法.将以客观对......
为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的......
利用映射方法进行叙词表互操作研究,用以解决用户集成的主题检索问题。叙词表映射可依据相关的规则来保证映射数据的质量,包括依据......
算法是对“计算、数据处理和自动推理”的描述。这个数理概念和大众关系密切起来,并突然被关注,源于我们阅读生活的不断丰富与不断......
语义网是Semantic Web的中文名称,是能够根据语义进行判断的网络。语义网并非独立的另一个Web,而是现在的Web的一个延伸。将语义网......
Ⅰ.中国计算机学会人工智能与模式识别专业委员会征文通知:中国计算机学会人工智能与模式识别委员会定于1988年9、10月间在武汉市......
作为一种不确定性推理方法,D-S证据理论在不确定性推理和信息融合中得到了广泛的应用。然而由于D-S证据理论比较适合于解决低冲突......
该文提出,教育平台是面向学科的知识处理系统和辅助教学的平台工具,它应该是一个集学科知识处理、学科教和学内容与方法、学科试验......
语义Web是现有Web的一个语义延伸，目标是使Web的应用具有一定的智能，能够进行更准确的信息搜索和一定的决策支持，帮助用户自动完成一......
在现实世界中,存在一类应用场景,需要对监测到的事件作出实时的响应,也即当事件发生后,需要在一定截止期内执行合适的动作以完成某......
中医知识库是集中医领域内相关医学医药理论知识、事实数据以及根据中医专家经验得到的启发式知识于一体的智能数据库。舌诊是观察......
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
从七十年代以来，伴随着AI技术的深入研究，智能化CAI的研究逐渐兴起并得以蓬勃发展，取得了一系列可喜的成绩。然而，国内外各种比较成功......
随着ICAI(Intelligence Computer Assisted Instruction)技术的不断发展，其在许多学科领域已得到了广泛的应用。比如，在数学方面有著......
本文利用动态模糊逻辑(DFL)作为形式化描述工具,提出了Agent的推理模型,并在此基础上构造了一个多Agent系统推理平台。主要工作包......
自从20世纪70年代第一个有关地理知识教学的智能教学系统问世以来，ICAI就成为计算机辅助教学领域的研究热点。在我国，计算机辅助教学......
目前WWW已经发展成为包含多种信息资源、站点遍布全球的巨大信息服务网络，成为世界上最丰富和最密集的信息来源。人们越来越多的通......
多维建模一直是数据仓库中一个非常具有挑战性的问题，也是最基本的问题。多维建模的好坏关系到数据仓库的健壮性，功能性以及查询效率......
性能评价的目的是描述和分析系统的动态及与时间有关的行为。尽早将功能、时序行为检验与设计相结合，可以在很大程度上消除不必要的......
在实际生产过程中,复杂不确定性系统内部关系复杂、外部影响因素多、数据量大较难建立简单函数方程来预测系统的未来发展趋势,制约......
自动定理证明一直是人工智能领域中最重要的问题之一。定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。本文......
智能规划已经成为人工智能的一个研究热点,特别是规划图方法(GraphPlan)的提出更是使智能规划的研究取得了革命性的进展。随后的许......
通用游戏是人工智能最具挑战性研究领域之一。近年来得到快速的发展,在军事行动、电子商务、商业流程管理等方面有巨大实用价值。......
人工智能是计算机科学的一个分支,目的是使机器能够像人类智能一样感知环境并最大化达到目标的可能。机器博弈是人工智能极具挑战......
本文是在传统P300行列闪烁实验范式的基础上进行改进,同时增加了一个主动心理任务。第一个实验中,主动心理任务实验是判别颜色,同......
学位
随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因......
近30年来，随着人工智能领域中定理机器证明之可读证明方法的突破，基于可读证明技术的计算机辅助教学工具的研制已经成为CAI领域的主......
直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的......
随着云应用、尤其是数据密集型云应用的迅猛发展,人们对计算、存储等资源的需求日益增长,云计算在数据处理中变得越来越重要。云计......
质点几何定理机器证明一直以来都是自动推理领域的研究课题,其证明方法和研究成果都具有明显的应用价值。近年来,研究者们依据质点......
自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......
随着社会信息化进程的不断加快,信息技术在教育教学活动中也广泛使用。在以人为本的教育理念指导下,以多媒体计算机和通讯网络为标......
吴文俊教授是我国杰出的老一辈数学家,50年代他曾因在拓扑方面的突出工作获得首届国家自然科学一等奖。70年代初开始从事计算机数......
2001年2月19日,国家主席江泽民向吴文俊、袁隆平两位科学家颁发了首届国家最高科技奖。吴文俊、袁隆平两位院士,都是在本专业领域......
信息技术能提高自动推理和符号演算的环境,有助于抽象思维的训练,它更能提供动态的三维智能作图环境;有助于空间想像能力的培养。......
中国数学会将于2011年11月25－28日在广州举行“第四届全国计算机数学学术会议”。征文范围：数学机械化理论、算法和软件实现；符号计算......
