Sees 02008

Luis A. Alfaro Casas, Dr. Ing.
Software de los sistemas de informacin

EL CONOCIMIENTO
Luis Alberto Alfaro Casas, Dr. Ing.
REALIDAD
SISTEMA AMBIENTE OBJETIVOS
ONTOLOGIA
RELACIONES ENTIDAD
ATRIBUTOS
CALIFICACION
CUANTIFICACION
ESTRUCTURA
FUNCION DATO
CONTEXTO OBJETIVO
SIGNIFICADO COMUNICACIN
INFORMACION
SEMITICA
LEXICO
MORFOLOGIA
LENGUAJE
SINTAXIS
SEMNTICA
COGNICION
RACIOCINIO
PERCEPCION INTUICIN
INFERENCIA
CONOCIMIENTO ENTENDER MEMORIA
APRENDER RECORDAR
SABIDURIA
COMPRENDER INTELIGENCIA
EPISTEMOLOGIA
ALGUNAS CATEGORIAS DE LA EPISTEMOLOGIA
EPISTEMOLOGIA
TEORIAS
FILOSFICAS
CONOCIMIENTO
A PRIORI
CONOCIMIENTO
A POSTERIORI
ARISTOTOTELES
PLATON
KANT
LOCKE
MILL
JERARQUIA DEL CONOCIMIENTO
META
CONOCIMIENTO
CONOCIMIENTO
INFORMACION
DATOS
RUIDO
ARBOL DE ANLISIS GRAMATICAL DE UNA ORACIN
FRASE DE SUJETO
DETERMINADOR SUSTANTIVO
EL HOMBRE
VERBO FRASE DE OBJETO
DETERMINADOR ADJETIVO SUSTANTIVO
UN GRAN DEVORADOR FUE
Ejemplos de sistemas de informacin Ejemplos de sistemas de informacin
Luis Alberto Alfaro Casas, Dr . Ing . Luis Alberto Alfaro Casas, Dr . Ing .
DATOS, INFORMACION Y CONOCIMIENTO
DATOS, INFORMACION Y CONOCIMIENTO
Datos Datos Informacin Informacin Conocimiento Conocimiento
Observaciones
sencillas de los
estados del mundo
Observaciones
sencillas de los
estados del mundo
Datos dotados de
pertinencia y
propsito
Datos dotados de
pertinencia y
propsito
Informacin valiosa
de la mente humana.
Incluye reflexin,
sntesis y contexto.
Informacin valiosa
de la mente humana.
Incluye reflexin,
sntesis y contexto.
Se estructuran
fcilmente
Se estructuran
fcilmente
Se capturan con
facilidad en las
mquinas
Se capturan con
facilidad en las
mquinas
A menudo se
cuantifican
A menudo se
cuantifican
Se transfieren con
facilidad
Se transfieren con
facilidad
Requiere una
unidad de anlisis
Requiere una
unidad de anlisis
Necesita consenso
sobre significado
Necesita consenso
sobre significado
La intermediacin
humana es
indispensable
La intermediacin
humana es
indispensable
Difcil de
estructurar
Difcil de
estructurar
Difcil de capturar
en las mquinas
Difcil de capturar
en las mquinas
A menudo es tcito A menudo es tcito
La transferencia es
complicada
La transferencia es
complicada
SISTEMA HUMANO DE PROCESAMIENTO DE INFORMACION
SUBSISTEMA COGNOSCITIVO
SUBSISTEMA
PERCEPTIVO
MEMORIA A LARGO PLAZO
(red de racimos asociados)
MEMORIA DE
TRABAJO
(3-7 RACIMOS
ACTIVADOS)
ESTIMULOS
SENSORES
MEMORIAS
INTERMEDIAS
MEMORIAS
INTERMEDIAS
RESPUESTA MUSCULOS,
ETC.
PROCESADOR
COGNOSCITIVO
RACIMO DE LA RED DE MEMORIA
PERRO
LASSIE pastor
actor
de TV
FIDO
SPOT
Ladridos
Rabo
Pelos
Sangre
caliente
mamifero
Cachorros
ARQUITECTURA DE SISTEMA EXPERTO BASADO EN CONOCIMIENTO
Base de conocimiento
Base hechos
Memoria de
trabajo
Motor de inferencias
Inferencia Control
Subsistema de
adquisicin de
conocimiento
Subsistema
de
explicacin
Interfaz de
usuario
Usuario Experto o
ingeniero de
conocimiento
REGLAS DE PRODUCCION
DESCRIPCIONES DE ACCIONES
DEPENDIENTES DE CIERTAS
CONDICIONES.
IF (1) la infeccin es debida a bacterias primarias, y
(2) la localizacin del cultivo es una de las muestras estriles, y
(3) la entrada probable es el tracto gastrointestinal,
THEN Es bastante probable (.7) que la identidad de los organismos
sea bacteria
EJEMPLO (MYCIN)
premisa
REGLAS DE PRODUCCION
Arquitectura un sistema de produccin
Base de datos
Reglas de
produccin
Mecanismo de inferencia
Reconocimiento Accin
Conjunto de conflicto
de reglas posibles
Evala las reglas
elegidas
REDES SEMANTICAS
METODO DE REPRESENTACION DEL
CONOCIMIENTO SOBRE LAS
RELACIONES DE LOS OBJETOS, USADA
PARA INFORMACION PROPOSICIONAL
LOS NODOS DE UNA RED SEMANTICA
CORRESPONDEN A LOS OBJETOS Y LOS ARCOS
DESCRIBEN LAS RELACIONES ENTRE LOS
OBJETOS
PUEDE TOMARSE UN ARCO CON SUS DOS
NODOS COMO UNA SOLA UNIDAD DE
CONOCIMIENTO
San Francisco
Chicago
New York
Indianapolis
Houston Los Angeles
RED GENERAL
RED SEMANTICA
Juan
Padre-de
Toms
Padre-de
David
wife-of
Esposo-de
Carolina
Hermana-de
Ana
Madre-de
Madre-de
Susana
Padre-de
Madre-de
Esposa-de
Esposo-de
Esposo-de
Esposa-de
REDES SEMANTICAS USANDO RELACIONES IS-A Y A-KIND -OF (AKO)
AKO
AKO AKO
IS-A
IS-A IS-A
Tiene forma
AKO
AKO
AKO
AKO
Tiene forma
AKO
Fuerza
Area 1
Concorde DC-9
Jet
Aircraft
Redonda
Elipsoidal Dirigible
Goodyear
dirigible
Espritu de
San Luis
DC-3
especial
Globo
Manejo de
propulsin
AKO
IS-A
EJEMPLO DE UNA RED SEMANTICA
ESTABLECEMOS LAS SIGUIENTES RELACIONES:
Temp(sangre caliente, mamfero: Los mamferos son de sangre caliente
Temp es la relacin que describe la
temperatura corporal.
Es_un(perro,mamfero) La relacin de es_un es una .
relacin unidireccional; cada perro
es un mamfero, pero no cada
mamfero es un perro.
Es_un(gato,mamfero)
Es_un(Belo,perro) es_un(Tino,perro), es_un(Susi,gato)
Lugar(Casa_de_Maria,Belo) Con la relacin de lugar se crea un
enunciado sobre el lugar donde vive
relacin unidireccional; cada perro
es un mamfero, pero no cada
mamfero es un perro.
Lugar(Bomberos,Tino) lugar(casa_de_Kurt,Susi)
El color blanco del animal
Color(Blanco,Belo) Belo es blanco:color otorga
EJEMPLO DE UNA RED SEMANTICA
Color(blanco,Tino) color(negro,Susi)
Esta relacin hace referencia a tres
objetos. Bomberos est entre la casa
de maria y la casa de Kurt.
Tamano(60 cm,Belo) Belo mide 60 cm
Tamano(40 cm,Tino) tamano(20 cm,Susi)
Esta(Casa_de_Maria,Bomberos,Casa_de_Kurt))
PROLOG Y REDES SEMANTICAS
BASE DE DATOS DE
PREDICADOS
(Reglas y Hechos)
INTERPRETE
USUARIO
Organizacin General de un sistema PROLOG
Consultas Respuestas
LAS REDES SEMNTICAS SON FACILES DE TRASLADAR A Prolog.
es_un (dirigible_goodyear, dirigible).
es_un (espritu_de_san_luis,especial).
tiene_forma (dirigirible,elipsoidal).
tiene_forma (globo,redondo).
Existen en PROLOG instrucciones que expresan algunas de las
relaciones en la red semantica anterior.
Predicados y sus comentarios en PROLOG.
color (rojo). ; rojo es un color
padre_de (tom, john). ; tom es padre de john.

