1 Representación del conocimiento:
1 Lógica de predicados
2 Lógica difusa
3 Redes de búsqueda
4 Redes de búsqueda óptima
5 Árboles de búsqueda con adversario Representación del Conocimiento
2 Lógica:
Tipos de lógica
De proposiciones De predicados de primer orden y ordenes superiores Modal Temporal Multivalorada Borrosa O-A-V o 0+ etc.
Representación del Conocimiento
3 Lógica:
Lógica de proposiciones
Introducción y definiciones Formalización e interpretación Sistema axiomático Definición Teoremas útiles Sistema inferencial Definición Regla de resolución Regla de refutación
Representación del Conocimiento
4 Lógica:
Lógica de proposiciones
Basada en la lógica clásica: Conceptos de juicio, proposición, razonamiento. Proposición: enunciado declarativo (frases en indicativo) Representación: variable proposicional (p, q, r, …) Sentencia: enunciado compuesto por enunciados elementales y constructores primitivos (conectivas) Representación del Conocimiento
5 Lógica:
Lógica de proposiciones
Conectivas: Unarias (o monádicas): Negación (?p) Binarias (o diádicas): Conjunción (?) Disyunción (?) Condicional (?) Bicondicional (?) Representación del Conocimiento
6 Lógica:
Lógica de proposiciones
Tablas de verdad Ejemplo: “Si tengo hambre o sed entonces voy al bar” (p ? q) ? r Representación del Conocimiento
7 Lógica:
Ejemplo: Muchos razonamientos consisten en obtener una conclusión a partir de una serie de premisas (p1 ? p2 ?….) ? c. Un razonamiento es válido si es una TAUTOLOGíA.
p1: “Si Bernardo se casa entonces Florinda se suicida”. p2: “Florinda se suicida si y sólo si Bernardo no se hace monje”. c: “Si Bernardo se casa entonces no se hace monje”.
p1: c ? s p2: s ? ?m Razonamiento: (c ? s) ? (s ? ?m) ? (c ? ?m) c: c ? ?m
Si construimos la tabla de verdad veremos que es una tautología y por tanto el razonamiento será válido. Representación del Conocimiento
8 Lógica:
Lógica de proposiciones
La lógica proposicional maneja bien afirmaciones compuestas de no, y, o, si . . . entonces.
En situaciones con un conjunto finito (pequeño) de elementos, esto es suficiente para hablar de existe, todo, para todo.
Ejemplo: si tenemos 3 estudiantes A, B y C, tomando p=“A tiene ojos cafés”, q=“B tiene ojos cafés”, r=“C tiene ojos cafés”
la afirmación “existe un estudiante con ojos cafés” se puede representar por p ? q ? r Representación del Conocimiento
| Página siguiente |