El do mil

Tema:
Representacin del conocimiento.
Actividad:
Investigacin

Docente:
Oscar Camacho Chab.
Alumno:
Isa Snchez Campos


Fecha: 3/06/14
Materia:
Inteligencia Artificial
ISMA-8

Ingeniera en sistemas computacionales

Introduccin
La inteligencia desde hace mucho tiempo ha ido evolucionando a tal grado que es
posible poder simularla a travs de objetos inanimados que pueden tomar sus propias
decisiones que fueron programadas con anterioridad a travs de un lenguaje de
programacin basndose en distintas regla que deban ser respetadas para poder
simular dicha inteligencia para ello se definen conceptos como el conocimiento, y
formas de representarlo.
Qu es el conocimiento?
Es el conjunto de datos de primer orden, que modelan de forma estructurada la
experiencia que se tiene sobre cierto dominio o que surgen de interpretar datos
bsicos. Incluye y requiere del uso de datos e informacin. Adems combina
relaciones, dependencias y la nocin del saber con datos e informacin.
Formas de representar el conocimiento
Epistemologa: Estudio del conocimiento, se ocupa de su naturaleza, su estructura y
orgenes.
Procedural. Se refiere a la forma en que sabemos hacer algo. Llevar a cabo una serie
de pasos para resolver un problema o Algoritmos + estructuras de datos = programas
Declarativo Alude a la capacidad de que algo puede ser falso o verdadero. Se expresa
en forma de frases declarativas.
Dar informacin sobre hechos
Conocimientos + inferencias = SE
Esquemas de representacin permiten una bsqueda o una operacin eficiente de los
mecanismos de inferencia.
Tipos de representacin de conocimiento
Formal:
Reglas de produccin partes del conocimiento que describe alguna accin dinmica
relativa al dominio de los elementos. Es una afirmacin lgica que relaciona dos o ms
objetos e incluye dos partes, la premisa y la conclusin. Cada una de estas partes
consiste en una expresin lgica con una o ms afirmaciones objeto-valor conectadas
mediante los operadores lgicos y, o, o no.
La mayora de las disciplinas incluyen cantidades de conocimiento factual
(basado en hechos) y procedural
Las reglas de produccin son la forma ms popular de representacin del
conocimiento dentro del paradigma declarativo
Proporcionan flexibilidad al combinar representaciones declarativas y
procedurales para utilizarlas en forma unificada
El conocimiento representado de esta forma resulta muy cercano al operador
humano y se puede entender fcilmente. De hecho, es mucho ms inmediato
que el conocimiento expresado mediante la Lgica de Predicados
Lgica de predicados
Consiste de los siguientes elementos
Alfabeto smbolos a partir de los que se construyen los enunciados. Constan de
constantes, variables, funciones, operadores lgicos, cuantificadores y
delimitadores - ( ) , -
Constantes: El elemento ms simple en la lgica de predicados, se usa para
representar un elemento especfico del dominio. Puede ser cualquier objeto de
inters (fsico o abstracto). Se usan maysculas. Ej. AZUL es un color, MAX es un
perro, CONSERVADOR es un pensamiento poltico
Variables: Se emplea para representar un conjunto de elementos del dominio
sin especificar algn elemento en concreto. Para un smbolo de variable se
emplea un conjunto de minsculas. Ej. Perro, Color. Opinin
Funciones: Se emplean funciones para identificar tambin elementos del
dominio. Describe un elemento identificndolo como el resultado nico de la
aplicacin de una transformacin entre otros elementos del dominio. Se usan
letras minsculas y los argumentos pueden ser cualquier trmino vlido. Ej.
padre(JUAN), madre(padre(JUAN)), asesino(x)
Predicados: Se emplean para representar relaciones dentro del dominio e
indican que un elemento se relaciona en alguna otra forma especfica. Tiene un
valor de verdadero si los elementos dados estn relacionados de modo
especfico y de falso si no lo estn. Se emplean para conformar frmulas
atmicas (tomos) Ej. HOMBRE(TITO), MASALTO(TITO, PEPE), MASALTO(TITO,
padre(TITO))
Operadores lgicos: conjuncin, disyuncin, negacin, implicacin y
equivalencia
Cuantificadores: Existencial y universal x x ,

