End Date: 2012-10-15

Host Institution: LIDIA, Bahía Blanca

Host Country: Argentina

Home Institution: IIIA-CSIC

Home Country: Spain

Description:

Our research goal is to investigate the possibility of combining trust with argumentation. In other words, we plan to study how argumentation may be used in assessing trustworthiness, as well as how trust may be used to in assessing the strength of arguments.
The STSM visit is a short visit (two weeks), and as such, it is intended mostly to investigate future work that would help
achieve the aims presented above, and to build the foundations of such work. While we do not expect to build concrete models and provide formal definitions during this visit, we will be working on providing initial prototypes for such models and definitions. The concrete objectives of this visit may be listed as follows:
(1) to study existing argumentation models and their possible combination with trust models (duration 3 days);
(2) to provide the initial foundations of a model that combines trust and argumentation (duration 4 days);
(3) to assess the impact of combining trust and argumentation and its application to potential case studies that may be
explored in future work (duration 1 day);
(4) to plan future work and the possible publications that we need to focus on (duration 2 days); and
(5) to investigate the possibility of expanding our initial ideas into a research proposal and explore the venues to which such a proposal may be submitted (duration 3 days).

E4AT Panel

Moderator: tbd

Panellists: tdb

E4AT Session

Chair: tbd

Information on the E4AT session and panel will be published soon.

In the meanwhile, please have a look at the E4AT call for contributions.

Chair: tbd

Information on the WG5 session will be published soon.

Chair: Adam Wyner

Contributions:

A Dialogue Game for Grounded Semantics (by Martin Caminada and Mikolaj Podlszweski)

TBC (by Cristian Gratie)

Comments on Natural  Language and Argumentation (by Adam Wyner )

Chair: tbd

Information on the WG3 session will be published soon.

Chair: tdb

Information on the WG1 session will be published soon.

End Date: 2012-09-30

Host Institution: University of Technology, Sydney

Host Country: Australia

Home Institution: IIIA-CSIC

Home Country: Spain

Description:

The visit is framed in the context of an overall aim of enabling a computer system to evolve itself as its world changes by embedding intelligent agent technology in the system. During the visit I plan to use Agent Technologies from working Group WG4 for that endeavour. These agents perform three key functions: first, they enable their capabilities to evolve, second they enable the entire system to evolve, and third they spawn new systems. This evolutionary process will be achieved by COST STSM Application Form argumentative dialogues among the agents. These dialogues are triggered either by any of the agents detecting changes and opportunities in its environment, or by recognising and adapting social behaviour patterns that work. Such behaviour patterns will be debated by the agents. This is how laws and norms evolve in human societies.

During the visit I’ll work on two aspects of the problem:
1. Definition of a Governance Language. A governance language will be implemented that will extend the deep structures of the Electronic Institutions Development Environment (EIDE) developed at IIIA.
2. Definition of an Argumentation Language. It will be expressive enough to allow for proposals, appeals, and justifications grounded on evidence gathered from abstracted patterns and context analysis. The objects of argumentation will be governance models. An argumentation protocol and a method of argument selection will then be implemented to determine whether the current governance model is to be substituted by another one that receives stronger support from the multiagent deliberative process.

End Date: 2012-04-04

Host Institution: ETH Zurich

Host Country: Switzerland

Home Institution: University Rey Juan Carlos

Home Country: Spain

Description:

*Definition of mathematical model of a smart home based on loads classification
*Aggregation mechanisms and incentive design for collaborative groups of smart homes

STSM Report

End Date: 2012-06-19

Host Institution: ENS Mines Saint-Etienne

Host Country: France

Home Institution: Systems Research Institute of the Polish Academy of Sciences

Home Country: Poland

Description:

Work plan summary:

Examine the existing agent communication technologies and standards.

Examine the interplay between agent communication (message based) and ontologies / semantic reasoning used within agent systems.

Examine applicability of ontological communication in agent systems.

Proceed towards development of an universal ontological communication protocol for agent systems.