enriquecimiento del conocimiento previo en programación lógica ...

A. Lógica de Primer Orden 20• El conjunto de literales positivas es llamado la cabeza de la cláusula y el conjunto de literales negativases llamado el cuerpo de la cláusula, por ejemplo:Sea la cláusula T = (¬L 1 ∨ ¬L 2 ∨ L 3 ∨ L 4 ) entoncespodemos re-escribirla como: T = (L 1 ∧ L 2 → L 3 ∨ L 4 ), y:{L 1 , L 2 } es la cabeza y {L 3 , L 4 } es el cuerpo de la cláusula.• Una cláusula es de programa cuando sólo tiene una literal positiva.T 1 = ¬p (X) ∨ ¬ (a, Y ) ∨ r (Y, Z) ≡ p (X) ∧ (a, Y ) → r (Y, Z) ≡ r (Y, Z) ← p (X) ∧ (a, Y).T 2 = (¬L 1 ∨ ¬L 2 ∨ ... ∨ ¬L n−1 ∨ L n ) ≡ L 1 ∧L 2 ∧...∧L n−1 → L n ≡ L n ← L 1 ∧ L 2 ∧ ... ∧ L n−1En este documento utilizamos la notación presentada en letra negrita, donde apreciamos la flecha de implicación hacia la izquierda.Se tienen dos tipos de cláusulas de programaSi tiene una o más literales negativas se le llama regla.– madre (X, Y ) ← mujer (X) ∧ progenitor (X, Y ) .Si no tiene cuerpo o literales negativas se le llama hecho.– madre (maria, juan) .• Un Programa Lógico es un conjunto de cláusulas de programa.• Sea un θ = {v 1 /t 1 , ..., v n /t n }. Decimos que θ es una substitución cuando cada v i es una variable ycada t i es un término.• Una substitución que hace que dos átomos sean iguales se conoce como unificador, por ejemplo:La substitución θ = {X/f (A) , Y/g (u) , Z/a} es un unificador para las literales: L 1 ≡ R (X, g (u))y L 2 ≡ R (f (z) , Y ) ya que L 1 θ ≡ L 2 θ