Caractersticas
El trmino formal se refiere a que la lgica se relaciona con la forma de las
frases lgicas (estructura) ms que con su significado
Tiene que ver ms con la sintaxis ms que con la semntica de las frases
En la Lgica de Predicados las frmulas son manipuladas basndose solamente
en su estructura.
La Lgica de Predicados permite enunciar algo sobre los objetos, es decir,
definir atributos y relaciones entre elementos
Permite distinguir las propiedades y relaciones de los objetos acerca de los que
se asevera o afirma algo
La Lgica de Predicados proporciona mecanismos para la representacin de
hechos y el razonamiento se basa en la manipulacin sintctica de frmulas
lgicas
Se utilizan reglas de inferencia predefinidas para obtener aseveraciones o
deducciones de hechos.
No formal:
Redes semnticas
Muchas disciplinas han desarrollado tcnicas de realizacin de diagramas que
constituyen lenguajes formales visuales que representan el conocimiento operacional
en forma esquemtica. El filsofo y lgico Charles S. Pierce desarroll sus grafos
existenciales como una tcnica formal de razonamiento para la inferencia lgica y en
aos recientes se ha estado cultivando el inters en el estado formal de las pruebas
visuales en matemticas. En Inteligencia Artificial, Sowa ha desarrollado los grafos de
Peirce como estructuras formales conceptuales para la representacin de la inferencia
lgica de las declaraciones del lenguaje natural.


La presentacin visual de las estructuras de conocimiento ha sido un rasgo
caracterstico de las redes semnticas desde sus inicios. En la adquisicin de
conocimiento, en particular, la presentacin de conocimiento formal ha sido algo
importante para su validacin. Hay muchas tcnicas para tal adquisicin pero todas
ellas, en ltima instancia, terminan en una base de conocimiento que opera con la
semntica formal. Sin embargo, la expresin de esta base de conocimiento en el
lenguaje formal usado por el sistema no es por lo general muy comprensible a los no
programadores. Es preciso, por tanto, un lenguaje visual que ofrezca tanto formas
comprensibles como posibilidades formales atractivas no slo para la comprensin,
sino tambin para la correccin, y para las partes del proceso de adquisicin del
conocimiento en s mismo.


El temprano desarrollo de redes semnticas acab en fuertes crticas sobre la
semntica de diagramas particulares ya que sta no estaba bien definida. Los nodos,
arcos y sus etiquetas podan usarse muy libremente y con una gran ambigedad, y los
diagramas estaban sujetos a interpretaciones diferentes. En los aos 70 existan
propuestas para formalizar una red semntica bien definida y esto hizo factible que la
semntica formal fuera desarrollada para sistemas de representacin de conocimiento
terminolgicos. En 1991, Profits estableci una semntica formal para mapas
conceptuales para sistemas terminolgicos lgicos que dio lugar a un ejemplo principal
de su uso en la solucin de un sistema de asignacin de espacio.

Las redes semnticas son sistemas de organizacin del conocimiento que estructuran
los conceptos, no como una jerarqua sino como una red. Los conceptos son como
nodos, con varias relaciones que se ramifican hacia fuera de ellas. Las relaciones
pueden incluir relaciones tipo todo-parte, causa-efecto, padre-nio, "es un" o "es
parte".

Las redes semnticas son grafos orientados que proporcionan una representacin
declarativa de objetos, propiedades y relaciones. Los nodos se utilizan para
representar objetos o propiedades. Los arcos representan las relaciones entre nodos.
El mecanismo de inferencia bsico en las redes semnticas es la herencia de
propiedades.
Las redes semnticas proporcionan un modelo de presentar las relaciones entre los
conceptos y los acontecimientos y constituyen una descripcin de nuestra forma de
razonar.

