自动推理相关论文
【目的/意义】作为医疗与管理科学领域最为重要的研究课题之一，在线健康社区智能诊疗在我国“互联网+医疗”新业态发展背景下扮演重......
现今信息技术已经渗透于科学研究、工业生产以及日常生活的方方面面.现有事实表明,许多实际问题最终均可以归结或部分归结为非线性......
可满足性（SAT）问题是计算机科学中最重要的问题之一。任何NP问题都可以在多项式时间内归约为可满足问题。很多现实问题如规划问题、......
作为一种不确定性推理方法,D-S证据理论在不确定性推理和信息融合中得到了广泛的应用。然而由于D-S证据理论比较适合于解决低冲突......
从七十年代以来，伴随着AI技术的深入研究，智能化CAI的研究逐渐兴起并得以蓬勃发展，取得了一系列可喜的成绩。然而，国内外各种比较成功......
随着ICAI(Intelligence Computer Assisted Instruction)技术的不断发展，其在许多学科领域已得到了广泛的应用。比如，在数学方面有著......
几何自动推理是让计算机模拟人脑来进行几何命题的证明，它是人工智能领域的重要研究课题。20世纪70年代，吴文俊先生就提出了定理机器......
本文利用动态模糊逻辑(DFL)作为形式化描述工具,提出了Agent的推理模型,并在此基础上构造了一个多Agent系统推理平台。主要工作包......
目前WWW已经发展成为包含多种信息资源、站点遍布全球的巨大信息服务网络，成为世界上最丰富和最密集的信息来源。人们越来越多的通......
多维建模一直是数据仓库中一个非常具有挑战性的问题，也是最基本的问题。多维建模的好坏关系到数据仓库的健壮性，功能性以及查询效率......
性能评价的目的是描述和分析系统的动态及与时间有关的行为。尽早将功能、时序行为检验与设计相结合，可以在很大程度上消除不必要的......
在实际生产过程中,复杂不确定性系统内部关系复杂、外部影响因素多、数据量大较难建立简单函数方程来预测系统的未来发展趋势,制约......
自动定理证明一直是人工智能领域中最重要的问题之一。定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。本文......
智能规划已经成为人工智能的一个研究热点,特别是规划图方法(GraphPlan)的提出更是使智能规划的研究取得了革命性的进展。随后的许......
通用游戏是人工智能最具挑战性研究领域之一。近年来得到快速的发展,在军事行动、电子商务、商业流程管理等方面有巨大实用价值。......
人工智能是计算机科学的一个分支,目的是使机器能够像人类智能一样感知环境并最大化达到目标的可能。机器博弈是人工智能极具挑战......
本文是在传统P300行列闪烁实验范式的基础上进行改进,同时增加了一个主动心理任务。第一个实验中,主动心理任务实验是判别颜色,同......
学位
近30年来，随着人工智能领域中定理机器证明之可读证明方法的突破，基于可读证明技术的计算机辅助教学工具的研制已经成为CAI领域的主......
直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的......
模型计数(model counting,#SAT)问题旨在计算给定的公式集合中所有模型的个数,绝大部分计算复杂度为#P的问题均可以在多项式时间内......
随着云应用、尤其是数据密集型云应用的迅猛发展,人们对计算、存储等资源的需求日益增长,云计算在数据处理中变得越来越重要。云计......
自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......
现在中小学教师的工作负担普遍较重，要求老师经常使用信息技术制作课件进行授课似乎有些强人所难，所以许多人提倡教师可以充分利用别......
国际机器证明研究领域的权威人物J.S.穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴的工作给整个领域带来光明......
生产作业计划调度是先进制造系统管理技术的重要组成部分。其车间生产作业计划具有Job-shop排序模型的特性，但应用背景大部分不符合......
将人工智能领域具有代表性的多Agent技术引入分布式环境下的群体决策过程，是从根本上提升群体决策支持系统处理大型复杂问题时针对......
人工智能是计算机学科的一个重要分支,近年来由于计算机技术的发展,人工智能学科也得到了很好的发展。机器学习是人工智能的一个核......
随着CAD技术的不断发展,CAD系统已经应用到各行各业。CAD技术与人工智能技术的结合,产生的具有一定智力的智能CAD技术,是当今国际......
该文以广泛应用的规则调度为对象,针对调度知识表示、推理和获取瓶颈问题,研究了基于逻辑网(Logical Network)的调度知识表示、综......
智能信息处理一直是众多学者密切关注的研究方向,计算机科学的迅速发展为其理论研究和实际应用提供了广阔的前景,其中软件工程与人......
几何定理的机器证明是自动推理领域的热门课题之一,尤其是近些年来,研究者在研究几何定理机器证明方面取得了丰硕的成果。吴文俊先......
描述逻辑是一种形式化工具，是一阶逻辑的可判定性子集。与其它知识表示工具相比，它具有推理机制能实现知识之间的自动推理，正是如此，它......
目前，随着计算机技术的发展，机器证明已经成为一个非常活跃的研究领域。人们根据机械化方法成功创建了各种机器语言来编写程序，并在计......
几何定理机器证明的研究在最近20年来取得了一系列令人瞩目的成果,特别是计算机自动推理可读证明的突破,使几何定理机器证明的研究......
几何定理机器证明是用计算机来完成数学命题的证明,它是现代数学中一种新兴的边缘性学科,是现代人工智能发展的一个重要方向.经过......
现有的几何自动推理系统采用较多的是基于单向推理法(包括前向推理和后向推理)的搜索方法.单向推理尤其是前向推理法已经取得了显......
本文第一章简要地回顾了机器证明的发展历程,介绍了智能教育软件的研究现状,并对本文的工作做了阐述.第二章详细介绍了系统的实现......
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐......
设计并实现了一种新型的ＩＣＡＩ系统．该系统以自动推理技术为基础，利用化学知识库，不仅实现了ＩＣＡＩ的知识集散功能，还成功地实现了知识揭示功能．不同......
一、课程开发思想“数学需要实验吗？”“学生在课堂上能进行数学实验吗？”“数学实验有哪些方面的优势呢？”其实，在数学科学研究中，数学......
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都......
基于非线性代数方程组的吴特征列方法,在计算机代数系统Maple上实现了非线性微分方程孤波解的自动求解,编制了一个小型实用的软件......
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......