madre_de (susan, john). ; susan es la madre de John
padres (tom, susan,john); tom y susan son padres de
john

is_a (rojo, color).
has_a (john, padre).
has_a (john, madre).
has_a (john, padres).
Predicados expresados con relaciones IS-A y HAS-A
Para que le predicado has_a tenga significado deben
introducirse algunos predicados adicionales:
is_a (tom,padre).
is_a (susan, madre).
Los programas Prolog estn formados hechos y
reglas en la forma general de metas:
p :- p1, p2,...,pN.
FRAMES (MARCOS)
FRAME: Tipo de esquema usado en aplicaciones de IA
SCRIPT: Tipo de esquema que es esencialmente la
secuencia de orden de tiempo de los FRAMES
FRAME DE UN CARRO
SLOTS FILLERS
MANUFACTURADOR GENERAL MOTORS
MODELO CHEVROLET CAPRICE
AO 1979
TRANSMISION AUTOMATICA
COMBUSTIBLE GASOLINA
CILINDROS 4
COLOR ROJO
CALCULO DE PREDICADOS
FRAME GENERICO PARA PROPIEDADES
SLOTS FILLERS
NOMBRE PROPIEDAD
ESPECIALIZACION_DE
UN_TIPO_DE OBJETO
TIPOS (AUTO,BOTE,CASA)
PROPIETARIO Predeterminado: gobierno
UBICACION (CASA,TRABAJO,MOVIL);
ESTADO
SOBRE_GARANTIA (SI, NO)
Si_se_agrega: Procedimiento AGREGAR_PROPIEDAD
Si-se-necesita: Procedimiento: BUSCAR_PROPIETARIO
(deteriorado, regular, bueno)
SUBFRAME GENERICO PARA PROPIEDADES - FRAME DE CARRO
SLOTS FILLERS
NOMBRE CARRO
ESPECIALIZACION_DE
UNA_CLASE_DE PROPIEDAD
TIPOS
(sedan, sports, convertible)
FABRICANTE (GM, Ford, Chrysler)
LOCALIZACION MOBIL
CILINDROS
TRANSMISION (manual, automatica)
4
COMBUSTIBLE (Gasolina, diesel)
UNA INSTANCIA DEL FRAME CARRO
SLOTS FILLERS
NOMBRE CARRO DE JOHN
ESPECIALIZACION_DE
ES_UN_CARRO
FABRICANTE
GM
PROPIETARIO JOHN DOE
TRANSMISION AUTOMATICA
COMBUSTIBLE
ESTADO BUENO
GASOLINA
SOBRE_GARANTIA SI
LOGICA Y CONJUNTOS
PREMISA: TODOS LOS HOMBRES SON MORTALES
PREMISA: SOCRATES ES UN HOMBRE
CONCLUSION: SOCRATES ES MORTAL
LOS SILOGISMOS TIENEN DOS PREMISAS Y UNA CONCLUSION:
DIAGRAMA DE VEEN
CONCLUSION
HOMBRE
CRIATURA
MORTAL
LOGICA Y CONJUNTOS
TODOS LOS
CARROS
AZULES
TODOS LOS
CARROS
AZULES CON
TRANSMISION
MANUAL
TODOS LOS
CARROS CON
TRANSMISION
MANUAL
INTERSECCION DE CONJUNTOS
OPERACIONES BASICAS
DE CONJUNTOS
(a) INTERSECCION DE CONJUNTOS
(b) UNION DE CONJUNTOS
(c) COMPLEMENTO DE CONJUNTOS
A B
U
U
U
A
B
A
A
LOGICA PROPOSICIONAL
PREMISA: TODAS LAS X SON Y
PREMISA: Z ES UNA X
CONCLUSION: Z ES UNA Y
TIPO EJEMPLO
Imperativo te digo que vengas
Interrogativo Que es esto?
Exclamatorio !Esto es bueno!
Declarativo El cuadrado tiene 4 lados
Tipos de sentencias
LOGICA PROPOSICIONAL