Las partes de una red semntica son:
nodos: es un concepto y se encierra en un crculo o elipse.
relaciones: es una propiedad del concepto y pueden ponerse de dos formas:
implcitas: es una flecha que no especifica su contenido
explcitas: es una flecha en donde se especifica su contenido
Frames
Mtodo declarativo de representacin del conocimiento.
OBJETIVO: Suministrar mecanismos de razonamiento por semejanza
Representacin estructurada de conocimiento estereotipado
Un FRAME representa una entidad del mundo real
Los hechos se agrupan en objetos
FRAME = red semntica compleja
ESTRUCTURA
CABECERA: Etiqueta lingstica que da nombre al frame
Es representativa de la clase de objetos que describen
SLOTS (ranuras): Contienen la info. relativa a la cabecera del

FRAME
Conjunto de pares atributo-valor
Representan: propiedades de la clase, objetos, propiedades de los objetos,
subobjetos, relaciones entre frames, etc...
Slots estructurados en niveles: cada indentacion especializa nivel superior
Pueden ser propios o heredados
Pueden incorporar:
Metaconocimiento: info. sobre el frame, ayuda a manipular el conocimiento
Informacion procedimental (DEMONS) se activan cuando se accede al slot
permiten: uniones procedimentales entre frames, interaccin mundo exterior
aportan carcter dinmico ej: IF NEEDED, IF ADDED, IF REMOVED, etc.
Lenguajes para la Representacin del Conocimiento
Lisp
Su nombre se deriva de LISt Processor. LISP fue el primer lenguaje para procesamiento
simblico. John McCarthy lo desarroll en 1958, en el Instituto de Tecnologa de
Massachusetts (MIT), inicialmente como un lenguaje de programacin con el cual los
investigadores pudieran implementar eficientemente programas de computadora
capaces de razonar.
Rpidamente LISP se hizo popular por su capacidad de manipular smbolos y fue
escogido para el desarrollo de muchos sistemas de Inteligencia Artificial.
Actualmente, LISP es utilizado en varios dominios que incluyen la escritura de
compiladores, sistemas para diseo VLSI, sistemas para diseo mecnico asistido por
computadora (AUTOCAD), animaciones grficas y sistemas basados en conocimiento.
Prolog
PROgramming in LOGic (PROLOG), es otro de los lenguajes de programacin
ampliamente utilizados en IA. PROLOG fue desarrollado en Francia, en 1973 por Alain
Colmenauer y su equipo de investigacin en la Universidad de Marseilles.
Inicialmente fue utilizado para el procesamiento de lenguaje natural, pero
posteriormente se populariz entre los desarrolladores de aplicaciones de IA por su
capacidad de manipulacin simblica. Utilizando los resultados del grupo francs,
Robert Kowalski de la Universidad de Edimburgo, en Escocia, desarroll la teora de la
programacin lgica. La sintaxis propuesta por Edimburgo, se considera el estndar de
facto del PROLOG.
A partir de 1981 tuvo una importante difusin en todo el mundo, especialmente
porque los japoneses decidieron utilizar PROLOG para el desarrollo de sus sistemas de
computacin de quinta generacin. Actualmente existen varios dialectos del PROLOG
para diferentes plataformas.

OPS5
Official Production System 5 (OPS5), es un lenguaje para ingeniera cognoscitiva que
soporta el mtodo de representacin del conocimiento en forma de reglas.
Incorpora un mdulo unificador, un intrprete que incluye un mecanismo de
encadenamiento progresivo, y herramientas para edicin y depuracin de los
programas.
OPS5 es un miembro de la familia de lenguajes de programacin desarrollados en la
Universidad Carnegie - Mellon. Varias compaas han desarrollado implementaciones
comerciales de OPS5, para diferentes plataformas.
KIF
KIF es un lenguaje lgico basado en lgica de primer orden que fue creado con el
objetivo de actuar como interlingua entre diferentes formalismos y lenguajes de
representacin, de forma que para pasar de un lenguaje A a B no hiciera falta crear un
mapeo especfico, sino que fuera suficiente con existir los mapeos A-Kif y Kif-B.
KIF dispone de su propia sintaxis y algunos aadidos semnticos sobre la lgica de
primer orden
KM
Estos lenguajes son similares a los lenguajes de programacin orientados a objetos, en
el sentido de que modelan el conocimiento utilizando clases (frames), atributos,
objetos y relaciones, y utilizan relaciones de generalizacin y especializacin para
representar la organizacin jerrquica de los conceptos.
Uno de los posibles lenguajes basados en frames es KM. Mediante este lenguaje
definimos a continuacin que cada venta consta de un objeto que se vende y un
vendedor y comprador:
(every Venta has
(vendedor((a Agent)))
(objeto((a Thing)))
(comprador((a Agent)))
)
Inicialmente se crearon multitud de lenguajes basados en marcos diferentes, la
mayora incompatibles entre si. En 1985 se creo KL-ONE que utilizando formalismos de
lgica descriptiva aport rigor a diferentes lenguajes que se crearon posteriormente
basados en l.

