arXiv:2205.01269 Abstract | arXiv Analytics

arXiv:2205.01269 [math.LO]Abstract References Reviews Resources

Modus ponens and modus tollens for the compositional rule of inference with aggregation functions

Published 2022-05-03Version 1

The compositional rule of inference (CRI) proposed by Zadeh has been widely applied in artificial intelligence, control, data mining, image processing, decision making and so on. Recently, Li and Zeng [Li, D., Zeng, Q. Approximate reasoning with aggregation functions satisfying GMP rules, Artificial Intelligence Review (2022), https://doi.org/10.1007/s10462-022-10136-1] shown an A-compositional rule of inference (ACRI) method in which generalizes the t-norm to any aggregation function in CRI method and studied its validity using GMP rules. In this paper, we continue to investigate the validity of ACRI method from a logical view and an interpolative view. Specifically, to discuss the modus ponens (MP) and modus tollens (MT) properties of ACRI method based on well-known fuzzy implications with aggregation functions.

Comments: arXiv admin note: text overlap with arXiv:2112.12808

Categories: math.LO, cs.AI

Keywords: modus tollens, modus ponens, compositional rule, acri method, aggregation functions satisfying gmp rules

Related articles: Most relevant | Search more

arXiv:2006.15269 [math.LO] (Published 2020-06-27)

Approximate reasoning with aggregation functions satisfying GMP rules

Dechao Li, Qingxue Zeng

arXiv:math/9607204 [math.LO] (Published 1996-07-05)

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

Alessandra Carbone, S. Semmes

arXiv:1810.03437 [math.LO] (Published 2018-09-18)

Modus Ponens And Modus Tollens In Linguistic Truth-Valued Propositional Logic