Satisfiability in intuitionistic fuzzy logic with realistic tautology

Ali Muhammad Rushdi; Muhammad Ali Rushdi; Mohamed Zarouan; Waleed Ahmad

Article Details

Satisfiability in intuitionistic fuzzy logic with realistic tautology

Authors:

Ali Muhammad Rushdi | Muhammad Ali Rushdi | Mohamed Zarouan | Waleed Ahmad

Publisher:

Kuwait University

Journal:

Kuwait Journal of Science Vol.45 Issue 2, pp.0-0

Document Type:

Article

Publication Date:

2/2018

Document Language:

English

Document ID (Org No.):

2001942915

pISSN:

2307-4116

Keywords:

Abstract:

 Any variable in Intuitionistic Fuzzy Logic (IFL) is either a Realistic Fuzzy Tautology (RFT) with a Truth exceeding one half, or a non-Realistic Fuzzy Tautology (nRFT) with a Truth less than or equal to one half. This results in a dichotomy somewhat similar to that of the Excluded Middle in Ordinary Logic (OL) albeit allowing both Falsity and Hesitancy in addition to Truth in an IFL variable. Consequently, many problems (and solutions) in Boolean logic can be fuzzified without any significant change in their essence. We show herein that one such problem is that of Boolean satisfiability. We handle this problem by converting a CNF expression into a disjoint DNF one, and solving the resulting two-valued Boolean equation. This solution strategy is essentially retained in IFL, thanks to the RFT concept. All steps needed in the fuzzification process are proved, and a demonstrative example illustrates the method in both crisp and intuitionistic fuzzy cases.

Article Details

Satisfiability in intuitionistic fuzzy logic with realistic tautology

Authors:

Ali Muhammad Rushdi | Muhammad Ali Rushdi | Mohamed Zarouan | Waleed Ahmad

Publisher:

Kuwait University

Journal:

Kuwait Journal of Science Vol.45 Issue 2, pp.0-0

Document Type:

Article

Publication Date:

2/2018

Document Language:

English

Document ID (Org No.):

2001942915

pISSN:

2307-4116

Intuitionistic fuzzy logic

Realistic fuzzy tautology

Boolean satisfiability

CNF expression

Disjoint DNF expression

Issues

Article Details

Satisfiability in intuitionistic fuzzy logic with realistic tautology

Authors: Ali Muhammad Rushdi | Muhammad Ali Rushdi | Mohamed Zarouan | Waleed Ahmad

Publisher: Kuwait University

Journal: Kuwait Journal of Science Vol.45 Issue 2, pp.0-0

Document Type: Article

Publication Date: 2/2018

Document Language: English

Document ID (Org No.): 2001942915

pISSN: 2307-4116

Intuitionistic fuzzy logic

Realistic fuzzy tautology

Boolean satisfiability

CNF expression

Disjoint DNF expression

Issues

Authors:

Ali Muhammad Rushdi | Muhammad Ali Rushdi | Mohamed Zarouan | Waleed Ahmad

Publisher:

Kuwait University

Journal:

Kuwait Journal of Science Vol.45 Issue 2, pp.0-0

Document Type:

Article

Publication Date:

2/2018

Document Language:

English

Document ID (Org No.):

2001942915

pISSN:

2307-4116