Infografía Coraboracion 2.

¿Que es una Reglas de Inferencia?

Relación que tiene con las Cláusulas de Horn y resolución SLD.

InfografíaLa regla de inferencia.

Cláusulas de Horn.

La relación que tiene con las Cláusulas de Horn y resolución SLD.

Resolución SLD.

Aplicación en Programación Lógica.

CITAS BIBLIOGRFICAS.

• Brachman, R. J., & Levesque, H. J. (2004). Representación del Conocimiento y Razonamiento. Morgan Kaufmann.
• Harrison, M. A. (1978). Principios de Lenguajes de Programación. Wiley.
• Clocksin, W. F., & Mellish, C. S. (2003). Programación en Prolog (5ª ed.). Springer.
• Sterling, L., & Shapiro, E. (1994). El Arte de Prolog: Técnicas Avanzadas de Programación. MIT Press.
• Buntine, W. (1994). Aprendizaje de Reglas de Clasificación Usando Retropropagación. En Actas de la Primera Conferencia Internacional sobre Descubrimiento de Conocimiento y Minería de Datos. AAAI Press.

Hecho por:Amayrani Castro Montoya.Marco Arturo Aguilar Medina.Gerardo Fabio Navarrete Perez.

Una regla de inferencia es un principio lógico que permite deducir nuevas proposiciones o conclusiones a partir de premisas ya conocidas. Son esenciales en lógica matemática y en programación lógica, ya que establecen las bases para derivar información nueva de información conocida.

En programación lógica, las reglas de inferencia y la resolución SLD se utilizan en sistemas como Prolog, donde se pueden definir relaciones y consultas basadas en lógica. La inferencia automática permite deducir nuevos hechos y responder consultas de forma eficiente.

Las Cláusulas de Horn son un tipo específico de expresión lógica que se utiliza en lógica proposicional y lógica de predicados. Se caracterizan por tener, como máximo, un literal positivo y se representan en la forma:

Las Cláusulas de Horn.

Las cláusulas de Horn son una aplicación de las reglas de inferencia, ya que permiten utilizar reglas lógicas para deducir conclusiones. Cuando se aplica una regla de inferencia a una cláusula de Horn, se puede obtener una nueva cláusula o un hecho derivado a partir de los hechos existentes.

Relación con las Cláusulas de Horn.

La resolución SLD (Selective Linear Definite) es un método específico de deducción que se utiliza en programación lógica para inferir nuevos hechos a partir de cláusulas de Horn. Este método se basa en la unificación y la aplicación de reglas de inferencia de manera selectiva.Proceso de Resolución SLD:Unificación: Se busca una sustitución que haga coincidir los literales de las cláusulas.Derivación: Se aplica la regla de resolución para derivar una nueva cláusula a partir de las cláusulas existentes.Repetición: Este proceso se repite hasta que se alcanza un objetivo o no se pueden realizar más deducciones.Relacion con las Resolucion SLD.La resolución SLD utiliza las cláusulas de Horn como base para realizar deducciones. Es un mecanismo que permite aplicar reglas de inferencia de manera sistemática para llegar a conclusiones lógicas.

Resolución SLD.