<< Volver atrás

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