超协调逻辑相关论文
人工智能需要面对同时具有多重不确定性的复杂问题,而引起事物不确定性的内在原因是事物内部存在的辩证矛盾.标准逻辑排斥一切矛盾......
传统的可废除推理研究都是基于协调理论集,该文中我们基于一种超协调逻辑(极小化悖论逻辑LPm),提出了一种新的可废除推理框架。新的框架在......
悖论逻辑LP是超协调逻辑之一,LPm是LP的非单调扩展。LPm不仅克服了LP缺陷,而且在没在矛盾的直接影响下它等价于经典逻辑。该文描述了LPMPPS系统是一个使......
该论文是关于信息基础理论前沿和实用信息系统设计理论的边缘交汇领域研究,其撰写参阅和吸纳了国内外关于信息系统分析、设计与开......
度量知识库的不一致程度可以帮助我们处理矛盾。目前存在着多种不一致度量的定义,其中一类定义基于多值语义。基于不同的多值语义(......
四值逻辑在计算机科学和人工智能中有着重要的应用价值。然而,四值逻辑的应用受到了其不够直观的语义的限制。在本文中,我们将致力于......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化......
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出......
<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把......
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础......
本文给出了一阶超协调限制逻辑LPs的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LP作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
悖论逻辑LP是一发协调逻辑,发展协调逻辑的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就量些在经典逻辑中有效的推理在LP中不......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推......
悖论源远流长,从古希腊时代的说谎者悖论算起,已有两千多年的历史。为了给悖论以合理的回答,维护科学理论的严密性、一致性,许多哲......
<正> 悖论作为一种特殊的思维矛盾,几乎涉及抽象科学理论的每个领域。由于逻辑、数学、语言学和哲学,以及某些现代科学(如一般系......
1一个“平凡人”的不平凡贡献 1)“S型超协调逻辑”是我国学者张金成自创的一种逻辑,与它最接近的系统有巴西的“次协调逻辑”、美......
修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算.为此,本文在论证了(极小)悖论逻......
传统的观点认为保持系统刻画的协调性1是并发系统开发过程基本的要求,但随着所设计并发系统的规模越来越大,功能越来越复杂,使得自......
传统的高斯消元法只能处理多元一次方程组满秩的情况,本文应用人工智能中非单调逻辑和超协调逻辑的思想,通过对高斯消元法的改进,使其......