Approximate reasoning is about reasoning with imperfect information. Nowadays, a large
diversity of approaches to approximate reasoning with fuzzy information and fuzzy type-2 …

Uncertainty and imprecision characterize human cognitive and reasoning processes. Fuzzy
cognitive maps (FCMs) are computationally simple yet effective structures to approximately …

Uncertain computation is a system of computation and reasoning in which the objects of
computation are not values of variables but restrictions on values of variables. This …

Communication between information systems is a basic problem in granular computing, and
the concept of homomorphism is a useful mathematical tool to study this problem. In this …

随着模糊集的产生与发展, 模糊推理已经成为计算智能领域的重要组成部分.
对于模糊推理的基本问题, 国内外学者进行了广泛研究, 提出多种模糊推理算法 …

Resolution is useful in modelling the refutation proof procedure for mechanical theorem
proving. Resolution is used in constructing aproof'of atheorem'. An attempt is made to utilize …

Based on our previous researchs about generalized modus ponens (GMP) with linguistic
modifiers for If… Then rules, this paper proposes new generalized modus tollens (GMT) …

The construction of fuzzy conditional relations has been considered in Raha's similarity-
based inference schema, but inappropriate conclusions will be drawn in some cases due to …

冯志强, 韩峻峰, 黄伟铭, 等. 基于相似修正关系推理的焊接工艺决策[J]. 智能系统学报, 2020, 15
(5): 880-887. DOI: 10.11992/tis. 201901005.FENG Zhiqiang, HAN Junfeng, HUANG …

An approach to proving theorems with fuzzy and not quite true argumentation is considered.
Zadeh's compositional rule of inference is used as the rule of provably correct reasoning …