非单调推理相关论文
“怀疑”句式的构式义为:根据某些前件,推理出一个命题很可能为假。这一语义的另一个侧面是:其矛盾命题很可能为真。这两个语义侧......
机器人技术是一门高综合性而且发展迅速的前沿学科，是人类的最高科技梦想之一。家庭服务机器人是机器人技术研究的热点方向，也是我国......
为了弥补基于单一人工智能方法所形成的智能控制系统的不足,提高基于产生式规则的控制专家系统的性能,本文提出了一种基于神经网络......
本文主要是将单主体（single agent）的自认知逻辑系统（autoepistemic logicsystem）扩充为多主体（Multi-agent）的自认知逻辑系统,同时介绍......
道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程......
提出了一种用于服务发现的基于A-Prolog的能力匹配机制.匹配中应用规划检查来决定智能体是否具有完成某一任务的能力.实现了应用该......
提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承......
随着社会的进步和科技的发展，服务机器人目益受到人们的关注。服务机器人在复杂的家庭环境中如何做到自主决策以便更好的辅助人类生......
文中定义了一个新的辩论推理模式，建立了一个形式化的知识表示框架，并把它应用于研究扩展逻辑程序类的说明语义，结果表明，新语义克服了......
At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research meth......
一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一.一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型......
公式集的essential原子在逻辑中扮演了重要角色，如在SAT问题中可以去掉非essential原子，从而加快搜索解的速度。将essential原子引入......
在一种含有补余律的模糊抽象代数系统上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用......
在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们......
摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维......
受人工智能理论的启发，结合非单调推理建立非单调道义逻辑系统成为道义逻辑研究的新趋势。通过对国外两种主要类型的非单调道义系统......
近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处......
论辩系统是一种非单调形式体系，能够支持个体Agent的推理决策和多Agent之间的有效交互．由于个体Agent的知识、观察信息和资源的动态......
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进......
本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法,继而锁定排除式C......
本文旨在建立两种单一结论,多个条件,且含有可信度的推理机制,这种推理机制是非单调的,和不精确的.推理的目的是在计算可信度,从而......
Gadi Pinkas提出的基于惩罚逻辑函数的非单调推理系统,应用到智能机器人路径规划和采煤机械设备故障诊断问题时,惩罚函数不能很好......
非单调性推理是指如对前提集合中加进新的知识，那么原结论可能不成立的推理。推定可分为可反驳的推定和不可反驳的推定。可反驳推定......
在现实世界中,人们经常需要在信息不一致和不完全的情况下进行非单调推理。经典逻辑以及传统非单调逻辑在这类推理的刻画上并不令......
对高层次指挥决策而言,情报决策是必不可少的关键环节。传统的情报决策往往注重对各种假设成立的可能性(概率)进行主观判断,而对假......
联想是培养创造性的心智机能的一种思维活动。一个认知主体如果不善于联想，其知识不仅是零碎的、孤立的，而且是有限的。本文旨在建立......
检测技术目前是多种学科的关键技术之一,在生产发展和科技进步等方面起着至关重要的作用。尽管在检测技术方面已有大量的研究成果,......
要表达归纳推理结论的不确定性和刻画非单调的归纳推理，并非只能使用概率方法，用概称句和包含概称句的推理来刻画归纳推理是另一种可......
本文研究动态判断与非单调推理的属性重心坐标表示模型。研究表明：命题真值随基准而变的动态判断及其诱导的非单调推理可用属性重心......
...
辩论的逻辑模型是哲学、逻辑学和人工智能等多个领域的研究课题,在非单调推理、法律推理、决策支持和多Agent交互等领域有广泛应用......
专家控制系统设计西北第二民族学院魏权利一、控制系统中模型数学化遇到的问题随着社会生产力和科学技术水平的提高，要求被控制对象......
针对智能服务机器人的任务规划，引入复合行动对行动语言c＋进行了扩展，并实现了其求解系统．在扩展的行动语言C＋中，复合行动被定义成一定条......
人工智能的目的在于使计算机智能化，推理是智能最集中的体现，所以研究推理的模型是人工智能的主题。非单调推理是人们日常推理的重要......
知识是人类理性思维不断作用于客观世界的结果。在我们的日常思维中,离不开两种基本的推理：必然性的推理和或然性的推理。在前一种......
推理的非单调性是指如对前提集合中加进新的知识,那么原结论可能不成立。推定是指由法律规定或审判者决定的对或然性的事实加以认......
智能主体技术是人工智能领域的研究热点,智能主体系统与知识表示和知识推理有着密切的联系。在智能主体技术的研究中,主体的设计必......
溯因推理是人们日常生活中常常使用的一种推理形式,在科学发现等方面的作用也十分重要。溯因推理是一种或然性推理,具有非单调性特......
现有的Agent信念修正、慎思、手段-目的推理等理论和方法大多基于经典一阶逻辑,对不完全的、不一致的知识,缺乏有效的处理机制.基......
