title: A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology.
abstract: The Modern Syllogistic Method (MSM) of propositional logic ferrets out from a set of premises all that can be concluded from it in the most compact form. The MSM combines the premises into a single function equated to 1 and then produces the complete product of this function. Two fuzzy versions of MSM are developed in Ordinary Fuzzy Logic (OFL) and in Intuitionistic Fuzzy Logic (IFL) with these logics augmented by the concept of Realistic Fuzzy Tautology (RFT) which is a variable whose truth exceeds 0.5. The paper formally proves each of the steps needed in the conversion of the ordinary MSM into a fuzzy one. The proofs rely mainly on the successful replacement of logic 1 (or ordinary tautology) by an RFT. An improved version of Blake-Tison algorithm for generating the complete product of a logical function is also presented and shown to be applicable to both crisp and fuzzy versions of the MSM. The fuzzy MSM methodology is illustrated by three specific examples, which delineate differences with the crisp MSM, address the question of validity values of consequences, tackle the problem of inconsistency when it arises, and demonstrate the utility of the concept of Realistic Fuzzy Tautology.
authors.affiliation: Department of Electrical and Computer Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia.
authors.forename: Ali Muhammad
authors.initials: AM
authors.lastname: Rushdi
authors.affiliation: Department of Electrical and Computer Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia.
authors.forename: Mohamed
authors.initials: M
authors.lastname: Zarouan
authors.affiliation: Department of Electrical and Computer Engineering, Faculty of Engineering, King Abdulaziz University, P.O. Box 80204, Jeddah 21589, Saudi Arabia.
authors.forename: Taleb Mansour
authors.initials: TM
authors.lastname: Alshehri
authors.affiliation: Department of Biomedical and Systems Engineering, Cairo University, Giza 12613, Egypt.
authors.forename: Muhammad Ali
authors.initials: MA
authors.lastname: Rushdi