Inteligencia artificial

Paradigma de la «agencia»
sensores perceptos entorno acciones ? agente

efectores

(Figura de AIMA)

Agente: Sistema que actúa (eventualmente, por encargo) para producir ciertos efectos en su entorno Agencia: Cualidades (funcionales, estructurales y/o procesales) propias de los agentes (en inglés: agency, o agenthood)
UPM
c 2009 DIT-ETSIT-UPM Agentes, ontologías y web semántica transp. 1Agentes software El «entorno» puede ser accesible mediante sensores y efectores, pero más frecuentemente está formado por otros agentes y/o personas (que también se consideran «agentes») accesibles localmente (en la misma máquina en la que se ejecuta el agente) o (más interesante) remotamente. “?” es un sistema basado en conocimiento. Los «perceptos» y las «acciones» son actos de comunicaciónexpresados en un lenguaje. Agente y entorno deben compartir el lenguaje y una «visión del mundo», u «ontología»: vocabulario y significado de los términos.
c 2009 DIT-ETSIT-UPM Agentes, ontologías y web semántica transp. 2

UPM

Modelación de agentes
Modelos del agente

En el nivel de conocimiento:

Conocimiento y objetivos interpretación declarativa

racionalización (por qué, paraqué) Observador o diseñador observación o especificación (qué) formalización implementación (cómo)

Entorno

Representación en lenguaje formal

Agente (sistema de símbolos fisicos)

En el nivel simbólico: Codificación + interpretación procedimental

realización

Conceptuación (nivel de conocimiento: Newell, 1981) Representación (nivel simbólico: Newell y Simon, 1976) Codificación en unlenguaje de implementación
UPM
c 2009 DIT-ETSIT-UPM Agentes, ontologías y web semántica transp. 3

Conceptuación (1) Modelo conceptual (o mental): Universo del discurso Propiedades, relaciones, restricciones, leyes...
«Formalmente, una conceptuación es una terna que consta de un universo del discurso, un conjunto de funciones de base, y un conjunto de relaciones de base en ese universo deldiscurso.» Genesereth y Nilsson: Logical Foundations of Artificial Intelligence, 1987. Ejemplo: {a, b, c, d, e}, {Encima-de}, {Libre, Bajo, Sobre, Más-arr-que} con: Encima-de = {b → a, c → b, e → d} Libre = {a, d} Bajo = {c, e} Sobre = { a, b , b, c , d, e } Más-arr-que = { a, b , b, c , a, c , d, e }
a b c d e

UPM

c 2009 DIT-ETSIT-UPM

Agentes, ontologías y web semántica

transp. 4Conceptuación (2)
c a b d e

¿Otra conceptuación? La conceptuación debe reflejar un conocimiento general sobre el dominio:

El contenido semántico de la función Encima-de es el mismo que tiene la relación Sobre: y = Encima-de(x) si y sólo si y,x ∈ Sobre Si un bloque está libre no puede haber ninguno por encima de él, y viceversa: x ∈ Libre si y sólo si no hay ningún y tal que y,x ∈ Sobre Un bloqueestá más arriba que otro si está sobre él o está sobre un tercero que está sobre él: x,y ∈ Más-arr-que si y sólo si x,y ∈ Sobre o bien hay algún z tal que x,z ∈ Sobre y z,y ∈ Más-arr-que

Una relación básica, Sobre (define extensionalmente una situación) Definiciones de las demás de manera intensional
UPM
c 2009 DIT-ETSIT-UPM Agentes, ontologías y web semántica transp. 5

Ontologías (sentidonumerable) «Una ontología es una especificación explícita de una conceptuación. Es un término adoptado de la filosofía, en la que una ontología es una explicación sistemática de la existencia. En la inteligencia artificial lo que existe es lo que puede representarse» (Gruber, 1993) «Una ontología es una especificación formal de una conceptuación compartida» (Borst, 1997) En sistemas multiagente,compromiso ontológico (commit) Para minimizar «malentendidos» (ontological mistmaches), lenguajes de implementación basados en lenguajes formales
UPM
c 2009 DIT-ETSIT-UPM Agentes, ontologías y web semántica transp. 6

Lenguajes para las ontologías

Para la formalización:

• FOL (lógica de predicados de primer orden)
Semidecidible asunción de mundo cerrado

• DL (lógicas de descripciones)...