I Robot Soldati. Unmanned Vehicles Droni radio/tele guidati Ampiamente diffusi Nessuna autonomia Ancora pochi gli esemplari dotati di armi Eye-on-target.

Slides:



Advertisements
Presentazioni simili
Il rispetto delle regole in campo e fuori dal campo
Advertisements

Liceo Scientifico “N.Copernico” Bologna
il senso delle nostre azioni
2. Principi e argomentazioni morali in bioetica
Prof. Bertolami Salvatore
John RAWLS John Rawls (Baltimora, 21 febbraio 1922 – 24 novembre 2002) è stato un filosofo statunitense. Le sue idee hanno influenzato notevolmente il.
Problem solving Metodologia di lavoro.
Unità didattica di Anfossi Mariarosa
Il Codice Etico degli Studenti
“Deontologia e responsabilità professionali dell'assistente sociale”
La genericità morale. Etica in terza persona concentrazione sul dovere, sul comportamento giusto, sulla correttezza dei singoli atti morali concentrazione.
Filosofia morale II di Aldo Vendemiati
Robotica & Automazione di Processo manipolatori industriali
La Programmazione Matematica e i Problemi di Scelta
INTERAZIONE E SCAMBIO SOCIALE DEFINIZIONE DEI CONCETTI INTERAZIONE SOCIALE costituisce un processo di durata più o meno lunga, tra due o più attori che.
Le istituzioni dello stato di diritto
Il processo di policy making turistico (processo attraverso il quale il turismo si qualifica come settore di politica pubblica) Modalità di definizione.
Sistemi basati su conoscenza (agenti intelligenti) Prof. M.T. PAZIENZA a.a
Gestione delle risorse umane
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
L’organizzazione scientifica del lavoro:
Punizione dei Crimini Internazionali
INTRODUZIONE.
La valutazione certificatoria Il modello CILS
1 Unità locali EQUAL RESTORE sintesi della ricerca.
6.1.Strumenti di valutazione: modelli economici Valutazione delle politiche AA 2005/2006 Davide Viaggi.
LA VALUTAZIONE E L’UTILIZZO DEI TEST
PRIMA LEZIONE A) INTRODUZIONE B) COME LA VS PRESENTA IL CONSEQUENZIALISMO ED IL PROPORZIONALISMO.
TERZA LEZIONE FONTI DELLA MORALITÀ E UNITÀ DELLA RAGION PRATICA.
QUINTA LEZIONE NORME ASSOLUTE, ECCEZIONI ED EPICHEIA.
TELEOLOGIA E TELEOLOGISMO
Strategia e processo di pianificazione strategica
Etica e donazione Rovigo ________________________________________________ Dr. Gianpietro Briola.
A seconda delle situazioni, le cause possono essere attribuite a:
Progetto filosofico – politico di Kant
I diritti dei bambini.
Immanuel Kant: Critica della ragion pratica (1788)
Kant: etica.
PARADIGMA UTILITARISTICO 1. SCUOLA CLASSICA (o GIURIDICA) 1. SCUOLA CLASSICA (o GIURIDICA) DOTTRINA DEL CONTRATTO SOCIALE (C. Beccaria – 1700) DOTTRINA.
Di Giampiero Tre Re BIOETICA GENERALE di Giampiero Tre Re
Prospettive emergenti Interpretativismo/Imperativo soggettivo
KANT (Critica della Ragion Pratica: imperativo categorico)
I PROTOCOLLI AGGIUNTIVI DEL 1977 ADDIZIONALI ALLE QUATTRO CONVENZIONI DI GINEVRA Istruttore D.I.U. Volontario C.R.I. Nice Zauli.
L’EVOLUZIONE DI ALCUNI ASPETTI DELLA FASE BATTUTA PUNTO
Col. Giovanni VULTAGGIO
Il punto di vista di un Integratore di Sistema
1 Il concetto generale di SGQ applicato alla scuola Lugano, 22 marzo 2006 Divisione della formazione professionale – Team Qualità
Enciclopedia delle Scienze Sociali
giusrealismo Antiformalismo Lo scopo nel diritto
Un futuro da formare Inclusione Sociale: diritto per tutti, dovere di tutti Ferrara, 4 luglio 2008 Contributo degli Enti di Formazione 1. Una questione.
Labotatorio negozIazione e tecniche di vendita
LA GESTIONE DEL CONFLITTO
Tramonti per meditare.
John RAWLS A Theory of Justice (1971)
FORME DI COOPERAZIONE E RAPPORTI TRA SOGGETTI NELLE ORGANIZZAZIONI Prof. Roberto Cavarra FORME DI COOPERAZIONE E RAPPORTI TRA SOGGETTI NELLE ORGANIZZAZIONI.
Legislazione e deontologia professionale
1 Corso di formazione sul monitoraggio e la valutazione dei Piani di zona avviati in Provincia di Torino Secondo Modulo: La valutazione del livello di.
Le finalità di giustizia/equità
RESPONSABILITA’ PRECONTRATTUALE
IL COSTRUTTIVISMO DI JOHN RAWLS
I TEMI DELLA SOCIOLOGIA DELL’AMBIENTE: RISCHIO, CONFLITTI, VALUTAZIONI.
Progettazione di basi di dati: metodologie e modelli
I-C-02: La caffettiera del masochista di Donald A. Norman
Lezione 5 I gruppi di pressione. Politiche Pubbliche.
1 Saggio breve argomentativo. 2 Sulle sue tracce… Definizione di saggio filosofico Come si costruisce un’argomentazione Metodo per realizzare un saggio:
Nello scenario di business che cambia rapidamente, dove risiedono i veri vantaggi? Sono i processi avanzati, le tecnologie innovative, le strategia di.
Che cosa è “diritto” ? Alla ricerca di una definizione.
Immanuel Kant Critica della Ragion Pratica. Formalismo etico. Autonomia della volontà. Rigorismo.
ETICA PUBBLICA: UN’ANALISI CONCETTUALE II modulo p. III.
L’intervento di rete. mamma Bimbo Assistente sociale scuola Compiti : Trasporto scolastico Conciliare tempi di cura e tempi di lavoro Assistente sociale.
Transcript della presentazione:

