Sistemas Basados En Logica

SISTEMAS BASADOS EN LÓGICA FORMAL

Inferencia y Razonamiento ,[object Object],[object Object],[object Object],[object Object]

Reglas de Inferencia Lógica ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Métodos de Razonamiento Lógico ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Definición de Predicado ,[object Object],[object Object],[object Object],[object Object]

Características de los Predicados ,[object Object],[object Object],[object Object]

Ejemplo Pedro X José Y X X = { p edro, jose, X, Y} Relación José es el padre de Pedro Predicado padre( jose, pedro) es V o F depende del dominio del problema Mapeo padre: X x X ->{0,1}

Predicados, Axiomas y Patrones ,[object Object],[object Object]

Átomo: Es la aplicación de un predicado a una lista de argumentos: Lista de argumentos: constante, variable, predicados, funciones padre ( jose, pedro) ama (jose, perro_de (jose)) Operadores :  ,V , ~, --> Cuántificadores :  ,  Expresión: Una expresión puede ser un atomo o una combinacion de atomos por medio de operadores o cuantificadores

Escribir las siguientes expresiones: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Skolenización ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ejemplo ,[object Object],[object Object]

Lógica de Predicados: La Unificación ,[object Object],[object Object],[object Object]

Lógica de Predicados: El Proceso de Unificación (1) ,[object Object],[object Object]

Lógica de Predicados: El Proceso de Unificación (2) ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Unificador mas general de 2 expresiones: p, q ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ejemplos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

La Normalización de una Expresión ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Problema#2 1. A Jhon le gusta toda clase de comida 2. Las manzanas son comida 3. El pollo es comida 4. Cualquier cosa que uno coma y no le mate es comida 5. Bill come cacahuates y aún esta vivo 6. Sue come todo lo que come Bill. ¿ A Jhon le gustan los cacahuates ? Usando la resolución, determine si la consulta es Verdadera

Sistemas Basados En Logica

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (17)

Similaire à Sistemas Basados En Logica

Similaire à Sistemas Basados En Logica (20)

Dernier

Dernier (20)

Sistemas Basados En Logica