Modeling sorites reasoning with adaptive fuzzy logic

TitleModeling sorites reasoning with adaptive fuzzy logic
Publication TypeJournal Article
Year of Publication2008
Authorsvan Gulik, Svan der Wa, Verdée, P
JournalFuzzy Sets and Systems

We present and discuss a new solution for reasoning with sorites series and their related paradoxes.We argue that a suitable logic for sorites series should be able to apply specific classical logic rules like modus ponens until and unless it becomes apparent that these applications generate unacceptable results. When the latter happens, the logic should be able to retract those applications of classical logic rules that are problematic. The formal core of our solution consists of several adaptive logics based on a Łukasiewicz fuzzy logic extended with the Baaz’ △-operator and a non-singleton interval of designated values. The natural dynamics characteristic of adaptive logics allows these logics to perform necessary retractions in an intuitive and elegant manner. © 2008 Elsevier B.V. All rights reserved.

Citation Key428175