Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

LoGIcInMAS

Financiado

Cerrado

Logics and Games for Imperfect Information in Multi Agent Systems

This project aims at developing formal methods based on logics and game theory to model, specify and analyse multi-agent systems (MAS). Such systems, in which autonomous agents interact and strategize to achieve private and/or co... ver más

31/03/2018

UNINA

168K€

Presupuesto del proyecto: 168K€

Líder del proyecto

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2018-03-31

MSCA-IF-2015-EF: Marie Skłodowska-Curie Individual F...

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

UNINA

168.28K€ | Lider

Proyectos interesantes

COSMOS

Robotics and Au...

Software

1M€ Cerrado

COLLIS.EUS

Software

Robotics and Au...

213K€ Cerrado

CoPS

Artificial Inte...

Robotics

1M€ Cerrado

LEAFHOUND

Robotics and Au...

Software

2M€ Cerrado

TIN2017-88476-C2-2-R

Artificial Inte...

Robotics and Au...

141K€ Cerrado

EVNSMAS

Software

Artificial Inte...

183K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 25 meses Fecha Inicio: 2016-02-23
Fecha Fin: 2018-03-31

Líder del proyecto

UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 168K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto This project aims at developing formal methods based on logics and game theory to model, specify and analyse multi-agent systems (MAS). Such systems, in which autonomous agents interact and strategize to achieve private and/or common objectives, are central in many endeavours of high potential societal impact, such as the development of smart cities or robotic rescue teams for nuclear accidents. Because of the criticality of many application areas, there has been over the recent years an important and rising effort to bring together the formal methods community and the MAS community in order to develop theoretical paradigms and practical tools to help design provably correct multi-agent systems. The logical approach has until now been particularly successful. The most recent and promising proposal was made by Chatterjee, Henzinger and Piterman, who in 2010 introduced Strategy Logic, a logic tailored to reason about rich game-theoretic notions in multi-agent systems. This logic enjoys very interesting properties and has been well studied, but much remains to be done. In most real-life applications, agents only have imperfect information about their environment. Typically, rescue robots each have only a local, partial view of their environment. Their sensors may even get damaged during the mission, due to radiations for example. Considering imperfect information deeply impacts the strategizing process, and it also calls for a modelling of agents' uncertainty. In this project we propose to extend Strategy Logic to account for imperfect information and to allow for reasoning about agents' knowledge.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores