An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
Título del documento: An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
Revista: Polibits
Base de datos: PERIÓDICA
Número de sistema: 000402974
ISSN: 1870-9044
Autores: 1
1
2
1
Instituciones: 1Universidad del Norte, Barranquilla, Atlántico. Colombia
2Universidad Autónoma del Caribe, Departamento de Ingeniería Electrónica y Telecomunicaciones, Barranquilla, Atlántico. Colombia
Año:
Periodo: Jul-Dic
Número: 52
Paginación: 79-84
País: México
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Analítico
Resumen en inglés This paper presents a methodology for evaluating propositional logic satisfiability using resolution-refutation. The method applies a strategy based on an algebra developed by the authors that estimates the possible outcomes of the expression and generates a logic value for refuting or accepting the satisfiability of the argument
Disciplinas: Ciencias de la computación,
Filosofía,
Matemáticas
Palabras clave: Inteligencia artificial,
Lógica,
Matemáticas aplicadas,
Lógica matemática,
Satisfacibilidad
Keyword: Computer science,
Philosophy,
Mathematics,
Artificial intelligence,
Logic,
Applied mathematics,
Mathematical logic,
Satisfiability
Texto completo: Texto completo (Ver PDF)