Está en la página 1de 30

Contenido

Sistemas expertos, bases de datos deductivas.


Inteligencia Artificial.
Otros lenguajes lgicos
Programacin Lgica
Conceptos Generales
Sistemas Expertos
Un programa computacional que exhibe, dentro de un dominio
especfico, un grado de experiencia en la solucin de un problema
comparable con la forma en que un experto humano lo hara.
Ejemplo: programa experto en seleccin de personal, en base a una BD
que es inductiva.
Sistemas expertos
Se puede distinguir de un programa con aplicaciones
convencionales por lo siguiente:
Simula el razonamiento humano.
Realiza razonamiento sobre representaciones del
conocimiento humano, adems de realizar clculos
numricos y acceso a datos.
Resuelven problemas mediante mtodos heursticos o
aproximados.
Diferencia , un SE simula el razonamiento humano, con
los clculos establecidos en los programas
Sistemas expertos
Un programa tradicional puede esquematizarse de
la siguiente manera:
Mientras que un sistema experto estara definido
de la siguiente forma:
Motor de inferencia interfaz
Conceptos bsicos fundamentales para el Examen Final
Sistemas expertos
Se puede distinguir de otros programas de IA por lo
siguiente: (requieren mucho de la experiencia humana)
, a diferencia del otro, la IA es parte de los sistemas
expertos
Trata con asuntos de complejidad real que
normalmente requieren una cantidad considerable de
experiencia humana.
Para ser herramientas tiles deben exhibir alto
rendimiento en trminos de velocidad y disponibilidad.
Deben explicar y justificar soluciones o
recomendaciones para convencer al usuario de que su
razonamiento es correcto.
Sistemas expertos
Componentes de un sistema experto e interfaces
humanas
Experto
humano
Ingeniero de
conocimiento
Usuario
Ingeniero de
sistema
Experiencia
Interfaz de
Usuario
Mquina de
Inferencia
Base de
conocimientos
Almacenamiento
de trabajo
deduce
Es otra especialidad, tiene
nociones basicas, de las
herramientas a utilizar,
capturar la experiencia del
Experto humano.
Sistemas expertos
Es donde se almacena el conocimiento en el campo a
desarrollar. Existen varias formas de representar el
conocimiento:
Marcos (frames). Son estructuras de datos donde se almacena
informacin concreta de un cierto concepto e informacin
relacional para completar la definicin del concepto.
Redes semnticas. Son representaciones grficas del
conocimiento, mediante nodos, que representan objetos o
conjuntos de objetos, y arcos, que relacionan dichos objetos.
Reglas. Representan la forma de razonar. Tienen la forma IF
<condicin> THEN <accin/conclusin>.
Base de conocimientos
Sistemas expertos
Tambin llamada base de hechos. (son sentencias
bsicas del programa, a a traves de hechos se validan
las RS,M,R que estn establecidas en la Base de
conocimiento)
Representa el conocimiento del estado del sistema en
un cierto instante.
Su informacin esta directamente enlazada con la base
de conocimientos.
Un hecho puede producir el disparo de una regla
Ej. Un hecho= predicado + argumento
hecho: Utilizacion_Maquina = 0.873
regla: SI Utilizacion_Maquina > 0.8
ENTONCES Estado_Maquina = SOBRECARGADO
Almacenamiento de trabajo
-condicin, premisas
conclusin
Las reglas, luego las premisas
y concluye as trabajamos en
el curso prolog
Sistemas expertos
Encadenamiento hacia atrs
(backward chaining). Inicia con la
conclusin que se desea demostrar y
procura establecer la certeza de los
hechos que conducen a ella.
Encadenamiento hacia delante
(forward chaining). Realiza
comparaciones entre las reglas y los
hechos disponibles de manera que se
establezcan nuevos hechos hasta llegar
al objetivo deseado.
Se pueden diferenciar dos mecanismos de inferencia:
Hacia adelante Hacia atrs
Mquina de inferencia
Realiza el proceso recursivo hacia atrs
Sistemas expertos
La aceptabilidad de un sistema experto depende en
gran parte de la calidad de la interfaz de usuario.
Establece una comunicacin sencilla entre el usuario y
el sistema.
El usurario consulta y el sistema responde.
Tambin es interesante mostrar la forma en que se
extraen las conclusiones a partir de los hechos.
Interfase de usuario
Sistemas expertos
Sistemas expertos en Prolog
Es casi directo implementar un sistema de
reglas de produccin.
Las clusulas de Prolog pueden verse como
reglas y
El interprete de Prolog puede verse como una
mquina de inferencia, que realiza
encadenamiento hacia atrs y bsqueda por
profundidad.
|
En clauses se realizan las sentencias, y se forma
la base de conocimientos
Para tener ms clara la separacin entre la base de
conocimientos, la mquina de inferencia y los datos (memoria
de trabajo).
Para poder alterar las estrategias de inferencia y de control.
Para agregar otros aspectos del manejo de incertidumbre y
otras representaciones.
Se obtiene una representacin del conocimiento del problema
en una forma ms natural.
Sistemas expertos
Implementacin de Shell
Sistemas expertos
Bases de datos deductivas
Usan:
Un lenguaje declarativo para especificar reglas.
Un motor de inferencia que puede deducir hechos nuevos
a partir de la base de datos.
Utilizan dos tipos de especificaciones:
Hechos
Reglas. Especifican relaciones virtuales que no estn
almacenadas.
Bases de datos deductivas
Programacin lgica BDD
Smbolos de predicado Nombre de relacin
Argumentos Atributos
Hecho, p(a, b,) Tupla, <a, b, >
Predicado: {hechos} Relacin: {tuplas}
Diferencias terminolgicas:
Bases de datos deductivas
a1 a2 a3 a4
b1 b2 b3 b4
c1 c2 c3 c4 c5
d1 d2 d3 d4
Relaciones y predicados: Ejemplo
Relaciones unarias:
fumador = {b3, b4, d2}; enfermo = {b3, b4, c3, c4, c5, d2, d3, d4};
barbudo = {a3, b3, b4, c1, c2, c4, d1, d2}
Relacin binaria:
padre_de = {(a1,b1), (a1,b2), (a2,b1), (a2,b2), (a3,b3), (a3,b4), (a4,b3), (a4,b4), b1,c1),
(b1,c2), (b2,c3), (b3,c3), (b4,c4), (b4,c5), (c1,d1), (c2,d1),(c2,d2), (c4,d2), (c4,d3), (c5,d4)}
Bases de datos deductivas
En programacin lgica, a partir de:
Hechos, o definiciones extensionales de las relaciones:
fumador, padre_de
Reglas que definen la relacin enfermo de manera intensional:
enfermo(X):- fumador(X).
enfermo(X):- padre_de(X,Y), enfermo(Y).
Ante la consulta ?- enfermo(X), se genera la definicin
extensional de enfermo.
Bddinmico
Basedinmico externo
Sistemas expertos
Proceso recursivo
hacia atrs
Bases de datos deductivas
?- enfermo(X).
Intrprete de Prolog
padre_de(a1,b1) .padre_de(a1,b2).
padre_de(a2,b1). padre_de(a2,b2).
padre_de(a3,b3). padre_de(a3,b4).
padre_de(a4,b3). padre_de(a4,b4).
padre_de(b1,c1). padre_de(b1,c2).
padre_de(b2,c3). padre_de(b3,c3).
padre_de(b4,c4). padre_de(b4,c5).
padre_de(c1,d1). padre_de(c2,d1).
padre_de(c2,d2). padre_de(c2,d3).
padre_de(c4,d2). padre_de(c4,d3).
padre_de(c5,d4).
enfermo(X) :- fumador(X).
enfermo(X) :- enfermo(Y), padre_de(Y,X).
X=b3.
X=b4.
X=c3.
X=c4.
X=c5.
X=d2.
X=d3.
X=d4.
Bases de datos deductivas
Inteligencia Artificial
Ideas bsicas detrs de la IA:
Estudio de procesos del pensamiento humano
Representacin de esos procesos en mquinas
(computadoras, robots, etc.)
Definiciones:
Esfuerzo por lograr que hacer pensar a las computadoras,
mquinas con mente propia.
Estudia cmo lograr que las mquinas realicen tareas, que
por el momento, son realizadas mejor por seres humanos.
Conducta de una mquina, que si fuera realizada por un
humano se le considerara inteligente.
Inteligencia Artificial
Objetivos de la IA:
Hacer a las mquinas ms inteligentes
Entender que es la inteligencia
Hacer a las mquinas ms tiles
Enfoque Cognitivo
IA es la rama de la ciencia de la computacin que trata
con las formas de representacin del conocimiento, el uso
de smbolos en vez de nmeros, y heursticas o reglas de
dedo en vez de algoritmos para el procesamiento de
informacin.
Inteligencia artificial
Ventajas de la IA sobre la Inteligencia Natural
Es ms permanente
Permite la duplicacin y la .diseminacin
Puede ser menos costosa.
Es consistente y exhaustiva.
Es documentable
Ventajas Inteligencia Natural sobre la IA
Es creativa.
Permite que la gente obtenga beneficios de uso de experiencias
sensoriales.
Permite reconocer relaciones entre cosas, calidad de la informacin
recibida, patrones, etc.
El razonamiento humano siempre es capaz de usar el contexto de la
experiencia.
Inteligencia artificial
Inteligencia artificial
Lingstica computacional
Es el estudio de la lengua desde una perspectiva
computacional.
Se interesa en proporcionar diferentes modelos
computacionales de varias clases de fenmenos lingsticos.
Trata de explicar fenmenos lingsticos y psicolingsticos.
Tambin sirve para proporcionar componentes tecnolgicos
de muchos sistemas: sistemas de reconocimiento del habla,
sintetizado de voz desde texto, sistemas de respuesta
automatizada.
Inteligencia artificial
Procesamiento del lenguaje natural
Intentan simular el comportamiento lingstico humano.
Pretenden facilitar la interrelacin persona ordenador.
La problemtica radica en representar el conocimiento
contextual.
Existen dos campos para el estudio del lenguaje natural:
Entendimiento del lenguaje escrito
Entendimiento del lenguaje oral
reas de aplicacin e investigacin:
Inteligencia artificial
Reconocimiento del habla
Es el proceso que permite comunicarnos con el computador
por medio del lenguaje hablado.
El ltimo objetivo del reconocimiento del habla es permitir
que el computador entienda el habla de un interlocutor
humano.
Consta de dos procesos:
Reconocimiento de palabras
Entendimiento del habla
reas de aplicacin e investigacin
Inteligencia artificial
Visin por computador
Es considerada una de las reas fundamentales de la IA.
Definicin:
Proceso de extraccin de informacin del mundo fsico a partir de
imgenes utilizando para ello un computador.
Objetivo:
Obtencin de una representacin ms condensada que sustituya la
gran cantidad de datos d entrada que no son manipulables
directamente.
reas de aplicacin e investigacin
Inteligencia Artificial
Lgica
Permite abordar la resolucin de algunos problemas de la
IA
Estudia la relacin de implicacin entre suposiciones y
conclusiones
Ejemplo:
animal_de_compaia(X):- mascota(X), pequeo(X).
mascota(X):- gato(X).
mascota(X):- perro(X).
perro(X):-caniche(X).
pequeo(X):- caniche(X).
caniche(peluso).
La lgica no aborda la verdad, falsedad o aceptabilidad de
las sentencias individuales, sino las relaciones existentes
entre ellas.
Otros lenguajes lgicos
Caen dentro de los llamados:
Lenguajes simblicos
Lenguajes relacionales
Declarativos
Algunos lenguajes que caen dentro de estos son:
Prolog
Datalog
SMALLTALK
CLP(R)
CHIP
ECLiPSe
Otros lenguajes lgicos
Pluralismo epistemolgico
Combinacin de distintos tipos de programacin como un rasgo deseable de
la cultura computacional.