非单调推理相关论文
可推翻论证系统是非单调推理研究领域近年来最为活跃的分支之一。与其他分支相比,可推翻论证系统更侧重于推理结构的研究,它的研究基......
<正> 自然科学技术与哲学社会科学相互渗透、相互结合的趋势是近半个世纪以来科学技术革命向纵深发展的一个突出特点。这不仅与种......
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力......
本文提出了一种在地面进行航天器在轨故障诊断的非单调推理方法.首先,对关注的问题建立串行的故障传递模型,然后建立故障与数据特......
我们知识中的绝大部分是由概称句表述的。建立概称句的形式语义对非单调推理以及人工智能中的知识表示等研究都有非常重要的意义。......
言外之意的理解过程是一个推理过程。这种推理是非单调推理,包括显性和隐性两种形式。显性非单调推理包括完形式和缺省式;隐性非单......
介绍了供应链和集成供应链管理系统,为解决集成供应链管理系统的协调问题,给出了代理模块的概念,提出代理模块模型的结构并讨论了相关......
“怀疑”句式的构式义为:根据某些前件,推理出一个命题很可能为假。这一语义的另一个侧面是:其矛盾命题很可能为真。这两个语义侧......
该文围绕宏观经济预警系统,重点探讨了利用一种非单调推理系统——基于假设的真值保持系统(ATMS)——进行经济预警系统指标选择的......
该文就MAS的语义模型等进行了研究.主要工作包括:(1)提出了一个多Agent信念逻辑MBL,定义了MBL的Aumann语义,证明了MBL的Kripke语义......
该文首先介绍了基于模型诊断的基本概念、诊断过程及一些诊断引擎和系统.然后将基于模型诊断方法用于诊断计算机网络中的通讯故障,......
机器人技术是一门高综合性而且发展迅速的前沿学科,是人类的最高科技梦想之一。家庭服务机器人是机器人技术研究的热点方向,也是我国......
R.G.霍夫曼(Reid G.Hoffman)是斯坦福大学的一名学生,一九九○年五月再次会见约翰·麦卡锡(JohnMoCarthy)先生,就人工智能领域的广......
非单调推理技术在决策支持领域的应用,主要困难在于理论本身的容错性并不满足决策制定过程对决策结果的要求,对此,文章试图通过将......
1引言据CNNIC调查,在网民中,中学生上网人数已占到网民总数的33%,每3个上网的人群里面就有1个是中学生.而由于黑客、病毒等网络安......
知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述......
本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由......
人工智能最关键的问题是常识和推理,近十年来在常识和推理研究方面,形成化非单调推理的发展是重要的一步。实现非单调推理系统的核......
处理图象分析中的不确定性也是专家系统不可回避的任务.目前有多种用以表示不确定性,并能进行不精确推理的模型,主要有概率理论、......
本文论述了PROLOG显式表达否定知识的意义,提出了两种显式表达否定知识的方法,并例举了这类方法在非单调推理中的重要应用。
This......
本文首先分析了非单调推理系统的两个主要过程——正确性维持过程和面向从属关系的回溯过程,讨论了模糊非单调推理系统的独特性,然......
传统的逻辑推理是有局限性的,而非单调推理则具有普遍的意义。本文在分析和研究非单调推理、非单调推理系统 TMS 的基础上,指出了 ......
该文研究了知识库系统中的知识管理问题,并提出了一种基于元语言和目标语言相混合的知识管理方法。该方法可用于管理事实或规则形式......
建立完备的品质回路是现代化高品质生产之关键性工作。为此,有必要将复杂之品质检测资料经由生产监控系统回馈,以与设计资料耦合,进而......
本文讨论Context思想的一些基本概念和应用.我们认为Context是思维的主观或客观对象,是理性思维一个基本立足点,是思维的基本方法......
简述在SUN工作站上用PROLOG语言所实现的FKMS不精确知识库推理维护系统的理论基础和有关的实现技术,并对FKMS系统给出评价。
Briefly describe the t......
在智能决策支持系统(DSS)研究中,知识表示、自然语言理解以及相应的推理系统是急待解决的几大问题。传统的精确推理已难以适应计算机应用......
本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状.近年来,学者们提出了许多方法进行命题知识库的更新,一类是基于公......
介绍了战略决策专家系统中一种新的知识表示方法“分解-综合”知识表示法,给出了“分解-综合”表示法的应用实例,指出了“分解-综合”表......
基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关......
定义了一种公理化的抽象逻辑,它以经典逻辑所具有的证明论性质及模型论性质为公理,可以用于构造抽象的开放逻辑理论,因而可以用于......
介绍了一种适合过程控制的专家控制系统外壳ECSS。简介ECSS的主要特点和工作原理,着重叙述了ECSS的实时推理和不确定推理方法,并以仿真实例说明ECSS的......
分析了常规非单调逻辑的局限性,通过介绍带优先级的非单调逻辑和累积缺省逻辑,指出非单调逻辑不仅需引入优先级而且须基于论据.提出了......
一、大会概况国际人工智能联合大会(IJCAI)是国际人工智能界最有影响的和权威性的盛会,自1969年以来,每两年举行一次,至今已成功......
非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些......
介绍了解决实时专家系统中最重要的一个问题即时限推理问题的多种方法,在此基础上,给出了基于数值计算的3种快速推理算法:矩阵法、有向......
实时控制专家系统是人工智能与控制理论相结合的产物,它对于克服基于数学模型的控制系统的缺陷具有重要意义。本文讨论了实时控制......
研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法
Studying the traceability framework under ......