|
Lenguajes Lógicos
La computación lógica direcciona 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 tuplas verifican una serie de operaciones.
Un hecho es una expresión en la que algún objeto o
conjunto de objetos satisface una relación específica.
Una tupla es una lista inmutable. Una tupla no puede
modificarse de ningún modo después de su creación.
Un regla if then es un estamento que informa acerca
de conjuntos de tuplas o estamentos relacionados que
pueden predecir si otras tuplas satisfacerán otras
relaciones.
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.
|
