Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 127 vistas

    Programas Logicos

    Cargado por

    Pedro Luis Novoa
    PROGRAMAS LÓGICOS DEFINIDOS Y OBJETIVOS, MODELO MÍNIMO DE HERBRAND. Integrantes: Novoa Ruiz, Pedro Luis. Programas Lógicos Literal Es un átomo o la negación de un átomo. Un literal positivo es un átomo. Un literal negativo es la negación de un átomo. Cláusula Es una disyunción finita de cero o más literales. Programas Lógicos  En Programación Lógica, la cláusula: se escribe de la siguiente forma: donde las comas entre re

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd

    Programas Logicos

    Cargado por

    Pedro Luis Novoa
    127 vistas21 páginas
    PROGRAMAS LÓGICOS DEFINIDOS Y OBJETIVOS, MODELO MÍNIMO DE HERBRAND. Integrantes: Novoa Ruiz, Pedro Luis. Programas Lógicos Literal Es un átomo o la negación de un átomo. Un literal positivo es un átomo. Un literal negativo es la negación de un átomo. Cláusula Es una disyunción finita de cero o más literales. Programas Lógicos  En Programación Lógica, la cláusula: se escribe de la siguiente forma: donde las comas entre re

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    PROGRAMAS LÓGICOS DEFINIDOS Y OBJETIVOS, MODELO MÍNIMO DE HERBRAND. Integrantes: Novoa Ruiz, Pedro Luis. Programas Lógicos Literal Es un átomo o la negación de un átomo. Un literal positivo es un átomo. Un literal negativo es la negación de un átomo. Cláusula Es una disyunción finita de cero o más literales. Programas Lógicos  En Programación Lógica, la cláusula: se escribe de la siguiente forma: donde las comas entre re

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    127 vistas21 páginas

    Programas Logicos

    Cargado por

    Pedro Luis Novoa
    PROGRAMAS LÓGICOS DEFINIDOS Y OBJETIVOS, MODELO MÍNIMO DE HERBRAND. Integrantes: Novoa Ruiz, Pedro Luis. Programas Lógicos Literal Es un átomo o la negación de un átomo. Un literal positivo es un átomo. Un literal negativo es la negación de un átomo. Cláusula Es una disyunción finita de cero o más literales. Programas Lógicos  En Programación Lógica, la cláusula: se escribe de la siguiente forma: donde las comas entre re

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 21

    PROGRAMAS LGICOS

    DEFINIDOS Y OBJETIVOS, MODELO MNIMO DE HERBRAND.

    Integrantes:
    Daz Alvarado, Gerson Richard. Novoa Ruiz, Pedro Luis. Vsquez Molina, Erick Franco.

    Programas Lgicos
    Literal Es un tomo o la negacin de un tomo. Un literal positivo es un tomo. Un literal negativo es la negacin de un tomo.

    Clusula Es una disyuncin finita de cero o ms literales.

    Programas Lgicos

    En Programacin Lgica, la clusula:

    se escribe de la siguiente forma:

    donde las comas entre representan conjunciones, entre disyunciones, y todas los , son positivas.

    Observar que la expresin C puede darse por la implicacin:

    Programas Lgicos
    Clusula definitiva Es una clusula que tiene exactamente un literal positivo
    A 1 2 , ( 0)

    Clusula de Horn

    Es una clusula definitiva o meta definitiva(programa objetivo).

    Programas Lgicos Definidos

    Una clusula de programa definida es una expresin del tipo:


    Observar que la clusula C es equivalente a la implicacin: y tambin a la clusula de Horn con cabeza

    En la clusula de programa definida C

    se llama cabeza de la clusula. 1 , 2 , , se llama cuerpo de la clausula.

    Programas Lgicos Definidos y Objetivos


    Clusula unitaria o Hecho Una es una clusula de programa definida sin cuerpo, es decir, de la forma: ,donde A es positiva. Programa Objetivo Es una clusula sin literales positivos. 1 2 , ( 1) Es una clusula de programa definida sin cabeza, es decir, de la forma:

    Programas Lgicos Definidos

    Llamaremos clusula vaca y la denotaremos por , a una clusula sin cuerpo ni cabeza. Esta clusula se entiende como una contradiccin. Un programa definido es un conjunto finito de clusulas de programa definidas, todas ellas con cabeza. Ejemplo:

    Universo y Base de Herbrand

    Dado un Programa definido .


    Es el conjunto de todos los trminos formados con las constantes y functores de .
    Si no hay ninguna constante en , se introduce una para formar el universo de Herbrand.

    Universo de Herbrand ()

    Base de Herbrand ()

    Es el conjunto de todos los tomos que pueden formarse con los predicados y los trminos en . Las frmulas formadas son atmicas y sin variables.

    Universo y Base de Herbrand: Ejemplo


    Ejemplo 1: Impar Consideren el siguiente programa definitivo

    Si restringimos el lenguaje L a los smbolos que aparecen en este programa definitivo, tenemos que el universo de Herbrand es:

    Puesto que el programa solo incluye al predicado impar , la base de Herbrand se define como:

    Universo y Base de Herbrand: Ejemplo


    Ejemplo 2 Consideren el siguiente programa:

    Sea L es lenguaje de primer orden dado por los smbolos en . El Universo de Herbrand es el conjunto infinito:

    Y la base de Herbrand es:

    Interpretacin de Herbrand
    Interpretacin de Herbrand

    Sea un lenguaje de primer orden. es una interpretacin de Herbrand de si y solo si: El dominio de es . Para cada constante c , = . Para cada functor / , se tiene un mapeo () de a definitivo por:
    1 , , = 1 , , .

    Para cada predicado / , I(p) .

    Modelo de Herbrand
    Modelo de Herbrand
    Sea un lenguaje de primer orden, un conjunto de formulas bien formadas (fbf) cerradas bajo , y una interpretacin de Herbrand de . Si es un modelo de toda fbf en , se dice que es un modelo de Herbrand .

    Interpretacin de Herbrand: Ejemplo


    Ejemplo 1

    Considerar el programa en el ejemplo impar/1. Una posible interpretacin de este programa es: = * 0 , (((0)))+

    Una interpretacin de Herbrand se puede especificar mediante una familia de tales relaciones (una por cada smbolo de predicado).

    Modelo de Herbrand: Ejemplo


    Ejemplo 2

    Consideren ahora algunas interpretaciones de Herbrand de

    son modelos de Herbrand de :


    1 =

    2 =

    Propiedades del Modelo Herbrand

    Para poder determinar si una interpretacin de Herbrand V es un modelo de una fbf cuantificada universalmente , es suficiente verificar si es verdadera en V, para todas las asignaciones posibles de las variables de .

    Para el lenguaje restringido de clausulas definitivas, si queremos verificar que una fbf atmica es consecuencia de un programa definitivo basta con verificar que todo modelo de Herbrand de es tambin un modelo de Herbrand de .

    Interseccin de los Modelos Herbrand

    Sea M una familia no vaca de modelos de Herbrand de un programa definitivo . Entonces la interseccin V = M es un modelo de Herbrand de .

    Al tomar la interseccin de los modelos de Herbrand de un programa definitivo (todos tienen al menos un modelo, e.g., B ), obtenemos el modelo mnimo de Herbrand.

    Interseccin de los Modelos Herbrand: Ejemplo

    Sea el programa definitivo {masculino(adan), femenino(eva)} con su interpretacin obvia. tiene los siguientes modelos de Herbrand:

    La interseccin de los modelos nos lleva a un modelo de Herbrand. El modelo mnimo es el nico que corresponde con el modelo pretendido del programa.

    Modelo Mnimo de Herbrand


    Modelo Mnimo de Herbrand El modelo mnimo de Herbrand de un programa definido , es la interseccin de todos los modelos de Herbrand de . Equivalentemente, el modelo mnimo, es el conjunto de todas las frmulas de la Base de Herbrand que son consecuencias lgicas del programa .

    Modelo Mnimo de Herbrand


    Construccin del Modelo Mnimo de Herbrand
    Sea un programa definitivo y V su modelo mnimo de Herbrand. Entonces, V es la interpretacin mnima de Herbrand, tal que: T (V) = V. V = T n.

    Modelo Mnimo de Herbrand: Notacin

    Existe una notacin estndar para denotar a los miembros de esta secuencia de interpretaciones construidas a partir de :

    el conjunto construido de esta manera es idntico al modelo mnimo de Herbrand de .

    Modelo Mnimo de Herbrand: Notacin


    Ejemplo:

    Tomando como el programa de impar/1 tenemos:

    También podría gustarte