Tesis:
Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional
- Autor: ROMANIEGA LANGA, Anselmo
- Título: Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional
- Fecha: 1986
- Materia: CIENCIAS TECNOLÓGICAS. Teseo;TECNOLOGÍA DE LA ALIMENTACIÓN. Teseo;PANADERÍA. Teseo
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: ALFONSECA MORENO, Manuel
- Resumen: Se definen axiomática y semánticamente varios sistemas de lógica modal ocasional en base a una generalización del cálculo de proposiciones y del cálculo elemental de predicados mediante la incorporación de conceptos modales que permitan la formulación de matices de tiempo o circunstancias. Para cada sistema se construye un procedimiento para verificar la validez de sus fórmulas