非单调逻辑相关论文
随着计算机性能的提升和算法的优化,从大量的数据间发现某些事物的因果关系逐渐引起了人们的兴趣,尤其是从数据中自动分析出因果关......
弗雷格(Gottlob Frege)通过对旧逻辑中命题的主词和谓词赋予新的含义而提出了一种新逻辑即谓词逻辑,而从谓词逻辑发展而来的逻辑程序......
<正> 在当今认知科学的时代里,逻辑和语言之间的关系既是哲学上十分复杂的问题,又是有争议的问题。问题之所以复杂和有争议,在我看......
逻辑作为人工智能研究中描述和模拟思维的工具,并利用推理来重现人类智能。但是常规逻辑不适于处理不精确、不完全、不确定的信息,为......
<正> 据苏联《哲学问题》杂志1990年第3期报道,第10届科学逻辑、方法论和科学哲学全苏会议将于1990年9月23—26日在明斯克的白俄......
单射占优模型在非单调逻辑中具有重要的地位。目前,文献已报道了大量关于单射占优模型类的表示定理。但是,如何用证明论的性质来刻......
非单调逻辑是人工智能研究领域的一个重要方向之一,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的一个重......
中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、......
定性分析和定量分析是产品设计过程的两个重要方面,给出基于五个阶段的过程模型以及综合模态逻辑、非单调逻辑模式;同时,还从定量的角......
请下载后查看,本文暂不支持在线获取查看简介。...
1990年7月18日下午,国家智能计算机研究开发中心赴美国考察组一行四人访问了世界著名人工智能学者、美国卡内基梅农大学计算科学......
本文在对知识进行分类,概论了知识表示技术,元知识,控制结构,专家系统和知识库关系的基础上,引入了新概念混合型佩特里网(Petri ne......
处理图象分析中的不确定性也是专家系统不可回避的任务.目前有多种用以表示不确定性,并能进行不精确推理的模型,主要有概率理论、......
本文阐述知识库系统的基本思想和特点,探讨为解决专家系统所面临的困难而设计的知识库系统逻辑结构,并在此基础上提出了知识库系统......
这是关于知识表示的又一篇综述文章,首先讨论了知识表示中的基本问题,接着介绍了知识表示研究的发展现况,目前存在的主要问题以及......
本文对目前人工智能及其知识工程分支中的专家系统给予了新的、严格的定义,澄清了一些模糊概念,概括了人工智能与专家系统方面的主......
本文首先基于对超协调性的分析给出一个超协调逻辑的分类,并提出一个超协调逻辑的新定义,由此容易看出各种超协调逻辑存在一定的共......
本文概述了时序推理的代表理论以及它们对本学科的未来研究,尤其是对AI的影响。
This article outlines the theory of temporal inf......
定义了一种基于辩论语义的算子模糊逻辑,这种逻辑是相关的、次协调的、非单调的,能形象地刻画认知过程中的信念修正,适于在知识不......
基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑,给出它的语义和语形,证明其完全性定理以及它与主要非单调逻辑的关......
分析了常规非单调逻辑的局限性,通过介绍带优先级的非单调逻辑和累积缺省逻辑,指出非单调逻辑不仅需引入优先级而且须基于论据.提出了......
本文叙述了人工智能在C2系统多传感器融合上的应用,提出了一个C2模型,探讨了该模型上的多传感器数据融合,指出人工智能技术领域知......
人工智能自1956年问世以来,已取得了一些进展,并正在引起越来越多人的重视.它的基础研究难度大,还没有形成完整的理论和体系.目前,人工智能的......
非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些......
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
This paper attempts to discuss the nonmonotonic reasonin......
司法判决具有可废止性,因而是相对真实的.但作为一种单称的法律判断,司法判决同样具有客观性.与自然科学判断的绝对客观性不同,法......
随着数据挖掘、人工智能、神经网络、专家系统、机器学习的出现,计算机的处理不仅对单纯的基于结构化数据进行算术运算,而且对各种复......
答集程序设计是非单调推理、演绎数据库和支持失败即否定的逻辑程序设计的交叉学科。答集程序设计的理念是用逻辑程序对问题进行编......
非单调逻辑是近年来人工智能领域研究的热点课题之一。人工智能的目的是研究、设计和应用智能机器或智能系统,以模拟和延伸人的智能......
非单调逻辑是近二十多年来人工智能领域的一个活跃研究分支,是人工智能进一步发展的重要问题之一。人工智能研究的发展,使得人们开始......
道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统(∮)*,在(∮)*系统中定义了后承关系|~:A|~B当且仅......
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化......
本文介绍不确定性知识的非数值表示方法,包括界限推理、默认逻辑、TMS、自动认知逻辑和认可理论的基本概念。......
<正>1引言 常识推理的一个共同特性是在不完全知识下的推理,非单调推理提供了不完全知下的推理方法,它能在有限如识的基础上得出一......
人工智能专家发现一个有趣的事实:对一些人们觉得易如反掌的事,计算机处理起来却显得十分笨拙,甚至无能为力。例如,出生不久的婴儿......
非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结......
人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单......
本文基于开放逻辑理论,给出了缺省理论T=<D,W>扩充E的新假设,事实反驳、e-重构、e-认识进程及其极限等概念的意义,讨论了W变化时新扩充的变化规律,并......
本文给出了一阶超协调限制逻辑LPs的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LP作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
在许多基于知识的问题求解系统中,随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾,而维持该类系统中知识库的一致......