Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional

• Autores: Anselmo Romaniega Langa
• Directores de la Tesis: Manuel Alfonseca Moreno (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1986
• Idioma: español
• Tribunal Calificador de la Tesis: Juan José Scala Estalella (presid.), Rafael Gonzalo Molina (secret.), Luis María Laita de la Rica (voc.), Juan Pazos Sierra (voc.), José Fernández Prida (voc.)
• Materias:
  • Ciencias tecnológicas
    • Tecnología de los alimentos
      • Panadería
• Texto completo no disponible (Saber más ...)
• 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.