SEMÁNTICA
Semántica proviene de un vocablo griego que puede traducirse como “significativo”. Se trata de aquello perteneciente o relativo a la significación de las palabras. Por extensión, se conoce como semántica al estudio del significado de los signos lingüísticos y de sus combinaciones.

La semántica lingüística estudia la codificación del significado en el contexto de las expresiones lingüísticas. Puede dividirse en semántica estructural y semántica léxica. La denotación (la relación entre un palabra y aquello a lo que se refiere) y la connotación (la relación entre una palabra y su significado de acuerdo a ciertas experiencias y al contexto) son objetos de interés de la semántica.

La semántica lógica, por otra parte, se encarga del análisis de los problemas lógicos de significación. Para esto estudia los signos (paréntesis, cuantificados, etc.), las variables y constantes, los predicados y las reglas.

De ahí precisamente que este tipo de semántica sea el que se utiliza en el campo de las ciencias, concretamente de las matemáticas. Y es que en esta área se establecen estructuras y elementos que se relacionan entre sí. Este sería el caso de los conjuntos y grupos de diversa índole.

Interpretación Semántica

La Forma Lógica se obtiene después de dos procesos, a partir de la secuencia de palabras que constituye la frase de salida del sistema de reconocimiento de habla. El primer proceso es el Análisis Sintáctico que obtiene la estructura arbórea de la frase (Árbol Sintáctico), sin reflejar el significado de la misma, sólo cómo se agrupan las palabras para dar lugar a los sintagmas en la frase. Ofrece información acerca de la importancia de ciertas palabras y cómo algunas de ellas modifican a otras. Para ello utiliza una gramática de análisis estructural y un lexicón (diccionario de palabras, normalmente categorizado). El segundo proceso se conoce como Análisis Semántico(es el proceso de Interpretación Semántica en sí), que obtiene el significado de las palabras, de modo independiente del contexto, y que se conoce como Forma Lógica.