Tesis:

MENTAL. Un lenguaje genérico de especificación de paradigma semántico.


  • Autor: RODRIGUEZ-ROSELLO MARTINEZ, Miguel Angel

  • Título: MENTAL. Un lenguaje genérico de especificación de paradigma semántico.

  • Fecha: 2003

  • Materia: Sin materia definida

  • Escuela: FACULTAD DE INFORMATICA

  • Departamentos: INTELIGENCIA ARTIFICIAL

  • Acceso electrónico:

  • Director/a 1º: GONZALO MOLINA, Rafael
  • Director/a 2º: PALENCIA ALEJANDRO, Valentín

  • Resumen: La Tesis plantea un nuevo paradigma de programación denominado "Semántico" y un nuevo lenguaje, llamado MENTAL, basado en dicho paradigma. El Paradigma Semántico es de tipo integrado, pues hace referencia a los mecanismos profundos de tipo genérico presentes en todos los paradigmas y lenguajes, así corno en la Matemática. Su nombre evoca la naturaleza semántica de la mente, es decir, a su carácter sintético, analógico, genérico e integrador. MENTAL es un lenguaje de "muy alto nivel" que se compone únicamente de 12 simples operaciones genéricas primitivas (primitivas semánticas) que constituyen un conjunto de tipo ortogonal (independientes entre sí). Estos mecanismos genéricos (o recursos semánticos primitivos) se pueden considerar realmente como dimensiones o grados de libertad de la mente, a partir de los cuales se generan y estructuran otros recursos semánticos (derivados). Por combinatoria de dichas operaciones genéricas primitivas se obtiene la complejidad del mundo. Esta complejidad es sólo aparente, pues se trata de la combinatoria de las mismas leyes actuando en todos los niveles.