共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
超协调逻辑(Ⅱ)—新超协调逻辑研究 总被引:3,自引:0,他引:3
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。 相似文献
3.
超协调逻辑(Ⅳ)—非单调超协调逻辑研究 总被引:2,自引:0,他引:2
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义,最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。 相似文献
4.
超协调逻辑(Ⅲ)—超协调性的逻辑基础 总被引:2,自引:0,他引:2
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。 相似文献
5.
6.
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。 相似文献
7.
一个在费协调逻辑中的限制 总被引:3,自引:2,他引:1
本通过应用限制到一个费协调逻辑给出一种费协调限制,费协调限制是一种费协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;费协调逻辑在矛盾没有影响时等介于经典逻辑。 相似文献
8.
这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系. 相似文献
9.
一个在弗协调逻辑中的限制 总被引:2,自引:1,他引:1
本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑. 相似文献
10.
介绍了在中厚板生产过程中的逻辑协调控制。逻辑协调的作用是协调在生产线上在其相应区域的所有钢板。逻辑协调控制又叫做顺序控制逻辑,用于优化钢板在轧制区域的传输过程。逻辑协调模型协调传动控制、闭环或开环的轧机辊缝控制、当前板坯位置、操作模式以及二级模型中的道次计划等。此模型是轧机自动化的基础。 相似文献