^
v
-
AND; conjuncin
OR; disyuncin
NOT; negacin
If...then; condicional
If...and only; biconditional
CONECTIVO SIGNIFICADO
ALOGRAFOS:
SUJETO OBJETO
PREDICADO
SUJETO = PREDICADO (OBJETO)
ENTRE LAS ENTIDADES SUJETOS (S) Y OBJETO(S) SE
PUEDEN ENCONTRAR LOS SIGUIENTES PREDICADOS
PRIMITIVOS O CANONICOS:
a) CONCEPTUAL
ES_UN
CONOCIMIENTO

EXPERIENCIA
S= *(O)
CONOCIMIENTO=*(EXPERIENCIA)
S TIENE UNA RELACION DE DEPENDENCIA
NO ESPECIFICA CON O
ALOGRAFOS:
JUAN INGENIERO
ES_UN
c) VERBAL :
HACER
ABEJA MIEL
b) RELACIONAL: S se relaciona con O mediante un a
definicin lingstica D
S se relaciona con O mediante un sintagma
verbal V
S=D(O)
S=V(O) ABEJA=HACE (MIEL)
JUAN = ES_UN (INGENIERO)
ALOGRAFOS:
ANA MARIA
MADRE_DE
e) MODAL :
LUGAR
COMER RESTAURANTE
d) NOMINAL: S se relaciona con O mediante un
Sintagma Verbal N
El predicado es un concepto que indica si el
objeto es un agente, un modo, una cantidad, un
tiempo, un lugar, etc.
S=N(O)
S=M(O)
Comer= Lugar (Restaurante), Tiempo (ayer),
Tipo (desayuno)
Ana=Madre_de(Mara)
ALOGRAFOS:
CASA BLANCA
COLOR
g) REFLEXIVO
JUAN
f) CALIFICATIVO: El predicado es un atributo del sujeto y
el objeto es un dato.
: El SUJETO Y EL OBJETO SON LOS MISMOS
S=A(O)
S=P(S)
Juan = Golpea (Juan)
Casa= Color(Blanco).
(Juan se golpea)
ALOGRAFOS:
h) CONTINGENTE: El predicado establece una relacin
lgica o causal entre dos bolas.
Portanto Entonces Luego
Juan = Tiene(hambre) Portanto Ana=Compra(comida)
S1=P1(01) portanto S2=P2(O2)
JUAN HAMBRE ANA COMIDA
TIENE PORTANTO COMPRAR
ALOGRAFO:
Las proposiciones corresponden a la conceptualizacin
completa de un hecho, un evento o de una inferencia
(afirmacin de una realidad, para lo que se requiere
conocer los atributos del sujeto, del objeto y del contexto
donde se realiza el predicado).
Sujeto = Atributos_del_Sujeto, Predicado(Objeto =
Atributos_del_Objeto, Contexto)
La joven madre cocina rpidamente, mucha carne
congelada, en el almuerzo en su casa.
EJEMPLO:
El algrafo correspondiente sera.
Madre = Es (Joven), Cocina (Carne= s(Congelada),
Modo(Rapidamente), Cantidad(Mucha),
Tiempo(En_el_almuerzo, Lugar(En_su_casa))
ALOGRAFOS:
JOVEN
MODO
MADRE
CARNE
COCINAR
MUCHA
RAPIDAMENTE
AL_ALMUERZO EN_SU_CASA
CONGELADA
CANTIDAD
TIEMPO
LUGAR
ES
ES
ALOGRAFO:
Para una proposicin en particular se puede determinar
un conjunto de Algrafos cannicos, los cuales son:
JUAN RICO
ES
S=P(O)
Juan = Es(Rico)
a.- PROPOSICION ELEMENTAL: El algrafo corresponde a una bola
b.- PROPOSICION COMPUESTA EN EL OBJETO:
S=P(01,02,03, ...)
La proposicin tiene varios objetos
en un predicado
JUAN
RICO
BUENO
FUERTE
ES
ES
ES
ALOGRAFO:
S=P1(01)+P2(02),P3(03),...
c.- PROPOSICION COMPUESTA CON EL PREDICADO:
d.- PROPOSICION GENERAL:
S=P1(011,012),P2(021,022),P3(031,032,...),....
La proposicin general tiene varios
predicados y cada predicado varios objetos
JUAN
HAMBRE
DINERO
INGENIERO
TIENE
TIENE
ES_UN
La proposicin tiene varios predicados con
sus respectivos objetos
Juan=Es(Rico),tiene(hambre),Gasta(dinero)
JUAN
ES
RICO
HAMBRE
DINERO
TIENE
GASTA
RICO
BUENO
ES
ES
DIAGRAMAS MORFOSINTACTICOS DE LOS ALOGRAFOS
Juan = (Tiene(Carro))
La mayor critica a los modelos cognitivos ha sido su falta de normalizacin, y
con el fin de evitar ese hecho Y facilitar en todo lo posible la utilizacin de los
algrafos, se ha establecido unas relaciones morfosintcticas simples que
abarcan la mayora de los caso que se presentan en la realidad.
a.- JUAN TIENE UN CARRO
b.- JUAN TIENE UN CARRO NEGRO GRANDE, HAMBRE Y
DINERO, ES RICO Y ES UN INGENIERO DE SISTEMAS
Juan = (Tiene(Carro)= Es (Negro, Grande)), Hambre, Dinero)),
Es(Rico), Es_un(Ingeniero=Es_de(Sistemas))
c.- JUAN TIENE UN CARRO GRANDE Y POR TANTO
COMPRA GASOLINA, LLANTAS Y REPUESTOS Y GASTA
DINERO.
Juan = (Tiene(Carro)= Es (Grande)):
(Juan=(Gasolina,Llantas,Repuestos)),Gastar(Dinero))
DIAGRAMAS MORFOSINTACTICOS DE LOS ALOGRAFOS
Juan = (Tiene(Carro= (Es(Negro,Grande)):
(Juan = Compra(Gasolina,Llantas,
Repuestos)), Gasta(Dinero)),
Tiene(Hambre,Dinero)), Es(Rico)),
Es_un(Ingeniero = Es_de (Sistemas)).
a.- JUAN TIENE UN CARRO NEGRO GRANDE, POR TANTO
COMPRA GASOLINA, LLANTAS Y REPUESTOS Y GASTA
DINERO. ADEMAS TIENE HAMBRE Y DINERO, ES RICO
Y ES UN INGENIERO DE SISTEMAS.
REPRESENTACION DEL CONOCIMIENTO MEDIANTE ALOGRAFOS
a.- MAPAS SEMANTICOS
NEGRO
CARRO
JUAN
INGENIERO
SISTEMAS
RICO
DINERO
HAMBRE
GRANDE
JUAN
GASOLINA
LLANTAS
REPUESTOS
DINERO
ES
ES
ES
ES_DE
ES_UN
TENER
TENER
TENER
PORTANTO
COMPRAR
COMPRAR
COMPRAR
GASTAR
b.- DIAGRAMAS ASOCIATIVOS
c. ESTRUCTURA JERARQUICA
d.- ESTRUCTURA
SUJETO PREDICADO OBJETOS
JUAN TIENE CARRO HAMBRE DINERO
ES RICO
ES_UN INGENIERO
CARRO ES NEGRO GRANDE
PORTANTO JUAN
JUAN COMPRA GASOLINA LLANTA REPUESTOS
GASTA DINERO
INGENIERO ES_DE SISTEMAS

Sees 02008

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Sees 02008

Transféré par

Droits d'auteur :

Formats disponibles

Luis A. Alfaro Casas, Dr. Ing.

Software de los sistemas de informacin

Vous aimerez peut-être aussi