Ingeniería del Conocimiento

Facultad de Ingeniería - UNJu

UNIDAD 6
Formalización

CONCEPTUALIZACIÓN Y FORMALIZACIÓN
Conceptualización
Se modela el problema desde el punto de vista del usuario, del dominio. Se trabaja a nivel de conocimientos.
Formalización
Es la modelización desde el punto de vista del sistema. El trabajo se desarrolla en un nivel simbólico.
Qué es formalizar
La formalización consiste en:
F Representar simbólicamente los conocimientos mediante algún formalismo (KB),
F organizarlos de acuerdo con algún modelo de diseño y
F determinar los métodos de inferencia adecuados para manejar eciente y efectivamente dichos
conocimientos (MI).
Cómo elegir un formalismo
Al elegir un formalismo se debe tener en cuenta:
F La generalidad de la representación.
F La eficiencia computacional.
F La completitud y consistencia de la representación.
F La naturalidad de la representación.
Un formalismo se considera óptimo si posee:
F Adecuación representacional: capacidad para representar todos los tipos de conocimiento necesarios para
un dominio.
F Adecuación inferencial: capacidad para explotar las estructuras de representación para crear nuevo
conocimiento inferido del primero.
F Eficiencia inferencial: capacidad para incorporar info adicional para mejorar los procesos de razonamiento.
F Eficiencia de adquisición: capacidad de incorporar fácilmente nuevo conocimiento al sistema, manteniendo
la consistencia con el existente.
ESQUEMAS LÓGICOS
Elementos
La KB está formada por una colección de fórmulas lógicas bien formadas (fbf).
Una fórmula lógica es una combinación de predicados, variables, constantes, conectivas, cuantificadores y funciones.
Ejemplos de fórmulas
Fórmulas cerradas: Hombre(Juan), Edad(Juan,25)
Funciones con variables: CasadoCon(Juan,x)
Implicaciones con cuantificadores: "hombre(x) ® mortal(x)
Método de inferencia
Resolución por refutación
Se trabaja con fórmulas en notación clausal.

Unidad 6 pág. 1
Proceso de resolución:
1. Se niega la proposición que se quiere demostrar.
2. Se agrega a la KB.
3. Mientras no se llegue a una contradicción:
● Se emparejan dos claúsulas
● Se aplica el proceso de unificación
Ventajas
F Son intuitivamente entendibles y usan pocos elementos sintácticos.
F Tienen un método de resolución simple que permite el seguimiento de los pasos de la resolución.
F Es fácil integrar nuevo conocimiento, inclusive unir 2 o más KBs.
Desventajas
F No se puede incorporar heurísticas ni prioridades.
F Alto número de combinaciones en la búsqueda de un resultado.
Ejemplo
Enunciado
1. Asterix es un galo.
2. Los romanos que son amigos de algún galo odian a César.
3. Asterix ayudó a Marco.
4. Marco es amigo de quien le ayuda.
5. Marco es un romano.
Usando refutación mediante resolución compruebe si con ese conocimiento es posible demostrar que Marco odia a
César.
Representación
1) 𝑔alo(Asterix)
2) ¬romano(x) ∨ ¬amigo(x, y) ∨ ¬galo(y) ∨ odia(x, Cé sar)
3) ayuda(Asterix, Marco)
4) ¬ayuda(x, Marco) ∨ amigo(Marco, x)
5) 𝑟𝑜𝑚𝑎𝑛𝑜(𝑀𝑎𝑟𝑐𝑜)
6) ¬odia(Marco, Cé sar)
7) de 1 y 2:
¬𝑟𝑜𝑚𝑎𝑛𝑜(𝑥) ∨ ¬𝑎𝑚𝑖𝑔𝑜(𝑥, 𝐴𝑠𝑡𝑒𝑟𝑖𝑥) ∨ 𝑜𝑑𝑖𝑎(𝑥, 𝐶𝑒́ 𝑠𝑎𝑟)
{y/Asterix}
8) de 3 y 4:
𝑎𝑚𝑖𝑔𝑜(𝑀𝑎𝑟𝑐𝑜, 𝐴𝑠𝑡𝑒𝑟𝑖𝑥)
{x/Asterix}
1) de 5 y 7:
¬𝑎𝑚𝑖𝑔𝑜(𝑀𝑎𝑟𝑐𝑜, 𝐴𝑠𝑡𝑒𝑟𝑖𝑥) ∨ 𝑜𝑑𝑖𝑎(𝑀𝑎𝑟𝑐𝑜, 𝐶𝑒́ 𝑠𝑎𝑟)
{x/Marco}
10) de 8 y 9:
𝑜𝑑𝑖𝑎(𝑀𝑎𝑟𝑐𝑜, 𝐶𝑒́ 𝑠𝑎𝑟)
11) de 6 y 10:
c (claúsula vacía)

