邻域系统上的Rough集及其被用于对公式可满足性的描述

来源 :第六届中国人工智能职合学术会议 | 被引量 : 0次 | 上传用户：toky868

【摘要】

：

本文基于邻域系统定义了邻域拓扑内点(I)和邻域拓扑闭包(C),并由它定义了邻域系统上的Rough集.利用邻域拓扑内点和邻域拓扑闭包描述了一个公式可满足性的二种类型;邻域拓扑内

【作者】

：

刘清郑非

【机构】

：

南昌大学计算机与信息学院(南昌)

【出处】

：

第六届中国人工智能职合学术会议

【发表日期】

：

2001年期

【关键词】

：

邻域系统公式可满足性邻域拓扑内点邻域拓扑闭包语义模型系统定义推理规则逻辑公式种类语法数据描述构造

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文基于邻域系统定义了邻域拓扑内点(I)和邻域拓扑闭包(C),并由它定义了邻域系统上的Rough集.利用邻域拓扑内点和邻域拓扑闭包描述了一个公式可满足性的二种类型;邻域拓扑内点可满足和邻域拓扑闭包可满足.并讨论了带有I和C的Rough逻辑公式的语法和语义模型.最后还给出了由它们构造的数据推理规则.

其他文献

行动推理中的结果问题

行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困

会议

行动推理因果关系方法结果问题极小化方法智能研究评价标准理论研究困难所在解决前景方法及人工描述课题分类

城市规划管理中的问题探讨

改革开放 30年来，中国从“农村社会”向“城市社会”转变，当前的规划管理体制起到了积极的推动作用。中国的城市规划建设基本走上了循序渐进的发展轨道，城市规划和建设也取得了

期刊

城市规划问题管理对应措施

,Applications of lignin-derived catalysts for green synthesis

This review intends to introduce the application of lignin-derived catalyst for green organic synthesis over latest two decades and aims to present a renewable

期刊

CatalystGreen chemistryLigninPretreatmentSynthesis

遄达700辉煌待续

自1995年被空客A330飞机选装以来,遄达700凭借其Total Care全面维护服务已成为罗罗公司最赚钱的发动机之一。尽管作为A330的选装发动机已经使用了20年,但未来遄达700的售后服

期刊

飞机发动机市场份额销售业绩运营用户衍生启动航空订购

行动推理的研究

行动推理是人工智能的重要研究课题,本文概要地介绍了行动推理的主要研究内容.首先,介绍了行动推理的产生背景,主要任务,然后简要描述了行动推理中四大类形式方法,即基于经典

会议

行动推理逻辑的方法资格问题研究课题形式方法事件描述人工智能困难所在框架问题结果问题元理论缺陷评价模态经典

工业机器人的技术发展及其应用分析

随着现代科学技术水平的不断提升，为我国工业现代化生产的发展提供了强有力的技术支持。机器人利用现代自动化控制技术，模仿人类的行为完成一些工业生产行为。工业机器人的诞生

期刊

工业机器人技术发展应用

基于数据关联度对比的航班正点率改进思路

通过与具有相同机型的B航空公司进行数据交流和对比分析,找出与A公司机队故障率以及故障延误关联度高的维修手册上对应的重点章节进行可靠性分析,借鉴B公司成熟的维护经验,提

期刊

正点率故障率可靠性分析

空间推理及其研究现状

空间推理在AI中占有很重要的地位,在地理信息系统(GIS)、全球卫星定位系统(GPS)、机器人学、自然语言理解等方面有着广泛的应用,同时又是上述许多研究的基础和关键,是一个很

会议

空间推理空间知识表示空间信息理论人工智能

烟草行业除尘系统的安装与调试技术

期刊

基于知识联接的自动推理方法及应用

本文在利用地质、物探、测井等多学科资料进行地质综合推理中,提出一种基于知识间联接机制实现自动推理的程序设计方法.将以客观对象为中心的程序设计思想转变为以知识互连为

会议

知识联接推理程序设计设计思想主观世界中心运行过程学科资料思维过程设计方法联接机制地质抽象思维想转变物探软件互连对象测井

邻域系统上的Rough集及其被用于对公式可满足性的描述

与本文相关的学术论文