论文部分内容阅读
将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统.
次协调的模态逻辑
【摘 要】
：
将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正
【机 构】
：
吉林大学计算机科学系,长春,130023
【出 处】
：
软件学报
【发表日期】
：
1998年11期
其他文献
戴维·洛奇是英国当代最杰出的文学批评家和小说家之一。他的“校园小说”,尤其是被誉为“校园三部曲”的巅峰之作《换位》、《小世界》和《美好的工作》一直是国内外学者的
田临选煤厂供水泵站原控制主要采用继电一接触器系统,每台设备均需人工操作,水池液位如厂房水箱液位,储水池液位采用人工现场观察,或采用电极检测其高低,故障率极高,经常出现
长春公交rn长春公交集团“不忘初心、牢记使命”主题教育工作会议以习近平新时代中国特色社会主义思想为指导,深入学习贯彻习近平总书记在“不忘初心、牢记使命”主题教育工
期刊
故障现象：联想扬天B460-ITH笔记本，开机时总会弹出扬天数据安全管理窗口，每次都要手动点击关闭，较为麻烦。rn解决办法：该问题主要是因为部分安全软件优化启动项后，导致和私密文件柜
杜溶是清初遗民诗人中的皎皎者,无论是其人格或是文学创作都得到了当世及后人的高度评价。本论文除前言、结语及附录外,正文共分三章,分别探讨杜溶的家世生平及交游、诗歌理
不久前由于气温的原因，之前一直正常使用的华为HG553变得不稳定了，频繁掉线，无奈之下，将电信赠送的中兴608B破解路由功能后使用，有线上网速度正常，和HG553没有什么差别，不过在使用笔
20世纪90年代，长篇小说创作的繁荣与成就，是一个重要的、带有标志性意义的文学现象。女性长篇小说的写作也出现了高峰时期，她们开始抛弃男性立场，以独立自主的社会存在形态去大胆
电脑主机放在书桌下面，不小心在开机的状态下踢到机箱，当时系统就死机了，拔掉电源后重新开机，电脑无法启动。重新安装系统后，启动速度变得奇慢，进入Windows系统都要4分钟左右，明显不
爱国主义教育是历史教学中一个永恒的主题,对历史教学中爱国主义教育开展的途径和方法进行了思考和探索,强调在教学中,要注重发挥历史学科特性,充分挖掘教学内容中适宜进行爱