Esteu aquí

DENOC

Non-Canonical Automated Deduction
des. 2000 - des. 2003
Investigador principal
Project description
El presente proyecto se integra dentro del campo de la Deducción Automática. Actualmente, su aplicacion se extiende al ámbito de diversas áreas temáticas tanto de la Ingeniería como de las Ciencias de la Computación. Dada la gran variedad de tipos de conocimiento requeridos en las diversas áreas cognitivas, en este proyecto exploraremos diversos métodos de representación complementarios entre sí y abarcando tanto lenguajes clásicos como de reciente actualidad. También analizaremos la manera en que cada lenguaje considerado peculiariza las reglas de inferencia y el modo en que éstas deben encadenarse con eficiencia en un proceso deductivo. Los lenguajes que serán estudiados se circunscriben a la deducción lógica no canónica. Más concretamente, profundizaremos en los sistemas deductivos basados en: formas no clausales, teorías con relaciones binarias especiales, unificación en contextos no canónicos y sintaxis diagramáticas. Por tanto, nuestro propósito es estudiar y desarrollar diversos sistemas deductivos con diferentes formalismos de representación lógica no canónica que serán descritos en la memoria técnico-científica.