【摘 要】
：
该文提出了一种粒-逻辑,简记为G -逻辑,并构造了这种逻辑的近似推理系统,定义了G -公式、G -子句和G -文字,提出了这种逻辑的G -归结方法.G -归结的完备性定理也被证明了.这
【机 构】
：
南昌大学计算机科学系,华东交通大学信息工程学院
【基金项目】
：
国家自然科学基金，江西省自然科学基金
论文部分内容阅读
该文提出了一种粒-逻辑,简记为G -逻辑,并构造了这种逻辑的近似推理系统,定义了G -公式、G -子句和G -文字,提出了这种逻辑的G -归结方法.G -归结的完备性定理也被证明了.这种逻辑公式的结构是有序二元对,第一元是断言;第二元是对应于这个断言的可定义集或不可定义域集的近似集.这种逻辑是定义在信息系统IS=(U,A)上,所以其公式中的个体变量被赋予U上的实体.公式中的命题或谓词被解释为属性集A上的属性,因此命题或谓词的意义集是U上的一个子集、属性及其意义集一起构成的二元对,被称做一个基本粒(gran
其他文献
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,
对于含有实时和非实时两部分的混合实时应用,传统的单调速率调度算法(RM)已不再适用.为此,该文引入'混合实时事务'的概念,并针对这类事务提出一种延期单调速率调度算
截止2018年6月,福建省高速公路通车总里程超过5200公里,建设服务区、停车区达100对,租赁经营是高速公路服务经营的重要形式。这种经营方式涉及到诸多税收事项,影响企业税后利
反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件'黑箱'结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型
函数挖掘旨在从观测数据中发现有效的函数关系,传统的函数挖掘以发现单个函数为挖掘目标,难以处理复杂数据集.为解决上述问题,作者做了如下工作:(1)提出了描述能力更强的频繁