Resumen

El Método Silogístico Moderno (MSM) de lógica proposicional descubre de un conjunto de premisas lo que se puede concluir de manera más compacta. El MSM combina las premisas en una sola función igualada a 1 y luego produce el producto completo de esta función. Se desarrollan dos versiones difusas de MSM en la Lógica Difusa Ordinaria (OFL) y en la Lógica Difusa Intuicionista (IFL) con estas lógicas aumentadas por el concepto de Tautología Difusa Realista (RFT) que es una variable cuya verdad excede 0.5. El artículo prueba formalmente cada uno de los pasos necesarios en la conversión del MSM ordinario en uno difuso. Las pruebas se basan principalmente en la exitosa sustitución de la lógica 1 (o tautología ordinaria) por un RFT. También se presenta una versión mejorada del algoritmo de Blake-Tison para generar el producto completo de una función lógica y se muestra que es aplicable tanto a las versiones nítidas como difusas del MSM. La metodología

• Materias:Internet de las cosas Inteligencia artificial Contaminantes atmosféricos Sistema biométrico Aplicaciones
• Subjects:Internet of things Artificial intelligence Air pollutants Biometric system Applications
• Palabras claves:Moderno; Método silogístico; Lógica proposicional; Difuso; Tautología difusa realista; Algoritmo
• Keywords:Modern; Syllogistic method; Propositional logic; Fuzzy; Realistic fuzzy tautology; Algorithm