REPUBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD FERMIN TORO

FACULTAD DE INGENIERIA
CABUDARE EDO. LARA

Metodologasde
Representacindel
Conocimiento
Jess Camacho
C.I. 10.307.677
Prof. Edecio Freitez

Metodologas Representacin del

Conocimiento en Inteligencia Artificial
Metodologas

Declarativas

Separacin entre conocimiento y

estructura de control lgica:
expresiones declarativas (fbf),
sistemas de produccin: (bh, rp, ec),
prolog

Estructurales

Estructuracin del conocimiento.

propiedades inferenciales: herencia,
transitividad, asociatividad.
redes semnticas, frames.

Procedurales

Unin entre el conocimiento y la

estructura de control.
orden dependiente,
procedimientos y funciones.

METODOLOGIA ESTRUCTURAL

Red Semntica

Esta forma ha sido muy utilizada en IA para representar el

conocimiento y por tanto existen una gran diversificacin de
tcnicas.
Elementos Bsicos:
Estructuras de datos en nodos, que representan conceptos,
unidas por arcos que representan las relaciones entre los
conceptos.
Un conjunto de procedimientos de inferencia que operan sobre las
estructuras de datos.

Tipos de Redes Semnticas

Redes IS-A: Es una jerarqua taxonmica

cuya espina dorsal est constituida por un
sistema de enlaces de herencia entre los
objetos o conceptos de representacin,
conocidos como nodos

Grafos conceptuales: Los arcos no estn

etiquetados, y los nodos son de dos tipos:
*Nodos
de
concepto,
que
pueden
representar tanto una entidad como un
estado o proceso.

Tipos de Redes Semnticas

Esquemas de marcos: Es una estructura

de datos compleja que representa una
situacin estereotipada,

Ejemplos de Red Semntica:

METODOLOGIA ESTRUCTURAL

Frames

Son una estructura de datos compleja que representa una situacin

estereotipada, en la que se organizar el conocimiento como una
coleccin de caractersticas comunes al concepto, objeto,
situacin o sujeto.

METODOLOGIA ESTRUCTURAL

Frames Caractersticas Principales

Precisin : se precisan los objetos, las relaciones entre objetos y

sus propiedades; en ausencia de evidencia contraria se usan
valores por omisin
Activacin dinmica de procesos (Triggering): se pueden adjuntar
procedimientos a un marco o alguno de sus componentes y ser
llamados y ejecutados automticamente tras la comprobacin de
cambio de alguna propiedad o valor (p. ej. if-needed, if-added)
Herencia por defecto no-monotnica: los marcos estn
conceptualmente relacionados, permitiendo que atributos de
objetos sean heredados de otros objetos predecesores en la
jerarqua
Modularidad: la base de conocimiento est organizada en
componentes claramente diferenciados

Ejemplos Frames:
Frame:

Silla

Pertenece a:

muebles

Subconjuntos posibles

Pupitre, silla de tijera

Material

Madera, metal, plstico

Cantidad de patas(base)

1,2,3,4
marco_perro
descripcin: caracterizacin bsica de
un perro
Dueo
: Jesus Camacho
fecha
: 30/05/2012
Raza
: Cocker
Edad
: 8 aos
Tipo_de
: mamfero
Conducta : Jugueton, no muerde

METODOLOGIA ESTRUCTURAL
Reglas de Produccin o Inferencia
Los sistemas basados en reglas son los ms comnmente utilizados. Su
simplicidad y similitud con el razonamiento humano, han contribuido para su
popularidad en diferentes dominios. Las reglas son un importante
paradigma de representacin del conocimiento.
Ejemplo de reglas:
SI
el problema no me sale Y
es la hora de consulta
ENTONCES
consultar al profesor
SI
la luz del semforo es verde Y
no hay peatones cruzando
ENTONCES
Contina la marcha

METODOLOGIA ESTRUCTURAL
Reglas de Produccin o Inferencia
INFERENCIAS:

Razonamiento hacia adelante (de abajo a arriba)

Razonamiento hacia atr s (de arriba a abajo)

METODOLOGIA ESTRUCTURAL
Reglas de Produccin o Inferencia
Reglas: formalismo mas comn de representar el conocimiento en un SBC.
Reglas si ... entonces ...
Interpretaciones:
Si condicin P entonces conclusin C
Si ocurre S entonces accin A
Ventajas del formalismo de reglas:
Modulares, Conocimiento incremental, Conocimiento modificable, Permiten
explicaciones al usuario.

METODOLOGA DECLARATIVA
Lgica

Lenguaje de representacin que nos permite expresar y razonar con sentencias que sor
verdaderas o falsas.
Toda lgica que sea usada como mecanismo de representacin deber constar de 3
elementos:
1. Una sintaxis, que explica cmo construir los elementos del lenguaje de
representacin (oraciones lgicas).
2. Una semntica, que asocia los elementos del lenguaje con los elementos reales del
dominio asocia una interpretacin (significado) a los smbolos.
3. Un conjunto de reglas de inferencia, que permiten inferir conocimiento nuevo a partir
del ya existente

METODOLOGA DECLARATIVA
SINTAXIS

Lgica Proposicional

ELEMENTOS
Atomos
constantes lgicas: verdadero(V), falso(F)
proposiciones lgicas: (strings de caracteres)
Ejemplos:
p, q, r, ...
encima mesa libro
juan es mortal
Conectivas lgicas
^ (y): conjuncin lgica
p ^ q , juan es hombre ^ juan es mortal
v (o): disyuncin lgica
P v q , juan trabaja banco v juan estudia informatica
(implica): implicacin
No significa relaci n causal (no antecedente implica consecuente)

METODOLOGA DECLARATIVA
Lgica de Predicados
Lenguaje:
Smbolos de predicado (P,Q,...), representan una relacin en un dominio P(t1, ....., tn) ,
n 0(ti: trminos)
(Proposiciones atmicas: smbolos de predicado 0-arios.)
Variables ( x, y, z ).
Smbolos de funcin (f, g, h ): f(t1, ....., tn) , n (f:Dn D).
Smbolos de funcin 0-arios =constantes.
Conectivas lgicas: ^ v
Cuantificador universal , Cuantificador existencial .
x: "para todo x"
x: "existe un x"
Un conjunto de smbolos auxiliares: ( { , etc.

GRACIAS!