Knowledge Interchange Format - KIF

Click here to load reader

download Knowledge Interchange Format - KIF

of 33

  • date post

    24-Jan-2016
  • Category

    Documents

  • view

    65
  • download

    0

Embed Size (px)

description

Knowledge Interchange Format - KIF. Comunicación entre agentes software. AGENTES SOFTWARE. proceso autónomo dirigido por objetivos, capaz de desarrollar acciones situado en un entorno y reactivo al mismo coopera con otros agentes (software o humanos) para cumplir sus tareas. - PowerPoint PPT Presentation

Transcript of Knowledge Interchange Format - KIF

  • Knowledge Interchange Format - KIFComunicacin entre agentes software

  • AGENTES SOFTWARE proceso autnomo dirigido por objetivos, capaz de desarrollar acciones

    situado en un entorno y reactivo al mismo

    coopera con otros agentes (software o humanos) para cumplir sus tareas

  • AGENTES SOFTWARE - Comunicacinnecesario agentes sean capaces de comunicarse informacin entre ellos para permitir la interactuacin

    habilidad de interactuar con otros agentes, mviles o estticos, o con fuentes de informacin agentificadas

    lenguaje comunicacin de agentes debe ser visto como una herramienta con capacidad de integrar diferentes fuentes de informacin

    debe ser comn y compartido.

    sus palabras deberan tener el mismo significado para ambas partes de una comunicacin.

    el significado de sus elementos debe ser compartido,

  • AGENTES SOFTWARE - Comunicacincomunicacin entre agentes distinto de transporte de flujo de bits a travs de un canal

    medio de alcanzar un alto nivel de interoperabilidad y abstraccin

    comunicacin en un lenguaje comn

  • BSQUEDA DE UN LENGUAJE COMN. ESTANDARIZACINvarios lenguajes, diferentes paradigmas de programacin (o.o., lgica, funcional, ...) pueden ser usados para la implementacin de agentes

    plataformas hardware y los sistemas operativos, tambin sern variados

    agentes pueden ser escritos como aplicaciones autnomas . No se pueden hacer suposiciones sobre su estructura interna

  • ESTANDARIZACIN - CAPAScapas a travs de las cuales pueden ser aplicados los principios de estandarizacin:

    capa de traduccin entre lenguajes de la misma familia (o entre familias) de lenguajes

    capa para garantizar que el contenido semntico de los elementos se mantiene entre aplicaciones. Mismo significado aun con diferentes nombres. ONTOLOGA.

    capa relativa a la comunicacin entre agentes. deben ser capaces de comunicar aptitudes complejas sobre su informacin y contenido de conocimiento

  • INTEROPERABILIDAD EN AGENTES MVILESresiden en entornos muy heterogneos

    no todas las plataformas para los agentes mviles son iguales (propuesta estandarizacin del entorno de ejecucin: The Mobile Agent Facility MAF)

    Puede necesitar interactuar con:otros en una plataforma diferente agentes no mviles fuente de informacin no expresamente preparada para agentes

  • INTEROPERABILIDAD EN AGENTES MVILESnecesario diversas fuentes de informacin puedan interactuar entre si

    fuentes de informacin pueden estar implementadas o hacer uso de diferentes lenguajes del utilizado por el agente mvil.

    => elementos que usa para referirse a los mismos conceptos pueden ser diferentes.

  • LENGUAJE COMN DE COMUNICACIN DE AGENTEStres problemas bsicoscmo traducir de un lenguaje a otro cmo garantizar que el significado de los conceptos, objetos, relaciones, ... es el mismo para los diferentes agentes cmo el conocimiento va a ser compartido entre los agentes

    un ACL es una herramienta que sigue el camino de la abstraccin por capas de la interoperabilidad.

    introduce una gran abstraccin al separar la expresin que es el contenido del intercambio, de su significado.

  • ACL - ventajas puede ser usado como herramienta de interoperabilidad entre:agentes mviles y estticosagentes mviles diseados para diferentes plataformasagentes mviles y fuentes agentificadas estticas de informacin.

    complementa aproximacin procedimental que domina el paradigma de los agentes mviles, con las ventajas potenciales de la aproximacin declarativa (cmo realizar una tarea en lugar de que tarea debe ser realizada)

    introduce un nivel de abstraccin que puede acomodar mltiples paradigmas.

  • KNOWLEDGE SHARINF EFFORT - KSE iniciativa para atacar cuestin interoperabilidad sobre las lneas de las tres capas

    trabajo del KSE concluy en tres lenguajes, cada uno relacionado con una de las tres capas.

    Ontolingua. Desarrollado como un lenguaje en el cual se pueden escribir ontologas portables. (capa 2)

    Knowledge Query and Manipulation Language (KQML). Lenguaje para la comunicacin entre agentes. (capa 3)

    Knowledge Interchange Format (KIF). Diseado como una solucin al problema de la traduccin. (capa 1)

  • KNOWLEDGE INTERCHANGE FORMAT - KIFIdeal, lenguaje (y un sistema computacional relacionado) bueno para representar un gran rango de cosas, como el lenguaje natural, pero sin la ambigedad e imprecisin que ste presenta.

    KIF es un lenguaje lgico, propuesto como estndar para describir objetos dentro de un sistema computacional (sistemas expertos, bases de datos, agentes inteligentes, ...);

    lenguaje til como mediador en la traduccin de otros lenguajes usndolo como una representacin intermedia.

  • CONOCIMIENTO EN KIFKIF Traductor Leng1

    Base Conoc. en Leng1 Sistema 1KIF Traductor Leng2

    Base Conoc. en Leng2 Sistema 2LibreraConocimiento en KIF

  • CARACTERSTICAS ESENCIALES semntica declarativa. Es posible comprender el significado de las expresiones sin necesidad de que un intrprete las manipule

    comprensible lgicamente. Provee medios para la expresin de cualquier sentencia en clculo de predicados (a diferencia de otros lenguajes cmo los lenguajes relacionales de bases de datos limitados a sentencias atmicas, la mayora-, o lenguajes como Prolog que estn limitados a clusulas Horn).medios para la representacin de conocimiento sobre el conocimiento. Permite introducir nuevas representaciones del conocimiento sin cambiar el lenguaje y hacer todas las representaciones del conocimiento explcitas.

  • OTRAS CARACTERSTICAS Translatibidad. Proveer medios prcticos para la traduccin de bases de conocimiento declarativas, a o desde lenguajes de representacin de conocimiento.

    Legibilidad. Aunque no es su fin principal el de interaccionar con personas, la legibilidad del lenguaje por parte de stas, facilita su uso en la descripcin de la representacin de semnticas de lenguaje, as como su uso como un lenguaje de publicacin o como asistente para personas en problemas de traduccin de bases de conocimiento, ...

    Implementabilidad. Pese a no ser diseado como un lenguaje para la representacin o comunicacin dentro de programas, puede ser usado para ello.

  • ESPECIFICACIN DE KIFutiliza versin prefija de clculo de predicados de primer orden, con extensiones para soportar razonamiento no montono y definiciones.

    descripcin del lenguaje incluye tanto una especificacin para su sintaxis, como para su semntica.

    provee medios para codificar conocimiento sobre el conocimiento

  • ESPECIFICACIN DE KIF (2)La especificacin de kif cubre los siguientes aspectos:

    SINTAXISLGICANMEROSLISTASCARACTERES Y STRINGSMETACONOCIMIENTO

  • SINTAXISTres capas:

    Los caracteres bsicos del lenguaje, que pueden ser combinados para formar

    Lexemas, que pueden ser combinados para formar

    expresiones gramaticalmente correctas.

  • SINTAXIS (expresiones)Se forman con lexemas. Tres tipos de expresiones:Trminos. Para denotar objetos del mundo. (+ a b)Sentencias. Expresar hechos sobre el mundo (=> a b)Definiciones. Definir constantes (defrelation rel sentencia) Las definiciones y las sentencias se denominan forms

    Base de conocimiento: conjunto finito de forms.

  • LGICABase para la semntica. Conceptualizacin del mundo en trminos de objetos y relaciones entre ellos.

    Engloba:

    Trminos Funcionales(+ 2 3)Trminos Lgicos(if (>1 2) 1 (>2 1) 2 0)BottomTrue y FalseEquations y Inequalities(= term term) (/= term term)Sentencias Relacionales(> 1 2)Sentencias Lgicas(=> a b)Sentencias Cuantificadasforall existsDefiniciones(defobject s := t)

  • NMEROSconstante numrica se asume que es el nmero para el cual esa constante es la representacin en base 10.

    Funciones sobre Nmeros. Ej:(* t1 ... tn) (+ t1 ... tn) (max t1 ... tk)

    Relaciones sobre Nmeros. Ej:(integer t)(complex t)

  • LISTASsecuencia de objetos. Objetos de una lista no necesitan ser expresiones KIF

    (listof Obj1 (listof lob1 lob2 lob3) Obj3)

    proporciona funciones para el trabajo con listas. Ej:firstrestlastreverseappendsublist

  • CARACTERES Y STRINGS Carcter: smbolo imprimible, como un dgito o una letra. Hay 128 caracteres distintos.

    Cadenas (Strings): lista de caracteres. Varias maneras de referirse a ellos:

    "abc". #3qabc (listof #\a #\b #\c)

  • METACONOCIMIENTOmedios para codificar conocimiento sobre el conocimiento

    Nombrado de Expresiones: expresiones tratadas como objetos en el universo del discurso, en el cual hay funciones y relaciones apropiadas a esos objetos.

    Tipos de Expressiones: Para facilitar la codificacin del conocimiento sobre KIF, incluye relaciones tipo para las diferentes categoras sintcticas. Cambiar Niveles de Denotacin: posible escribir expresiones que describan sentencias KIF. Tambin una forma de escribir sentencias que aseveran la certeza de las sentencias descritas. El efecto de aadir esta sentencias de metanivel a una base de conocimiento es el mismo que incluir directamente el conjunto (potencialmente infinito) de sentencias descritas en la base del conocimiento.

  • EJEMPLOS SIMPLES EN KIF (1) (salario 76706923z Analista 670000)(salario 76712364j Operador 150000)

    representa tuplas de una base de datos de empleados guardando su DNI, puesto y salario.

  • EJEMPLOS SIMPLES EN KIF (2)

    (>(salario empleado1)(salario empleado2))para indicar que el empleado1 tiene un salario mayor que empleado2.

  • EJEMPLOS SIMPLES EN KIF (3)

    (=>(and(num-real ?x) (num-par ?n))(>(