论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文基于邻域系统定义了邻域拓扑内点(I)和邻域拓扑闭包(C),并由它定义了邻域系统上的Rough集.利用邻域拓扑内点和邻域拓扑闭包描述了一个公式可满足性的二种类型;邻域拓扑内
【机 构】
：
南昌大学计算机与信息学院(南昌)
【出 处】
：
第六届中国人工智能职合学术会议
【发表日期】
：
2001年期
其他文献
行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困
改革开放 30年来，中国从“农村社会”向“城市社会”转变，当前的规划管理体制起到了积极的推动作用。中国的城市规划建设基本走上了循序渐进的发展轨道，城市规划和建设也取得了
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
自1995年被空客A330飞机选装以来,遄达700凭借其Total Care全面维护服务已成为罗罗公司最赚钱的发动机之一。尽管作为A330的选装发动机已经使用了20年,但未来遄达700的售后服
行动推理是人工智能的重要研究课题,本文概要地介绍了行动推理的主要研究内容.首先,介绍了行动推理的产生背景,主要任务,然后简要描述了行动推理中四大类形式方法,即基于经典
随着现代科学技术水平的不断提升，为我国工业现代化生产的发展提供了强有力的技术支持。机器人利用现代自动化控制技术，模仿人类的行为完成一些工业生产行为。工业机器人的诞生
通过与具有相同机型的B航空公司进行数据交流和对比分析,找出与A公司机队故障率以及故障延误关联度高的维修手册上对应的重点章节进行可靠性分析,借鉴B公司成熟的维护经验,提
空间推理在AI中占有很重要的地位,在地理信息系统(GIS)、全球卫星定位系统(GPS)、机器人学、自然语言理解等方面有着广泛的应用,同时又是上述许多研究的基础和关键,是一个很