A Fuzzy Logic Based Resolution Principal for Approximate Reasoning
- 1 Dassault Systemes, Boston, MA, USA
Abstract
In this article, we present a systemic approach toward a fuzzy logic based formalization of an approximate reasoning methodology in a fuzzy resolution, where we derive a truth value of A from both values of B → A and B by some mechanism. For this purpose, we utilize a t-norm fuzzy logic, in which an implication operator is a root of both graduated conjunction and disjunction operators. Furthermore by using an inverse approximate reasoning, we conclude the truth value of A from both values of B → A and B, applying an altogether different mechanism. A current research is utilizing an approximate reasoning methodology, which is based on a similarity relation for a fuzzification, while similarity measure is utilized in fuzzy inference mechanism. This approach is applied to both generalized modus-ponens/modus-tollens syllogisms and is well-illustrated with artificial examples.
- Tserkovny, A. (2017) A t-Norm Fuzzy Logic for Approximate Reasoning. Journal of Software Engineering and Applications, 10, 639-662. https://doi.org/10.4236/jsea.2017.107035
- Robinson, J.A. (1965) A Machine Oriented Logic Based on the Resolution Principle. Journal of the ACM, 12, 23-41. https://doi.org/10.1145/321250.321253
- Mukaidono, M. (1988) Fuzzy Inference of Resolution Style. In: Yager, R.R., Ed., Fuzzy Set and Possibility Theory, Pergamon Press, New York, 224-231.
- Mondal, B. and Raha, S. (2013) Approximate Reasoning in Fuzzy Resolution. International Journal of Intelligence Science, 3, 86-98. https://doi.org/10.4236/ijis.2013.32010
- Aliev, R.A. and Tserkovny, A. (1988) The Knowledge Representation in Intelligent Robots Based on Fuzzy Sets. Soviet Mathematics Doklady, 37, 541-544.
- Aliev, R.A., Mamedova, G.A. and Tserkovny, A.E. (1991) Fuzzy Control Systems, Energoatomizdat, Moscow.
- Aliev, R.A., Fazlollahi, B. and Aliev, R.R., Eds. (2004) Soft Computing and Its Application in Business and Economics. In: Studies in Fuzziness and Soft Computing, Vol. 157, Physica-Verlag, A Spriger-Verlag Company, Berlin Heidelberg. https://doi.org/10.1007/978-3-540-44429-9
- Aliev, R.A. and Tserkovny, A. (2011) Systemic Approach to Fuzzy Logic Formalization for Approximate Reasoning. Information Sciences, 181, 1045-1059. https://doi.org/10.1016/j.ins.2010.11.021
- Tserkovny, A. (2016) Fuzzy Logic for Incidence Geometry. The Scientific World Journal, 2016, Article ID: 9057263. https://doi.org/10.1155/2016/9057263
- Fuller, R. and Zimmermann, H.-J. (1993) On Zadeh’s Compositional Rule of Inference. In: Lowen, R. and Roubens, M., Eds., Fuzzy Logic: State of the Art, Theory and Decision Library, Series D, Kluwer Academic Publisher, Dordrecht, 193-200. https://doi.org/10.1007/978-94-011-2014-2_19