Entendimiento del lenguaje natural (NLU)

Basado en el conocimiento lingüístico, el entendimiento del lenguaje natural, traduce las peticiones en formas internas que representan el entendimiento inicial, esta conversión es independiente de la aplicación.

Compilación del dominio (DCO)

El conocimiento del dominio de la aplicación es la base del trabajo de la compilación del dominio. Cada dominio tiene su propia base de conocimiento (BC), dentro de la cual son guardados y manejados todos los conceptos posibles asociados con cada dominio. Por ejemplo, para la primera petición, si el usuario indica que el dominio es un sistema operativo, como UNIX, el CD sabe por el conocimiento del dominio que un archivo es movible, así que algo es redefinido como archivo.

PROCESAMIENTO DEL CONOCIMIENTO

EL procesamiento del conocimiento es el estudio de todos los tipos de acciones asociadas a la creación, verificación, almacenamiento, transmisión y uso del conocimiento [4].

La inteligencia artificial estudia técnicas para la representación computacional del conocimiento humano y los métodos del uso del conocimiento para: solucionar problemas, formación de hipótesis y descubrir nuevos conceptos y nuevo conocimiento [5].

Con este fin se han identificado diferentes tipos de conocimiento.

PROGRAMACIÓN LÓGICA

Supone un nuevo paradigma de programación, sencillo y potente, basado en los siguientes principios:

1. El conocimiento relativo al problema que se pretende resolver se representa por medio de una serie de formulas lógicas, que constituyen un programa lógico.

2. El programa anterior se activa mediante la formulación de alguna consulta, expresada mediante una nueva formula lógica involucrando a los predicados definidos en el programa lógico.

3. El problema se resuelve aplicando algún método de demostración automática para averiguar si la consulta expresada en el punto anterior es una consecuencia lógica del conjunto de formulas que conforman el programa lógico. [7]

Un programa lógico es un conjunto de definiciones de predicado, a su vez un predicado esta formado de cláusulas cuyas cabezas tienen el mismo símbolo de predicado y aridad (El numero de argumentos de una estructura).