Site hosted by Angelfire.com: Build your free website today!


                                 lenguajes lógicos

La computación lógica direccional métodos de procesamiento basados en el razonamiento formal. Los objetos de tales razonamientos son "hechos" o reglas "if then". Para computar lógicamente se utiliza un conjunto de tales estamentos para calcular la verdad o falsedad de ese conjunto de estamentos. Un estamento es un hecho si sus duplas verifican una serie de operaciones.

Un estamento que es probado verdadero como resultado de un proceso se dice que es una inferencia del conjunto original. Se trata por tanto de una descripción de cómo obtener la veracidad de un estamento dado que unas reglas son verdaderas.

La computación lógica está por tanto relacionada con la automatización de algún conjunto de métodos de inferencia.