【摘 要】
:
该文提出了一种粒-逻辑,简记为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)提出了描述能力更强的频繁
蒿草属KobresiaWilld。隶属于莎草科,全世界有64种5变种,中国有49种4变种,属下分为4个组。该属主要分布于北半球温带至寒带,亚洲种类最多,主要集中分布于喜马拉雅山地区和横新山地区。上述两地共有总数
高速公路作为陆地交通重要形式之一,在促进地区经济发展和保障人们日常生活等方面有着不可替代的作用。在高速公路工程建设中,边坡加固历来是其重要内容之一。本文以广东省汕-
基于生化反应机理的DNA计算机模型受到科学领导内许多不同科学者们的关注与兴趣。DNA计算已经形成国际科学前沿领域内研究的一个新的热点。DNA计算机的研制需要诸如生物工程