Unidad 6 pág. 2
REDES SEMÁNTICAS
Elementos
Nodos
Representan conceptos e instancias de ellos.
Arcos
Descriptivos
Estructurales:
F agregación (parte_de)
F instancia (instancia_de)
F generalización (subclase_de)
Gramática por casos
Variante que permite representar acciones o frases complejas.
Método de inferencia
Técnica de equiparación
Proceso
1. Se crea un fragmento de red con los valores conocidos y no conocidos de la pregunta (apunte).
2. Se intenta emparejar con alguna sección de la red que encaje con el apunte.
Ventajas
F La representación gráfica es muy intuitiva.
F Es fácil el uso de la herencia.
Desventajas
F Es difícil el manejo de las estructuras cuando la KB es extensa.
F No existen mecanismos para controlar la consistencia semántica de las relaciones.
Ejemplo
Enunciado
● Las aves tienen plumas y tienen alas
● El canario es un ave y come semillas
● Twetty es un canario
● El halcón es un ave y tiene patas
● Pedro es un Halcón
● Usando redes semánticas compruebe si con ese conocimiento es posible demostrar que Pedro tiene plumas.

Unidad 6 pág. 3
SISTEMAS DE PRODUCCIÓN
Elementos
Base de hechos (BH)
Describe el estado del dominio o contexto del problema. Contiene 3 elementos:
F Estado inicial: situación origen del problema.
F Estados finales: objetivos que se pretenden alcanzar.
F Estados intermedios: descripción de la situación actual de resolución. También se conoce como memoria de
trabajo (MT).
Base de reglas (BR)
Contiene los elementos de deducción básicos (reglas). Suelen tener la forma:
SI condiciones ENTONCES acciones.
Motor de inferencia (MI)
F Actúa sobre las BH y BR y es quien decide qué regla se dispara en cada caso hasta llegar al objetivo.
F También se conoce como estrategia de control. Debe:
● Permitir avanzar siempre hacia la resolución del problema.
● Garantizar que si existe una solución se va a encontrar en un número finito de pasos (sistemática).
● Emplear un tiempo razonable para encontrar la solución (eficiente).
Método de inferencia
La estrategia de control:
1. Selecciona la regla más adecuada mediante las etapas de:
● Restricción
● Equiparación
● Resolución del conjunto de conflicto
2. Activa la regla, agregando o quitando hechos de la MT.

Unidad 6 pág. 4
Alternativas de resolución
F Encadenamiento hacia adelante: se crea el conjunto de conicto seleccionando las reglas cuyo antecedente
satisface la MT actual.
F Encadenamiento hacia atrás: se parte de un hecho que se desea demostrar, se analizan los consecuentes y, si el
antecedente coincide con la MT se termina la búsqueda, de lo contrario la búsqueda continúa recursivamente.
Ventajas
F Comportamiento muy similar al del experto.
F Sintaxis simple y homogénea.
F Fácil seguimiento de la deducción.
Desventajas
F Dificultad para verificar la consistencia en la KB.
F Muy vinculado al entorno.
MARCOS
Características
Permiten representar
F Conocimientos declarativos del dominio.
F Conocimiento procedimental sobre:
● cómo rellenar los valores de los atributos
● cómo realizar comprobación sobre la info introducida
● qué acciones realizar cuando se cumplan o fallen los procesos de búsqueda.
Elementos
Marcos: conceptos e instancias de conceptos.
Relaciones: dependencias entre conceptos.
Propiedades: atributos de conceptos.
Facetas: restricciones sobre los valores que tomarán las propiedades.
Tipos de marco
Marcos Clase
Representan:
● Conceptos
● Clases
● Conjunto de propiedades comunes al concepto
Marcos Instancia
● Representan elementos específicos de los marcos clase
● Contienen información concreta
Relaciones
F Son propiedades especiales de los marcos, cuyo valor se corresponde con otro marco.
F Existen relaciones entre:
● marcos clase,
● marcos instancia y
● marcos clase y marcos instancia
Tipos de relaciones
Relaciones estructurales
● Subclase-de e Instancia-de
● Superclase-de y Representa-a
Relaciones ad-hoc
● expresan relaciones a medida entre conceptos del dominio
En las relaciones Subclase-de:
Unidad 6 pág. 5
 ● Los marcos origen y destino debe ser marcos clase