Es importante mencionar que muchos de los lenguajes basados en marcos se pueden
considerar como nicamente sintaxis diferentes de la lgica de primer orden y que por
lo tanto no ofrecen ms expresividad que ella. Esto hace tambin por otro lado que
tengan representaciones equivalentes en el lengujaje KIF visto en un punto anterior.
Lenguajes basados en reglas
Estos lenguajes han sido durante mucho tiempo posiblemente los ms usados de
todos, principalmente debido a su estrecha relacin con los Sistemas Expertos
utilizados en Inteligencia Artificial. Estos lenguajes son fciles de entender debido a su
sencillez conceptual y a su paralelismo con las estructuras de control ms simples
utilizadas en programacin.
Existen diversos tipos de lenguajes basados en reglas, que se diferencian por el tipo de
cosas permitidas en las reglas, como si permiten nicamente la definicin de
afirmaciones en la parte THEN o si tambin permiten comportamiento procedural, el
uso de lgica difusa en los hechos, etctera. Una de las tendencias ms recientes pasa
por mezclar los conceptos de frames y reglas, como en el caso de Jess, para disponer
de lenguajes que permitan reunir la informacin de cada concepto y asociar a alguno
de sus slots conjuntos de reglas. Esto aporta orden a la informacin, que suele ser algo
difcil de conseguir conforme la base de conocimiento crece y el nmero de reglas
aumenta, al tener dispersa la informacin de cada concepto y mezclada con otros.
Este tipo de lenguajes han recibido tambin un fuerte impulso a partir de la aparicin
de la web semntica, ya que que se piensa en ellos como herramientas para definir
servicios web, y como herramienta base que permita definir la forma en la que pueden
interactuar las aplicaciones de comercio electrnico. Para ello se ha creado una
iniciativa Rule Markup Initiative que ha diseado el lenguaje RuleML, basado en XML y
que por lo tanto est pensado desde su concepcin para garantizar la
interoperabilidad necesaria en el web.
Este nuevo lenguaje incluye las siguientes caractersticas:
Reglas de pruduccin: reglas del tipo IF-THEN habituales en los sistemas
expertos.
Reglas de integridad: afirmaciones que se deben cumplir en cualquier estado
del sistema
Reglas reactivas: reglas que realizan acciones cuando se cumple un evento o se
dan unas determinadas circunstancias
Reglas de derivacin: reglas para definir conceptos derivados a partir de otros
Reglas de transformacin: permiten crear reglas a partir de un llamador, una
condicin, y una transformacin.


Podemos representar en RuleML la sentencia Si a alguien le gusta la lectura, entonces
a Juan le gusta esa persona de la siguiente forma:
<rulebase label="gustaLectura">
<imp>
<_head><atom>
<rel>gustar</rel>
<ind>Juan</ind>
<var>x</var>
</atom></_head>
<_body><atom>
<rel>gustar</rel>
<var>x</var>
<ind>lectura</ind>
</atom></_body>
</imp>
</rulebase>
















Conclusin
Gracias a la inteligencia artificial es posible la programacin de maquinas inteligentes
como los robots con la capacidad de almacenar conocimiento es decir datos en
informacin recopilada y almacenada para posteriormente procesarla y generar cierto
conocimiento para posteriormente tomar decisiones.

















Bibliografa
Asociacin para el Avance de la Inteligencia Artificia, Morgan Kaufmann, 2004
Fundamentos lgicos, filosficos y Computacional, John F. Sowa
Walter G. Wilson: Sistemas de Conocimiento y Prolog, segunda edicin, Addison-
Wesley, 1990