El formalismo semántico en la interfaz de lenguaje natural de Prógenes

Abstract

El presente artículo describe los mecanismos semánticos que ponen en relación el enunciado, en castellano, de un problema de matemáticas o física y su representación en el lenguaje formal Prógenes. Aunque inspirados en el formalismo semántico de UCG (Gramática Categorial de Unificación), la distancia entre sus principios generales y la aplicación práctica en nuestro dominio requiere su adaptación y modificación. En Prógenes, para incorporar las modificaciones se sigue un paradigma de representación orientada a objetos. Dentro de él, no solo se adopta una red de herencia en la que realizar el léxico, lo que es ya una práctica común en las corrientes lingüísticas actuales, sino que, además, se modifica la forma de especificar la gramática, que se define como una gramática por defecto sobre clases y no sobre constituyentes ni en forma de principios universales. Surgen así los conceptos de regla por defecto y grado de especificidad de una gramática. La generalidad de estos principios permite considerarlos como una estrategia para ajustar un formalismo general a una tarea específica, introduciendo las excepciones de forma modular.