REINS

Responsible Intelligent Systems

Coordinatore	UNIVERSITEIT UTRECHT    more Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.
Nazionalità Coordinatore	Netherlands [NL]
Totale costo	1˙968˙057 €
EC contributo	1˙968˙057 €
Programma	FP7-IDEAS-ERC Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	ERC-2013-CoG
Funding Scheme	ERC-CG
Anno di inizio	2014
Periodo (anno-mese-giorno)	2014-03-01   -   2019-02-28

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	UNIVERSITEIT UTRECHT  Organization address address: Heidelberglaan 8 city: UTRECHT postcode: 3584 CS contact info Titolo: Dr. Nome: Johannes Maria Cognome: Broersen Email: send email Telefono: +31 30 2533193	NL (UTRECHT)	hostInstitution	1˙968˙057.00
2	UNIVERSITEIT UTRECHT  Organization address address: Heidelberglaan 8 city: UTRECHT postcode: 3584 CS contact info Titolo: Mr. Nome: Martijn Cognome: Dekker Email: send email Telefono: +3130 2531425	NL (UTRECHT)	hostInstitution	1˙968˙057.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'I propose to develop a formal framework for automating responsibility, liability and risk checking for intelligent systems. The computational checking mechanisms have models of an intelligent system, an environment and a normative system (e.g., a system of law) as inputs; the outputs are answers to decision problems concerning responsibilities, liabilities and risks. The goal is to answer three central questions, corresponding to three sub-projects of the proposal: (1) What are suitable formal logical representation formalisms for knowledge of agentive responsibility in action, interaction and joint action? (2) How can we formally reason about the evaluation of grades of responsibility and risks relative to normative systems? (3) How can we perform computational checks of responsibilities in complex intelligent systems interacting with human agents? To answer the first two questions, we will design logical specification languages for collective responsibilities and for probability-based graded responsibilities, relative to normative systems. To answer the third question, we will design suitable translations to related logical formalisms, for which optimized model checkers and theorem provers exist. Success of the project will hinge on combining insights from three disciplines: philosophy, legal theory and computer science.'