I Robot Soldati

Unmanned Vehicles Droni radio/tele guidati Ampiamente diffusi Nessuna autonomia Ancora pochi gli esemplari dotati di armi Eye-on-target

Unmanned Aerial Vehicles

Unmanned Ground Vehicles

Unmanned Undersea Vehicles

Unmanned Surface Vehicles

Dispositivi autonomi (CIWS)

Progetti avanzati Ancora allo stadio prototipale Primi sistemi con alto grado di autonomia Impieghi in contesti peculiari

Progetti avanzati - Crusher

Progetti avanzati – SGR-A1

Progetti avanzati - RoboSnake

Progetti avanzati - BigDog

Autonomous Military Agent Pro Minimizzazione delle perdite umane Diminuzione dei costi della guerra Il basso numero di perdite favorisce il consenso Missioni dull, dirty and dangerous Immuni a emozioni e bisogni umani Non inclini a commettere atrocità inutili Proiettati ad avere prestazioni migliori delluomo (?)

Autonomous Military Agent Contro Ricorso più facile allazione militare Progressivo abbandono della diplomazia Maggiori perdite e danni per il nemico I civili possono divenire obiettivi militari Riskless war Il reciproco rischio giustifica moralmente i contendenti Il rischio asimmetrico è proprio delle operazioni di polizia (buoni vs. cattivi) Il contendente più debole deve trovare altri modi di colpire (terrorismo)

Etica Teoria deontologica Valuta lazione a priori Moralità di intenzione o norma da cui origina lazione Unazione è morale se è prodotta da buona intenzione I mezzi ed i fini sono strettamente correlati Imperativo categorico (Kant) agisci solo secondo la massima per la quale puoi e allo stesso tempo vuoi che questo diventi una legge universale (universalismo) Leggi della Robotica (Asimov)

Etica Teoria teleologica Valuta gli effetti dellazione Unazione è morale se produce effetti aumento del bene o diminuzione del male Il fine giustifica i mezzi Consequenzialismo Criteri razionali per giudicare positività o negatività delle azioni Utilitarismo Utilità è la misura di felicità/piacere/benessere Dolore/piacere (Bentham) Benessere sociale è somma del piacere individuale Giustizia è massimizzazione del benessere sociale

Etica e guerra Leggi di Guerra (L.O.W.) Suddivisione giurisprudenziale Jus ad bellum – entrata in guerra ed uso della forza militare Jus in bello – condotta durante i conflitti Jus post bellum – trattamento prigionieri, occupazione territori Convenzioni internazionali Convenzioni dellAia ( ) Convenzioni di Ginevra ( ) In Italia Legge di Guerra e Neutralità R.D. 8 luglio 1938

Etica e guerra Regole dIngaggio (R.O.E.) Emanate dai vertici militari Applicazione pratica dello jus in bello Derivano dalle leggi internazionali e nazionali Dipendenti dalla tipologia e dallandamento del conflitto Variano secondo la necessità militare Indirizzate ai soldati sul campo Condizioni e modalità di impiego della forza Norme imperative più che descrittive

Etica e robotica Roboethics Etica di progettisti, costruttori ed utenti di sistemi robotici Diversi progetti internazionali (Ethicbots) Aspetti sociali Ricadute sulla società umana Robot come agente morale? (Floridi, Sullins)

