Confirmation and denial as plausible modes of fuzzy inference. (English) Zbl 0915.03025
Summary: The two plausible modes of inference, confirmation and denial, which are invalid in classical logic become legitimate in fuzzy logic where rules may be partially true. These modes can provide valid and useful information in the context of expert reasoning. It is shown that for the class of strong implication functions, confirmation and denial functions may be generated which always provide a lower bound on the truth of an assertion.
MSC:
| 03B52 | Fuzzy logic; logic of vagueness |
| 68T27 | Logic in artificial intelligence |
| 68T35 | Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence |
| 03B50 | Many-valued logic |
Keywords:
expert systems; approximate reasoning; plausible modes of inference; confirmation; denial; fuzzy logic; expert reasoning; strong implication functionsReferences:
| [1] | Bandler, W.; Kohout, L. J., The four modes of inference in fuzzy expert systems, (Trappl, R., Cybernetics and Systems Research, 2 (1984), North-Holland: North-Holland New York) · Zbl 0853.68163 |
| [2] | Bandler, W.; Kohout, L. J., Probabilistic versus fuzzy production rules in expert systems, Internat. J. Man Machine Studies, 22, 347-353 (1985) |
| [3] | Dubois, D.; Prade, H., Fuzzy Sets and Systems: Theory and Applications (1980), Academic Press: Academic Press New York · Zbl 0444.94049 |
| [4] | Hall, L. O., The choice of ply operators in fuzzy intelligent systems, Fuzzy Sets and Systems, 34, 135-144 (1990) · Zbl 0689.68108 |
| [5] | Hall, L. O.; Kandel, A., Designing Fuzzy Expert Systems (1986), Verlag TUV: Verlag TUV Rheinland, Germany |
| [6] | Trillas, E.; Valverde, L., On implication and indistinguishability in the setting of fuzzy logic, (Yager, R. R.; Kacprzyk, J., Management Decision Support Systems using Fuzzy Set and Possibility Theory (1984), Verlag (TUV): Verlag (TUV) Germany) · Zbl 0564.03027 |
| [7] | Trillas, E.; Valverde, L., On mode and implication in approximate reasoning, (Gupta, M. M.; etal., Approximate Reasoning in Expert Systems (1985), Elsevier: Elsevier Amsterdam) · Zbl 0546.03015 |
| [8] | Valverde, L.; Trillas, E., On modus ponens in fuzzy logic, (Proc. 15th Internat. Symp. on Multiple-Valued Logic. Proc. 15th Internat. Symp. on Multiple-Valued Logic, Kingston, Ont., Canada (1985)) · Zbl 0546.03015 |
| [9] | Whalen, T.; Schott, B., Presumption and prejudice in logical inference, Internat. J. Approximate Reasoning, 3, 359-382 (1989) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
