EJEMPLOS DE UNIVERSO DE HERBRAND Y GROUNDING



  • El universo de Herbrand , UH, es el conjunto de todos los términos sin variables.

  • La base de Herbrand , BH, es el conjunto de todos las formulas atómicas básicas de L.

  • Una estructura de Herbrand, H, es una L–estructura tal que:

    ** su universo es UH(L).

    ** los términos se interpretan como ellos mismos (canónicamente, diremos).

    ** los predicados se interpretan mediante un subconjunto de la base de Herbrand.


  • EJEMPLOS:



    Ejemplo1


  • Sea L = {a, b, P,Q}; [P,Q predicados de aridad 1 y 2 resp.]

    •UH(L) = {a, b}

    •BH(L) = {P(a); P(b); Q(a, a); Q(a, b); Q(b, a); Q(b, b)}


  • Ejemplo2

  • L={caminar,brincar,p,q}

    UH={caminar,brincar}

    BH={p(caminar),p(brincar),q(caminar,brincar),q(brincar,caminar)}

    Grounding sobre la regla r

    L={caminar,brincar,p,f}

    UH={caminar,brincar,f(caminar),f(brincar)}

    r: (p(X))p(f(X),p(f(Y))

  • ground(r,L):{p(caminar)p(f(caminar)), p(f(brincar)),

    p(brincar) p(f(brincar)), p(f(caminar))}