Está en la página 1de 8

Marcos

Los marcos son estructuras de datos complejas que aportan conocimiento sobre
situaciones estereoNpicas.
Los elementos básicos son los objetos a los que se les vincula información relacionada con
los mismos.
Se puede comparar el marco de un objeto determinado con un conjunto de casilleros (slots)
a los cuales se les asocia un
atributo del objeto y dentro de los cuales se puede colocar los valores de atributo
Se permite que para cada atributo sea de(nido un valor por defecto, lo cual favorece poder
establecer una con nuidad
en los procesos de inferencia que no se de ene por falta de información.
Un slot puede contener un puntero a otro marco con lo que se pueden establecer
estructuras de marcos muy potentes.
Ejemplo
NOMBRE AVES2
INSTANCIA Aves
NOMBRE Loro
COLOR Verde, rojo, azul
ÁTAS Dos
HABITAT Acceder a marco HABITAT

Desventajas
La rigidez propia del marco.
La necesidad de tener que considerar todos los valores por defecto.
La gran can dad de espacio en memoria que se necesita para administrar y mantener un
sistema de representación de
conocimiento basado en marcos.

Redes semánticas
Son un esquema genérico implementado en numerosos lenguajes y herramientas.
Originalmente fue propuesto para el análisis semán co, pero la facilidad rela va
con que se pueden obtener
deducciones correctas una vez que ha sido generada la red, es sin duda una de las
jus (caciones más sólidas sobre su
gran desarrollo.
La red está cons tuida por un conjunto de objetos denominados nodos, los cuales pueden
estar conectados por arcos.
Nodos y arcos son elementos básicos de la red y están e quetados.
No existen restricciones para el uso de las redes semán cas, los nodos pueden ser objetos
Jsicos como categoría
abstractas, cualidades de(nibles de los objetos o categorías anteriores e incluso
descriptores de algún elemento
A su vez los arcos pueden representar ligazones muy diversas entre los nodos ( ene, es,
etc).
Ventajas
Enorme Kexibilidad que aporta a la descripción del conocimiento. Puede ampliarse la
red en cualquier momento
agregando nuevos nodos y nuevos arcos.
La herencia, la cual consiste en que determinadas propiedades se propaguen por la red
según determinados criterios.
Desventaja
La di(cultad de poder establecer excepciones en la herencia.

Representación mediante frames. Los frames son técnicas de representación del


conocimiento de forma declarativa. El objeto de estas técnicas es el
de suministrar un mecanismo de razonamiento por semejanza. Un frame
representa a una entidad del mundo real. También podemos identificar los frames
como una red semántica más compleja.
Representación mediante árboles de decisión. Un árbol se compone de nodos,
dónde en cada nodo se evalúa un atributo concreto. Según el atributo evaluado y
cuál sea la respuesta al atributo, la decisión tomada será una u otra.
La lógica temporal se puede ver como una extensión de la lógica proposicional, la lógica temporal
va a consistir en varias asignaciones de variables. A cada asignación le vamos a llamar "estado".
Dado un estado, solamente vamos a escribir las variables que tienen valor "cierto", como a veces
hacíamos para la lógica proposicional. Además, hay una relación entre estados. Un estado está
relacionado con otro si es posible pasar de uno al otro en una unidad de tiempo. Aquí vemos un
ejemplo de modelo temporal. Si tenemos tres variables "a", "b" y "c", en el estado "s", "a" y "b" valen
"cierto", y "c" vale "falso". En el estado "t", "b" y "c" valen "cierto", y "a" vale "falso". Al transcurrir el
tiempo, podemos salir del estado "s", para, ya sea, volver al estado "s" o pasar al estado "t". Una
vez en el estado "t", sólo podemos regresar a él mismo. Después, vamos a dar una definición formal
de modelo. Empezamos con la sintaxis. Hay muchas lógicas temporales. Aquí vamos a definir una
lógica que se llama "lógica temporal lineal" o "LTL". Al igual que en la lógica proposicional, las
fórmulas pueden ser "cima", "fondo", una variable proposicional, la negación de una fórmula, o la
conjunción de dos fórmulas. No incluimos más operadores booleanos porque se pueden ver como
abreviaturas de estos. Lo nuevo, ahora, son los operadores temporales. Estoy poniendo tres, pero
puede haber más. Una fórmula precedida de "X" es también una fórmula. Intuitivamente, la "X" que
viene de "next", en inglés, significa "mañana", o en el siguiente instante de tiempo. La "F" significa
"futuro", y la "G", que viene de "global", significa "siempre".

Reglas de Producción o Inferencia : Los sistemas basados en reglas son los más
comúnmente utilizados. Su simplicidad y similitud con el razonamiento humano, han contribuido
para su popularidad en diferentes dominios. Las reglas son un importante paradigma de
representación del conocimiento.
Lógica temporal
La lógica temporal, es un ejemplo de lógica modal y se construye a par r de la de(nición de
un conjunto de operadores
temporales que aplicados a una aserción, denotan una ubicación en el empo de la
ocurrencia del hecho que modeliza
la misma.

Se puede extender por ejemplo, la lógica de predicados de primer orden bivaluada a una
lógica de predicados de primer
orden
Г PP P
Θ
δP
P+Q es
verdadero.bivaluada
PP es
es temporal
verdadero
verdadero
enen
esverdadero
verdadero en
algún
en a instante
parlos
eltodos
todos losrinstantes
próximo de la de(nición
futuro.
instantes
instante. de losalsiguientes
futuros.
siguientes operadores:
primer instante en el cual Q sea
Estos sistemas obtienen una salida en función de sus entradas, sin necesidad de un modelo analítico. Un
sistema difuso es un SBC estructurado como un conjunto de reglas simbólicas del tipo “sí-entonces”, que
usan el lenguaje natural para representar información vaga o imprecisa. Desde el punto de vista
matemático, un sistema difuso es determinista y proporciona un mapeado no-lineal entre entradas y
salidas

• Una red esta formada por un conjunto de nodos unidos entre si por enlaces de
diferentes tipos. Redes Asociativas (Semánticas)
• • Representan conocimiento en forma básica
• • Agrupan el conocimiento en dos partes
• • Objetos (nodos) • Relaciones entre objetos (enlaces o arcos)
• • Apropiadas para representar conocimiento en forma jerárquica
• • El conocimiento puede ser de dos clases:
• • Conocimiento Asertivo: realizar afirmaciones particulares
• • Conocimiento Taxonómico: describe conceptos
• • Toda red semántica también puede definirse como oraciones en una lógica • Es fácil
visualizar los pasos que se darán en el proceso de inferencia • El lenguaje de consulta es
sencillo • Limitadas en expresividad: Negaciones, disyunciones, cuantificaciones •
Permiten la declaración de importantes asociaciones en forma explicita • El tiempo que
toma el proceso de búsqueda por hechos particulares puede ser significativamente
reducido (debido a que los nodos relacionados están directamente conectados)

Es un diagrama que representa en forma secuencial un conjunto de condiciones y acciones para


representar la relación existente entre cada condición y el grupo de acciones permisibles. Dada la
necesidad de describir condiciones y acciones, permite identificar las decisiones que deben tomarse de
manera formal; de esta forma, es difícil pasar por alto cualquier etapa del proceso de decisión, sin
importar que éste dependa de variables cuantitativas o cualitativas

Supone que existen hechos (proposiciones) que pueden darse o no en el mundo, es decir, ser ciertos o
falsos

El estudio de las propiedades operatorias de los operadores lógicos de cuantificación universal, ∀( ), y


existencial, ∃( ), se lleva a cabo en la parte de la lógica conocida con el nombre de Cálculo de Predicados.

En la lógica de predicados podemos representar los hechos del mundo real como declaraciones escritas
como fbf. Un ejemplo de esto se muestra en la figura 2.2.

Sultán es un perro.

perro(Sultán)

Los humanos son hombres o mujeres.

∀(x) [humano(x) ⇒ (hombre(x) ∨ mujer(x))]

Todos los hombres tienen una madre.

∀(x) ∃(y) madre(y,x)

Premisa 1: Todos los libros sobre informática son terriblemente aburridos.

Premisa 2: Éste es un libro sobre informática.

Conclusión: Este libro es terriblemente aburrido.


Creando los símbolos I, A, e, con la interpretación i(l) = 'libro de informática', ¿(A) = 'libro terriblemente
aburrido', i(e) = 'este libro', la formalización es:

La lógica modal se introdujo para poder dar cuenta de las llamadas "expresiones modales" o
"modalidades", que son las que incluyen declaraciones del tipo "es necesario que", "es posible que", "es
imposible que".

En lógica modal se definen dos nuevos operadores modales, uno para la posibilidad, ◊ y otro para la
necesidad, □. "Es posible que p" se representa por " ◊p", y "es necesario que p", por "□p" . En realidad,
bastaría con uno solo para expresar las tres modalidades enunciadas:

Mediante estos nuevos recursos expresivos, los lógicos han formalizado de manera más convincente la
relación de implicación. A diferencia de la "implicación material" (A —> B, recuérdese la discusión sobre
el significado del condicional en el apartado 1.3 del capítulo 2) y de la "implicación lógica" (A tí ,
apartado 5.2 del capítulo 2), la "implicación estricta", A B, se define así:

Considerada por algunos autores como un tipo de lógica modal, la lógica temporal es aquella en la que
la función de evaluación depende del instante

y un predicado de precedencia temporal, T(t1,t2) , que será verdadero si t1 < t2 y falso en caso contrario,
y con el cual se puede extender la función de evaluación a los nuevos predicados:

Lo anterior se logra por medio de una serie de reglas de “sentido común” aprendidas con sistemas
adaptativos que se nutren de la observación de las personas o de la formulación por parte del experto
humano