论文部分内容阅读
在模糊命题逻辑系统F^M1的基础上，建立了一个基于FI一代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念，并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。
基于FI-代数的一阶模糊谓词演算逻辑系统
【摘 要】
：
在模糊命题逻辑系统F^M1的基础上，建立了一个基于FI一代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念，并基于安全的M-解释研究了其可靠性。这些结果将有利于
【机 构】
：
广州航海高等专科学校基础部
【出 处】
：
模糊系统与数学
【发表日期】
：
2008年4期
【基金项目】
：
广东省自然科学基金资助项目（021073）,肇庆学院自然科学研究项目（0663）
其他文献
提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。
<正> 导致肺动脉高压的原因很多:如二尖瓣狭窄或肺静脉闭塞使肺静脉回流受阻以致被动地形成肺动脉高压;当房间隔缺损;巨大肺动脉瘘以及其它先天性心血管畸形,肺血流量增加,出
期刊
关于二元函数的连续,经典数学分析中有熟知的结果,即“如果二元函数连续,则必关于每个单变量连续。反之,则未必”。本文证明对于单调且对称的二元函数而言,其二元连续等价于
在今天多样化激烈竞争的市场环境中，企业制造商们需要在最短的时间内设计和验证产品性能，将最好的产品以最快的速度投放市场。企业设计研发部门所使用的传统的工程分析方法是利
作为全国政治、经济、交通和文化中心，北京是世界闻名的历史古城、文化名城，如今又成为了中国“软件名城”的试点城市。虽然还没有正式授牌，但北京在软件和信息服务产业的发展有
基于模糊球概念构造了一个具有向量形式规则的模糊逻辑系统，然后利用其逼近性质给出了在紧致域上逼近多元连续函数的方法。首先，依据所给论域自身的几何特点，将其进行模糊划分，其
全国各地各个年份的农产品市场价格数据量庞大,而海量的农产品的市场价格数据中无可避免存在超出市场正常价格范围的异常价格元素,这对搜索引擎农产品市场价格的统计分析与预
电子行业正在发生根本性变革。随着越来越多的功能从分立器件转向可编程领域，不同设计流程也在融合。物理平台设计、可编程器件中的功能实现及设计中软件元素的开发都不再是独
机械制造业具备着多工序、多样性以及复杂化的特点,它所面临的挑战不仅来自于客户,同时更来自于同行业的挑战。在这种形势下,机械制造业如果想要取得较好的业绩,目标成本管理