Actos Comunicativos. Acciones de Información Inform(a) El emisor informa al receptor que la...

37
Actos Comunicativos

Transcript of Actos Comunicativos. Acciones de Información Inform(a) El emisor informa al receptor que la...

Page 1: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Actos Comunicativos

Page 2: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información Inform(a)

El emisor informa al receptor que la proposición a es verdadera.

Inform-if(a) Es una macro acción (acción contenida

dentro del content de otra acción) en la que el emisor pide al receptor que le informe si la proposición a es cierta o falsa de acuerdo a sus creencias. Si no la tiene enviará refuse.

Page 3: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información

Inform-ref(x, f(x)) El contenido de la acción es una

expresión referencial (la descripción de un objeto dada por la función f(x)). Es una macro acción en la que el emisor pide al receptor que le informe del objeto conjunto de objetos cuya descripción coincida con la expresión referencial x, f(x). Si no refuse.

Page 4: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información Confirm(a)

El emisor informa al receptor que la proposición a es cierta, sabiendo que el receptor tiene incertidumbre acerca de la certeza de a.

Disconform(a) El emisor informa al receptor que la

proposición a es falsa, sabiendo que el receptor tiene incertidumbre acerca de la certeza de a.

Page 5: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información

Not-understood(a, b) El emisor informa al receptor que la

acción a ha sido percibida pero no comprendida. El segundo elemento b es una proposición que representa la razón por la que no se ha entendido el mensaje. Obviamente, no está garantizado que esta razón esté representada de forma que el otro agente la entienda.

Page 6: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información

Query-if(a) El emisor pide al receptor que le

comunique si la proposición a es cierta. Query-ref(x, f(x))

El emisor pide al receptor que le comunique todo el conjunto de objetos cuya descripción coincida con la expresión referencial x, f(x).

Page 7: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Información

Suscribe(x, f(x)) Es una versión persistente de query-ref.

El agente receptor informará al emisor el valor de la expresión referencia x, f(x); y continuará enviando más actos inform cada vez que dicho valor cambie.

Page 8: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Realización

Request(a) El emisor requiere que el receptor lleve a

cabo alguna acción a. El contenido del mensaje es una descripción de la acción que ha de ser llevada a cabo.

Request-when(<j; act>, a) El emisor requiere que el receptor j lleve

a cabo alguna acción act, cuando j crea que la proposición a es verdadera.

Page 9: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Realización

Request-whenever(<j;act>, a) El emisor quiere que el receptor j lleve a

cabo alguna acción act, tan pronto como j crea que la proposición a es verdadera. Además, si en algún momento a llega a ser falsa, la acción será repetida por j cada vez que a llegue a ser verdadera.

Page 10: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Realización

Agree(<i; act>, a) El emisor comunica al receptor i que está

de acuerdo con llevar a cabo la acción act en un futuro, cuando la proposición a sea cierta.

Refuse(<i; act>, a) El emisor comunica al receptor i que la

acción act no ve a ser llevada a cabo; la proposición a es la razón de la negación.

Page 11: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Realización Cancel(a)

Esta acción permite al agente emisor cancelar o detener al agente receptor de llevar a cabo o de continuar llevando a cabo alguna acción a previamente requerica.

Failure(a, b) Esta acción permite al agente emisor comunicar

al receptor que al ejecución de la acción a fue detenida, pero el intento fue fallido debido a la razón b.

Page 12: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Negociación

Cfp(<j; act>, ref x f(x)) Es una acción de propósito general para

inciar un proceso de negociación haciendo una llamada a la participación para llevar a cabo una acción dada. La tupla contiene la acción act a ser llevada a cabo, y una expresión referencial que da la precondición de la acción.

Page 13: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Negociación Accept-proposal(<j; act>, a)

El emisor comunica al receptor j que acepta la propuesta de llevar a cabo la acción act, y que la llevará a cabo cuando la proposición a sea cierta.

Reject-proposal(<j; act>, a, b) La acción de rechazar la propuesta de llevar a

cabo alguna acción durante la negociación. El emisor informa al receptor j que, debido a la proposición b, la acción act con precondición a no será llevada a cabo.

Page 14: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Negociación

Propose (<i; act>, a) El emisor propone llevar a cabo una

acción act, siempre y cuando la proposición a, que representa cierta precondición, sea cierta.

Page 15: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Intermediación

Propagate (Ref x f(x), <i; cat>, a) El emisor quiere que el agente receptor i

actúe de intermediario; de modo que reciba el mensaje ACL cat, y que además que propague dicho mensaje a los agente denotados por la expresión referencial x, f(x), siempre y cuando se verifique la restricción a. Además, se pretende que los posibles receptores del envío propaguen a su vez el mensaje.