Responsabilità Attribuzione Il robot attuale non può essere portatore di responsabilità Morale: assenza di intenzionalità e consapevolezza Oggettiva: impossibile un sistema sanzionatorio La responsabilità va ascritta a una persona (fisica o giuridica) Progettisti, programmatori, produttori Venditori, certificatori, assicuratori Utilizzatori

Responsabilità Jus in bello Discriminazione I bersagli militari vanno individuati con precisione Proporzionalità La forza impiegata deve essere adeguata al bersaglio Necessità di responsabilità oggettiva Bisogna poter identificare gli autori delle azioni militari

Unarchitettura robotica Arkin (2007) Behaviour based/deliberativa

Critiche Molti aspetti sono trattati in modo superficiale Per alcune componenti vengono solo indicate delle alternative off-the-shelf senza ulteriori specifiche Nessun dettaglio sulla formalizzazione dei vincoli Sistema DEAL (Van den Hoven, et. al. 2002) Basato su logiche modali e action logic Nessuna implementazione disponibile Mancano studi sulle interazioni tra i vari operatori Framework Athena (Arkoudas, Bringsjord, 2005) Logica utilitaristica multi-agente (Horty, 2001) Può impiegare diversi ATP Complessità computazionale ignota.

Ipotesi di teoria logica Scelte preliminari Regole basate su ROE (Desert Storm) 1)Non attaccare chiunque sia ferito, si sia arreso o non sia un combattente. 2)Considera un bersaglio valido chiunque punti unarma e non sia un commilitone. 3)Considera un bersaglio valido chiunque ti attacchi. 4)Restringi lattacco solo al bersaglio valido correttamente identificato. 5)Se il bersaglio è valido e tracciato con certezza, devi attaccare. Logica deontica TD (von Wright) Operatori di obbligo ( ) e permesso ( ) Assiomi T : p p D : p p Predicati dipendenti dalla sensoristica Un unico grado di libertà (Fire)

Ipotesi di teoria logica Assiomatizzazione Teoria logica iniziale 1.1. x (Frd(x) (Trg(x)) 1.2. x (Wou(x) (Trg(x)) 1.3. x (Sur(x) (Trg(x)) 2.1. x ((Aim(x) Frd(x)) Trg(x)) 2.2. x ((Atk(x) Frd(x)) Trg(x)) 3. x (Trg(x) Fire(x)) 4. x ( Fire(x) Clr(x)) Fire(x))

Ipotesi di teoria logica Programma logico 1. ONot_Trg(x) Frd(x) 2. ONot_Trg(x) Wou(x) 3. ONot_Trg(x) Sur(x) 4. Not_Trg(x) ONot_Trg(x) 5. OTrg(x) Aim(x) Not_Frd(x) 6. OTrg(x) Atk(x) Not_Frd(x) 7. Trg(x) OTrg(x) 8. PFire(x) Trg(x) 9. OFire(x) PFire(x) Clr(x) Eliminate le negazioni Eliminati gli operatori deontici Clausole per realizzare lassioma T Dimostrata lequivalenza tra la teoria ed il programma Complessità comp. è polinomiale [Vardi 1996, Immerman 1986, Dantsin 2001]

Percezione Risultati di benchmark Test M-ELROB Riconosciuto dal consorzio EURON Ricognizione, individuazione bersagli, controllo perimetro Ambiente urbano ed extra-urbano Nessun sistema ottiene buoni risultati nella target detection Solo due sistemi non ottengono un punteggio nullo nella prova diurna Nella prova notturna, tutti i sistemi ottengono punteggio nullo

Percezione Gesture recognition Prestazioni di un sistema di esempio (Kai, Stiefelhagen, 2006) Analisi di gesti di puntamento basati su movimento di testa e mani Combinazione di HMM (mani) e reti neurali (testa) Ambiente indoor, valutazione off-line Testa-manoAvambraccioOrientamento testa Errore angolare medio25°39°22° Bersagli identificati90%73%75% Recall (%)Precision (%)Error (°) Senza orientamento testa Orientamento testa con sensore Orientamento testa con ANN

Conclusioni La questione dei vincoli non appare intrattabile Il ragionamento deve basarsi su dati veri e certi I sistemi percettivi non forniscono attualmente le prestazioni richieste Senza correttezza della percezione e del ragionamento nessun vincolo morale potrà dirsi correttamente soddisfatto Riteniamo immorale la costruzione e lutilizzazione in guerra di robot autonomi basati su queste tecnologie

Il mondo del futuro sarà una battaglia sempre più impegnativa contro le limitazioni della nostra intelligenza, non unamaca confortevole su cui distenderci, serviti dai nostri schiavi meccanici. Aiutarci possono, ma chiedendo moltissimo alla nostra onestà ed intelligenza. Il mondo del futuro sarà una battaglia sempre più impegnativa contro le limitazioni della nostra intelligenza, non unamaca confortevole su cui distenderci, serviti dai nostri schiavi meccanici. Norbert Wiener