Embed Size (px)
DESCRIPTION
Clase N° 4 del Curso Sistemas Basados en el Conocimiento de la Universidad de Huánuco.
Citation preview
Page 1
Universidad de Huánuco
Facultad de Ingeniería de Sistemas e Informática
Page 2
Agenda
• Base del Conocimiento
– Lenguajes de Programación Lógica
– Lenguajes de Programación Gráfica
• Motor de Inferencia
– Tipos de Escritura
• Fonética
• Ideográfica
• Pictográfica
• Medios de Comunicación
– Quipus
• Nudos
• Colores
• Distancias
Page 3
Acerca de los Quipus Inca
El Quipu era una herramienta que utilizaban los
Incas – y las sociedades precedentes – para
llevar el registro y la contabilidad. La palabra
Quipu proviene del quechua [escrito: khipu] y
significa nudo.
El Quipu más antiguo data del año 2.500 a.C. y
fueron utilizados hasta la colonización del
Imperio Español ya que fueron destruidos por
los colonos.
Los Quipus normalmente estaban hechos de
algodón o lana a base de pelo de llama o
alpaca. Estos se coloreaban y se anudaban.
Una vez hecho los hilos se codificaban en
valores numéricos siguiendo un sistema
posicional de base decimal.
Page 4
Base del Conocimiento
– Lenguajes de Programación Lógica
• PROLOG
• LISP
• CLIPS
– Lenguajes de Programación Gráfica
• MATLAB
• LABVIEW
Page 5
Lenguajes de Programación Lógica
PROLOG LISP CLIPS
Herramienta paraprogramar artefactoselectrónicos mediante elparadigma lógico.
Herramienta paraprogramar y desarrollarprogramas relacionadoscon la inteligencia artificial.
Herramienta de desarrolloy manejo de sistemasexpertos.
Prolog está basado en lalógica de primer orden, esaquella que resuelveproblemas formulados conuna serie de objetos yrelaciones entre ellos.
Es uno de los primeros
lenguajes de alto nivel y
junto con Prolog el lenguaje
simbólico más usado en
Lenguaje Artificial
CLIPS fue escrito en C con elfin de hacerlo más portabley rápido.
Ideado a principios de losaños 70 en la Universidadde Aix-Marseille
Fue desarrollado en 1954
por John McCarthyFue creado a partir de1984, en el Lyndon B.Johnson Space de la NASA.
Proveniente del francésPROgrammationen LOGique
El nombre LISP deriva del
"LISt Processing" (Proceso
de LIStas)
CLIPS es un acrónimo de CLanguage IntegratedProduction System (Sistemade Producción Integrado enLenguaje C)
Page 6
Lenguajes de Programación Lógica
PROLOG LISP CLIPS
Se compone de hechos (datos)
y un conjunto de reglas, es
decir, relaciones entre objetos
de la base de datos.
Se compone de listasencadenadas y por un conjuntode instrucciones o reglas.
Se compone básicamente dereglas definidas, y está basadoen texto que incluyenherramientas.
Los comentarios se definenentre los símbolos /* y */.
Los comentarios se definen con
el símbolo “;” (punto y coma)
Los comentarios se colocan
detrás de un punto y coma (;).
Una llamada concreta a unpredicado o a una determinadafunción, con unos argumentosconcretos, se denominaobjetivo.
Una llamada de función o una
forma sintáctica es escrita como
una lista, con la función o el
nombre del operador en primer
lugar, y los argumentos a
continuación.
Una función comienzan con un
paréntesis izquierdo, seguido
por el nombre de la función y a
continuación le siguen los
argumentos de la función
separados por uno o más
espacios. La llamada a la
función finaliza con un
paréntesis de cierre.
Tiene una sintaxis y semántica
simples. Sólo busca relaciones
entre los objetos creados, las
variables y las listas, que son
sus estructuras básicas.
La intercambiabilidad del
código y los datos también da a
Lisp su instantáneamente
reconocible sintaxis.
Su sintaxis estaba basada en lasintaxis de ART (otraherramienta para el desarrollode sistemas expertos).
Page 7
Acerca de CLIPS
• Elementos básicos de un sistema
experto:
• Lista de Hechos: Memoria
global para los datos.
• Base del Conocimiento:
Contiene todas las reglas.
• Motor de inferencia: Controla
la ejecución global.
• Un programa en CLIPS consiste
de:
• Hechos.
• Reglas.
Page 8
Estructura CLIPS
Base de
Conocimientos
(Reglas)
Memoria
de Trabajo
(Hechos)
Interfaz
Motor de Inferencia
Agenda
Page 9
Acerca de CLIPS
(deftemplate persona “es una persona”(slot nombre)(slot edad)(slot estatura)(slot color-de-cabello))
• Los hechos (“facts”) en CLIPS constan de
– Un nombre del hecho (Ej: relación)
– Una o más ranuras (“slots”)
• Antes de crear hechos, para cada tipo de hecho
puede definirse una plantilla con la lista de ranuras
válidas para ese tipo de hecho.
(assert (persona
(nombre “Juan Mora")
(edad 35)
(estatura 168)
(color-de-cabello negro)))
(deftemplate individuo “ejemplo multislot”
(multislot nombre)
(slot edad)
(slot estatura)
(slot color-de-cabello))(individuo
(nombre Juan Mora Duarte)
(edad 35)
(estatura 168)
(color-de-cabello negro)))
Page 10
Acerca de CLIPSVariables: Comienzan por signo deinterrogación. Ejemplos:
?precio
?nn
?color
Durante la comparación deantecedentes de reglas con hechos,si hay concordancia entre un patrónque tenga variables y un hecho, lasvariables se enlazan a los valorescorrespondientes dentro del hecho;son valores válidos dentro de laregla.
(defrule R-abuelo
(papa ?x ?y )
(papa ?y ?z )
=>
(assert (abuelo ?x ?z ) )
)
Page 11
Motor de Inferencia
• Motor de Inferencia
– Ontologías
– Tipos de Escritura
• Fonética
• Ideográfica
• Pictográfica
Page 12
Ontologías• Ontología es la ciencia que estudia las
categorías que existen en un dominio.
Una ontología es un catálogo de los
tipos de cosas que asumimos que
existen en un dominio.
• Los elementos de una ontología
representan predicados, constantes,
conceptos y relaciones pertenecientes
a un lenguaje L cuando se usa para
comunicar información sobre un
dominio D.
• Una ontología es pues un vocabulario
Page 13
Ontologías
La capacidad de
obtener deducciones a
partir de la información
que representa la
ontología viene dada
por el uso de una
lógica.
Lógica Consistente
Lógica Para Consistente
Metodología para Desarrollar Ontologías• “Ontology Development 101: A Guide to Creating Your First Ontology”, Noy & McGuinness,
(2000)
Ontologías de los Quipus
• Khipu Database Project http://khipukamayuq.fas.harvard.edu/WhatIsAKhipu.html
Page 14
Algoritmo Holístico de Investigación Científica
Lógica
Consistente
El sistema de generación iterativa de
HIPÓTESIS RECURSIVAS, por
ensayo y error es una ecuación con
metodologías de simetrías
recursivas.
El procedimiento algorítmico nos
muestra que la iteración de las
variables de la investigación
científica son holístas e infinitas.
Lo que estaría de acuerdo con el
desarrollo evolutivo de la mente
humana, estableciendo variables
incompletas e indecidibles.
Page 15
Algoritmo Holístico de Investigación Científica
Lógica Para
Consistente
Page 16
Tipos de Escritura
Fonética
Ideográfica
Pictográfica
Page 17
Interpretación de la Escritura
Figura 1: Torre de babel. (1563). Brueghel
el Viejo. (1530 - 1569).
Figura 2. “La vaca que salta” de la galería axial de Lascaux, Tomada de
Colin Renfrew. Arqueología: teorías, métodos y práctica. (1993).
Figura 3. Quipu Inca Tomada y adaptada
de Alfredo Relaño. Historia gráfica de la
escritura. (1949).
Figura 4. Pictograma: “Dos personas en un barco, ¿o es un trineo?” “El significado
exacto de este grabado en roca de la Escandinavia de la edad de bronce nos resulta
confuso sin ninguna evidencia adicional”. Tomada y adaptada de Colin Renfrew.
Arqueología: teorías, métodos y práctica. (1993).
Page 18
Interpretación de la Escritura
Figura 5. Tomada de Rudolf Amheim.
Arte y percepción visual. (1997). Figura 6. Tomada de Edgar Sturtevant. An Introduction to
Linguistic Science. (1949). Adaptación.Suárez (2010).
“El destinatario de la carta (8) tiene una cara blanca y se encuentra en una casa blanca. Esto hace evidente
el objetivo: es para “el hombre blanco en la casa blanca”.
El escritor (I) pertenece al tótem del águila; las líneas encima de la cabeza indican que él es un jefe, y su
brazo extendido denota una oferta de amistad hacia (8). Detrás de él están cuatro guerreros del tótem del
águila (2,3,4 y 5). El número (6) es un guerrero del tótem bagre y su corazón indica que cualquier decisión
tomada por los indígenas une la naturaleza, los animales y humanos en la lucha de una misma idea.
El número (9) no es identificado por su tótem, pero por el mayor número de líneas que se levantan de su
cabeza indican que él es un jefe más poderoso y antiguo que el numero (I). Las líneas que conectan a
todos con los ojos indican la armonía para vivir juntos. Por lo tanto, las casas debajo de los tres guerreros
menores (3,4 y 5) indican que ellos aunque tienen una cosmovisión independiente, pueden adoptar algunas
costumbres del hombre de la casa blanca (8) para obtener así la paz y amistad entre pueblos”. Tomado de
(Sturtevant, 1963, p.20). Adaptación /reinterpretación: (Suárez, 2010).
Page 19
Interpretación de la Escritura
Figura 7. Tomada de Pascal,
P. L’homme et son longuge. (1968).Figura 8. Tomada y adaptada de Relaño Alfredo
y E. Historia gráfica de la escritura. (1949).
Figura 9. Tomada de
Senner, Wayne. Los orígenes
de la escritura. (2001).
Figura 10. Tomada de Reichel-Dolmatoff. Desana:
simbolismo de los indios Tukano del Vaupés. (1968).
Page 20
Medios de Comunicación
– Quipus
• Nudos
• Colores
• Distancias
Page 21
Esquema de un Quipu Tributario
Page 22
Adquisición Bibliográfica
Page 23
Adquisición Bibliográfica
Page 24
Adquisición Bibliográfica
Page 25
Adquisición Bibliográfica
Page 26
Agenda: UDH-> Rumbo a la Acreditación Internacional
