Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos

Presentamos un procedimiento de decisión ecuacional a la Dijkstra & Scholten para la 'Lógica Silogística con Complementos'. Primero, damos una axiomatización ecuacional de la lógica proposicional de Dijkstra & Scholten y mostramos cómo da un procedimiento de decisión para la lógica proposicional mediante la reescritura de términos ecuacionales. También mostramos cómo se pueden obtener de manera eficiente ciertos modelos proposicionales (es decir, asignaciones de verdad sobre variables proposicionales) a partir de las formas canónicas dadas por el sistema. Luego presentamos la Lógica Silogística con Complementos y mostramos cómo el procedimiento de decisión para la lógica proposicional puede extenderse fácilmente para obtener un procedimiento de decisión para este subconjunto de la Lógica Primero•Onier. Además, se presenta una especificación ejecutable de ambos procedimientos de decisión en el sistema de Maude y se dan ejemplos que ilustran el uso de ambos sistemas ecuacionales canónicos.

• Autores: Rocha, Camilo; Meseguer, José
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2007
• Institución: Universidad Autónoma de Bucaramanga - UNAB
• Repositorio: Repositorio UNAB
• Idioma: spa
• OAI Identifier: oai:repository.unab.edu.co:20.500.12749/8996
• Acceso en línea: http://hdl.handle.net/20.500.12749/8996
• Palabra clave: Innovaciones tecnológicas; Ciencia de los computadores; Desarrollo de tecnología; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y las comunicaciones; TIC´s; Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Syllogistic logic with complements; Decision procedure; Equational logic; Rewriting logic; Maude; Innovaciones tecnológicas; Ciencias de la computación; Desarrollo tecnológico; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicación; Lógica silogística con complementos; Procedimiento de decisión; Lógica ecuacional; Reescritura de lógica
• License: Derechos de autor 2007 Revista Colombiana de Computación