● Definen el camino de herencia de las propiedades.
En las relaciones Instancia-de:
● El origen debe ser un marco instanciado y el destino un marco clase.
● Un marco instancia puede serlo de varios marcos clase
Propiedades
F Siempre se definen en los marcos clase.
F Caracterizan a marcos clase y a sus marcos instancia.
F Pueden ser:
● Propiedades de clase:
o son atributos genéricos de un concepto o clase
o se definen y rellenan en el marco clase y tienen el mismo valor en todas las instancias de la clase y
sus subclases.
● Propiedades de instancia:
o se denen en el marco clase
o se rellenan en el marco instancia con valores concretos
o suelen indicarse con (*)
Consideraciones sobre propiedades
F Se deben evitar comportamientos redundantes
F Deben proporcionar info suficiente para identificar el marco clase
F Un marco clase puede ser una propiedad de instancia de otro marco clase
F Un marco instancia puede rellenar las propiedades de instancia con uno o varios valores
F En un marco clase se puede redefinir una propiedad heredada para representar excepciones.
Facetas
F Mejoran la capacidad de representación y de procedimientos de los marcos
F Permiten modelar características de las propiedades y relaciones definidas en los marcos clase.
F Facetas declarativas: tipo de dato o puntero a un marco clase
● Tipo de ranura
● Cardinalidad mínima y máxima
● Propiedad general
● Valores permitidos
● Valores por omisión
F Facetas procedimentales: se utiliza un procedimiento o regla
● Si necesito
● Si añado, Si modifico, Si borro
Método de inferencia
1. Construcción de un marco pregunta: marco que solo conocemos parcialmente y no sabemos a qué marco clase
pertenece.
2. Selección de los marcos clase candidatos: consiste en identicar el subconjunto de marcos donde se puede buscar.
3. Cálculo de los valores de equiparación
● el valor de equiparación indica en qué grado se identica el marco pregunta con cada uno de los marcos clase
candidatos.
● un marco clase tendrá un mayor valor cuantos más valores de sus propiedades coincidan con el del marco
pregunta
4. Identificación del marco clase: si el valor del equiparación es suficientemente alto y el marco clase lo
suficientemente específico, se transforma al marco pregunta en marco instancia y se lo incorpora a la KB. En
caso contrario se continúa buscando.
Ventajas
F Poseen mayor capacidad representativa para representar conocimiento declarativo.
F Permite incorporar conocimiento procedimental.

Unidad 6 pág. 6
Ejemplo
Enunciado
Construya una red de marcos que contenga al menos 3 marcos clase, 2 marcos instancia, 1 relación ad-hoc y 3
atributos de instancia.

BIBLIOGRAFÍA
● A. Gómez, N. Juristo, C. Montes y J. Pazos. Ingeniería del Conocimiento. Editorial Centro de Estudios Ramón
Areces, 1997. Capítulos 5 y 6.
● A. Alonso Betanzos, B. Guijarro Berdiñas, A. Lozano Tello, J. T. Palma Méndez y M. J. Taboada Iglesias.
Ingeniería del Conocimiento. Aspectos Metodológicos. Pearson Educación. Madrid, 2004. Capítulo 1.

Unidad 6 pág. 7