论文部分内容阅读
为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证明了对于适当的语法语义协调水平，当Lvpl的公式集的L型模糊集为同态映射时，它们关于这几类推理规则都在一定程度上封闭.
格值命题逻辑系统Lvpl中的推理规则
【摘 要】
：
为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证
【机 构】
：
西南交通大学智能控制开发中心
【出 处】
：
西南交通大学学报
【发表日期】
：
2006年2期
【基金项目】
：
国家自然科学基金资助项目（60474022）
其他文献
本文将蔡少棠(L,O,Chua)教授提出的规范型分段线性化表达式用于非线性控制系统,使静态非线性控制环节的模型规律化、简单化。作者提出具有回线特性环节的规范型分段线性化模
分析了700MW超超临界机组引增合一改造后引风机RB试验全过程,根据试验涉及的关键控制点提出了逻辑优化方案,并进行了引风机RB试验,试验结果表明RB控制逻辑调节性能正常,满足R
本文阐述了应用最小二乘的递推算法,在线辨识过程参数的原理与方法。并根据对一实际锅炉汽包水位调节系统的现场实验,利用多种推广的最小二乘递推算法建立了该对象的数学模型
本文向读者推荐一种以单回路可编程序调节器与个人计算机组成的“小集散”系统。该系统不仅有较高的可靠性,而且对于中,小规模的自动控制系统有较好的价格性能比,较适合我国
目前国内中小轧钢厂大多还是人工控制轧机、人工剪切、人工记录炉号和钢坯根数,再加上设备陈旧和生产环境比较恶劣,所以常常发生误操作、误计数、剪切误差大等现象,不但浪费
针对目前钢铁行业生产过程中生产管理手段落后,各信息系统之间缺乏沟通,生产成本偏高的现状提出了一种针对钢铁行业的生产管理系统模型.该模型以Java中间件为主要手段,实现了
针对大倾角综采工作面的液压支架失稳难题,首先对2313工作面进行现场调研,分析其具体地质生产条件下的液压支架失稳特性,然后建立液压支架—围岩耦合模型并分析其耦合特性,进
<正> 日本八幡炼铁厂为了从根本上改进能源管理部门的工作,实现了主要能源设备的运转自动化和远距离监视控制,在能源中心对运行进行全盘统一管理。而且建立了以支持能源供需