| Journal: | Polibits |
| Database: | PERIÓDICA |
| System number: | 000402974 |
| ISSN: | 1870-9044 |
| Authors: | Zurek, Eduardo1 Zurbaran, Mayra1 Gamarra, Margarita2 Wightman, Pedro1 |
| Institutions: | 1Universidad del Norte, Barranquilla, Atlántico. Colombia 2Universidad Autónoma del Caribe, Departamento de Ingeniería Electrónica y Telecomunicaciones, Barranquilla, Atlántico. Colombia |
| Year: | 2015 |
| Season: | Jul-Dic |
| Number: | 52 |
| Pages: | 79-84 |
| Country: | México |
| Language: | Inglés |
| Document type: | Artículo |
| Approach: | Analítico |
| English abstract | 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 |
| Disciplines: | Ciencias de la computación, Filosofía, Matemáticas |
| Keyword: | 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 |
| Full text: | Texto completo (Ver PDF) |
