Semántica

Existen muchas formas de represertar conocimiento en forma sintáctica.

El autor se refiere a un scheme: representación sistemática de conocimiento (e.g., lógica, lenguajes de programación, notación musical, convenciones de mapas, etc).

Una configuración es una expresión de un scheme, por lo que un scheme es un conjunto de configuraciones.

Todos son formales en el sentido que pueden contestar si una expresión está bien formada (well-formed).

Ejemplos que fallan (no se pueden establecer que algo sea well/ill-formed): pinturas, fotografías, poemas, conversaciones, conciertos musicales, etc.

Esto permite hacer la distinción entre schemes (formales) que pueden ser usados por una máquina y escenas o situaciones de percepción (informales) que requieren el uso de conocimiento para su interpretación.

El scheme sirve como mecanismo de convenir un cierto sentido acerca del mundo, por lo que debe de tener asociado una teoría semántica (i.e., correspondencia entre configuraciones del scheme y situaciones del mundo externo).

Con una teoría semántica (y sólamente con una) se pueden hacer preguntas de equivalencias (entre diferentes representaciones o schemes).

Algo que resalta es la semántica de lógica de primer orden (a la Tarsky).

El que se tenga una semántica, no quiere decir que sea precisa, sin embargo, sin ella no se puede decir lo que expresa una configuración.

El pensar en un formalismo sólamente como un lenguaje de programación es otro asunto.