...
首页> 外文期刊>Fuzzy sets and systems >Relational Compositions In Fuzzy Class Theory
【24h】

Relational Compositions In Fuzzy Class Theory

机译:模糊类理论中的关系成分

获取原文
获取原文并翻译 | 示例
           

摘要

We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R images, pre-images, Cartesian products, domains, ranges, resizes, inclusion, height, plinth, etc. Besides yielding a large number of theorems on fuzzy relations as simple corollaries of a few basic principles, the method provides a systematization of the family of relational notions and generates a simple equational calculus for proving elementary identities between them, thus trivializing a large part of the theory of fuzzy relations.
机译:我们提出了一种在模糊关系和类的形式理论中对某些形式的定理进行大规模证明的方法。该方法基于对具有某些模糊关系的模糊类和内部真值的形式识别,从而可以将sup-T和inf-R合成的基本属性转移到30个以上与合成相关的操作的家族中,包括sup-T和inf-R图像,原图像,笛卡尔乘积,范围,范围,大小,内含物,高度,底座等。除了产生一些基于模糊关系的定理作为一些基本原理的简单推论外,该方法还提供了系统化方法关系概念的概念,并生成一个简单的方程式演算来证明它们之间的基本身份,从而使模糊关系理论的很大一部分变得微不足道。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号