Three-valued logics became a classical topic for logicians and not surprisingly, they were extended to partial fuzzy logics that allow modeling distinct types of undefined truth-values, i.e., values, that are neither true nor false, even in the graded sense. Such logics and related algebras may model reasoning with non-denoting terms, missing or unknown values, and other interesting cases. However, in order to be able to model real cases, the algebraic models need to be mirrored in applied tools such as inference systems. Therefore, the investigation of partial fuzzy relational equations that question the most natural property of such systems is a straightforward step. This step has been already made, however, satisfactory results were obtained only for the direct product inference (compositional rule of inference). Intuitively, this was due to the application of partial algebras that employ the so-called lower boundary strategy. This article introduces upper boundary algebraic strategy and shows, that equally satisfactory results may be obtained also for the Bandler-Kohout subproduct.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Suitability of Upper Boundary Algebra for Solving Partial Fuzzy Relational Equations

  • Nhung Cao,
  • Martin Štěpnička

摘要

Three-valued logics became a classical topic for logicians and not surprisingly, they were extended to partial fuzzy logics that allow modeling distinct types of undefined truth-values, i.e., values, that are neither true nor false, even in the graded sense. Such logics and related algebras may model reasoning with non-denoting terms, missing or unknown values, and other interesting cases. However, in order to be able to model real cases, the algebraic models need to be mirrored in applied tools such as inference systems. Therefore, the investigation of partial fuzzy relational equations that question the most natural property of such systems is a straightforward step. This step has been already made, however, satisfactory results were obtained only for the direct product inference (compositional rule of inference). Intuitively, this was due to the application of partial algebras that employ the so-called lower boundary strategy. This article introduces upper boundary algebraic strategy and shows, that equally satisfactory results may be obtained also for the Bandler-Kohout subproduct.