Page 16: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Acciones de Intermediación

Proxi(Ref x f(x), <j; cat>, a) Igual que la anterior con la diferencia

que el mensaje cat no va dirijido a j (el intermediario), y además los posibles receptores del envío no han de propagar a su vez el mensaje.

Page 17: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de Comunicación FIPA

Request A un agente se le pide que realice cierta acción.

Request-when A un agente se le pide que realice cierta acción siempre que cumpla la precondición.

Query A un agente se le pide que informe sobre algo.

Propose El iniciador propone a una serie de agentes la realización de una tarea y estos aceptan o no.

Page 18: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de Comunicación FIPA

Contact net Un agente pide la realización de cierta tarea a un conjunto de agentes. Estos dan su propuesta basada en unos costes y el iniciador elige quién la realiza finalmente.

Subscribe Un agente pide la notificación si cierta condición se vuelve verdadera.

Page 19: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 20: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación Subscribe

El agente que inicia el protocolo indica mediante el acto comunicativo subscribe que desea ser notificado siempre que se cumpla cierta condición. El participante podrá indicar que la rechaza o mandar directamente el primer mensaje informativo. En este último caso, podrá seguir mandando toda una secuencia de mensajes de la clase inform. En cualquier momento la suscripción podrá terminar cuando el agente participante experimente un fallo.

Page 21: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 22: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Request El agente que inicia el protocolo pide al

otro participante que realice una acción. En primer lugar, el participante indica mediante un mensaje si está dispuesto a atender la petición y, en caso afirmativo, posteriormente manda otro mensaje informando del éxito de la acción.

Page 23: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 24: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación Request-when

Es similar a request, puesto que el agente que inicia el protocolo pide a otro participante que realice una acción. Sin embargo el participante sólo deberá realizar la acción en cuanto se cumpla cierta precondición. Si el participante indica mediante un mensaje que está dispuesto a atender la petición, se supone que se compromete a realizar la acción nada más cumplirse la precondición. Por eso, eventualmente realizará la acción e informará de su resultado.

Page 25: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 26: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación Contact Net

Un agente inicia el protocolo especificando las características de unas tareas que desea ver realizadas mediante un acto cfp, al cual los participantes tendrán que notificar su disposición antes de un deadline. Posteriromente, el agente inicial delega las tareas en uno o más agentes que han contestado positivamente, los cuales finalmente informan del resultado de la tarea delegada en ellos.

Page 27: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 28: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación Iterated Contact Net

Amplía el protocolo descrito anteriormente, pues permite varias rondas de contrataciones. Al igual que en Contact Net simple, un agente inicia el protocolo especificando las características de unas tareas y los participantes tendrán que notificar su disposición antes de un plazo límite. Sin embargo, aparte de rechazar o aceptar las ofertas, también puede optar por volver a anunciar la tarea (posiblemente con características modificadas). Con tal fin, primeramente rechaza la oferta anterior, y seguidamente envía un nuevo cfp.

Page 29: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 30: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Subasta a la Inglesa Modela los patrones de interacción en

subastas inglesas. Esencialmente, hay un subastador y n postores. Puede haber varias rondas de anuncios por parte del subastador y ofertas por parte de los postores. Al final de la subasta, el subastador informará a los postores del resultado de la subasta y pedirá al ganador que realice la acción de compra.

Page 31: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 32: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación Subasta a la Holandesa

La diferencia esencial entre la subasta a la holandesa y a la inglesa está en que el subastador inicialmente anuncia un precio alto para el producto que va bajando sucesivamente, hasta que hay un comprador. Puesto que es posible que lleguen varias ofertas para el mismo precio, el subastador les tendrá que informar si su petición ha sido aceptada o denegada. Seguidamente, bien se anuncia otra ronda de ofertas y peticiones, o bien informa del fin de la subasta.

Page 33: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 34: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Brokering Es agente que inicia la acción utiliza un

intermediario para que traslade un acto comunicativo a un agente competente. El broker entonces determina un conjunto de agentes apropiados a los que envía el acto comunicativo, y comunica los resultados de este subprotocolo al agente iniciador.

Page 35: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Page 36: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación

Recruting Difiere en el protocolo anterior en que el

receptor del resultado de la interacción no puede ser el agente que la inició.

Page 37: Actos Comunicativos. Acciones de Información  Inform(a) El emisor informa al receptor que la proposición a es verdadera.  Inform-if(a) Es una macro.

Protocolos de comunicación