IA

Representacin del conocimiento

Representacin del conocimiento

IA involucra muchos campos de investigacin
y desarrollos diferentes:
Robotica
Vision Artificial
Resolucion de problemas
Sistemas expertos
Traduccin automtica
Etc.

Representacin del conocimiento

Nos ocuparemos de las tcnicas bsicas de realizacin de sistemas
de IA, que son bsicamente:

Representacin del conocimiento

Bsqueda de soluciones
El conocimiento que poseen las personas no est estructurado
segn mecanismos de programacin mas comunes que utiliza la
programacin convencional; pila, cola, matrices, variables. Sino que
utilizan mecanismos de representacin mas complejos

Es necesario ampliar el conjunto de tcnicas computacionales

bsicas con un conjunto de formalismos de representacin
mas similar a los que empleamos los humanos. Estos
formalismos sern estudiados como Representacin del

conocimiento

Representacin del conocimiento

Representacin del conocimiento

Realizado la representacin del conocimiento mediante estos
formalismos es necesario resolver los problemas que resuelve
un humano (experto). Los mtodos de Bsqueda

Heurstica estudian una serie de mtodos de seleccin de

las mejores alternativas de decisin para resolver un
problema.

Representacin del conocimiento

Supongamos que nunca estuvimos en
Buenos Aires y queremos encontrar
el camino mas corto para ir de una
estacin de subte a otra. Lo mas
obvio es recurrir a un plano, una
representacin simplificada del
mundo externo, una modelo que
abstrae complejidades que no
necesitamos.
Un SIA, que encuentre el camino mas
corto, hara lo mismo, recorrer ese
plano (representacin) mediante un
mtodo explcito que manipule la
representacin y resuelva el
problema.

Representacin del conocimiento

Los desarrolladores de SIA deciden el tipo de
representacin adecuada para el problema a
resolver, esto puede hacer que un problema
complejo sea mas fcil de resolver.
Utilidad de los SIA:
Poder dialogar con personas u otros sistemas.
Preguntas -> representacin -> Respuestas.
Ver fig. bsqueda rutas subte.

Representacin del conocimiento

En principio, un lenguaje de representacin del conocimiento
consta de dos aspectos bsicos:
Sintaxis, que explica cmo es la forma en que se construyen
las oraciones como combinacin de estructuras ms sencillas
(por ejemplo las palabras en un lenguaje natural). As
podemos decir que la oracin Un bueno ser jefe justo est
sintcticamente mal construida, debido a los signos o
elementos de esta oracin estn mal ordenados.
Semntica, que explica la correspondencia entre los
elementos o signos que componen un lenguaje y los objetos
que representan. Por ejemplo podemos decir que la palabra
juez designa a una persona que imparte justicia

Construccin de una base de

conocimientos mediante la lgica
formal
Podramos hacer una analoga entre forma y contenido
respectivamente.
Y a partir de aqu podemos definir el concepto de inferencia
como el proceso que lleva de unas premisas a una conclusin,
y que en principio puede ser vlida o no.
Pero, qu entendemos por validez, o por una oracin vlida?
Se dice que una oracin es vlida si y slo si es verdadera en
todos y cada uno de los casos posibles, independientemente
del objeto que representen.

Construccin de una base de

conocimientos mediante la lgica
formal
As tambin se suele hablar de validez formal o de
que un razonamiento es formalmente vlido cuando
dadas unas premisa necesariamente se obtiene una
conclusin concreta. A stas oraciones que son
necesariamente verdaderas se les conoce con el
nombre de tautologas.
Por ejemplo, si decimos que Todos los perros ladran y que
Pipo es un perro, de esto podr concluir que Pipo ladra.

Tipos de razonamiento
A su vez, un razonamiento puede ser deductivo, SI la
informacin contenida en la conclusin no aporta ningn
conocimiento que no se pueda deducir de forma inmediata de
las premisas (como es el caso anterior) o inductivo cuando de
la informacin contenida en las premisas NO se infiere de
forma inmediata la conclusin.
Por ejemplo de Mercurio gira en una rbita elptica, Venus
gira en una rbita elptica, la Tierra gira en una rbita elptica
podemos inferir que Plutn gira en una rbita elptica, pero
eso no es necesariamente verdadero. A lo sumo ser
verdadero con una cierta probabilidad o plausibilidad, y as
llamaremos a estos razonamientos razonamientos
probabilsticos o plausibles. stos razonamientos son los que
se usan en ciencia y los que aportan de verdad conocimiento
Plausible: que admite aprobacin o justificacin

Tipos de razonamiento
Por ltimo, llamaremos modelo a un mundo en el que una
oracin es verdadera bajo una determinada interpretacin. Y
as, habr oraciones que sern verdaderas en un determinado
modelo y otras que no.
Por lo tanto disponemos de un lenguaje formal, que ser
independiente del modelo en el que se site, y que nos
permitir representar todos los elementos u objetos de un
modelo (o mundo) mediante signos de forma no ambigua, un
conjunto de reglas (reglas de formacin) para manipular esos
signos y efectuar inferencias para llegar a conclusiones y un
conjunto de reglas de transformacin que permitir
transformar una combinacin bien construida en otra
igualmente bien construida. Estos elementos constituyen lo
que se denomina lgica.