SlideShare a Scribd company logo
The Distributed Autonomy
Software Abstractions and Technologies for Autonomous Systems
Andrea Omicini
Alma Mater Studiorum—Universit`a di Bologna
CCW Meeting of Experts on Lethal Autonomous Weapons Systems
United Nations, Gen`eve, Switzerland
13 April 2015
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 1 / 14
Autonomous Systems as Software Systems
Artificial systems in general feature nowadays an ever-growing
relevance of ICT components and models
When autonomy is concerned, issues like deliberation, planning,
knowledge representation, and the like, emphasise the role of
computational/software component/subsystems
In perspective, talking about forthcoming autonomous systems mostly
means talking about software systems / components
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 2 / 14
Complex Software Systems as Multi-Agent Systems [ZO04]
Nowadays, most of the complex computational systems of interest
can be thought, modelled, and built as multi-agent systems (MAS)
MAS are not necessarily autonomous; however
they are built out of many autonomous components, called agents
they are the reference computational paradigm for building
autonomous (software) systems
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 3 / 14
Socio-Technical Systems as MAS
Most of the relevant systems nowadays are socio-technical
systems—that is, systems where components are human and software
agents altogether
as AWS typically are
When modelling and engineering socio-technical systems, the agent
abstraction typically accounts for both human and software agents
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 4 / 14
Agents & Goals
Agents are computational entities whose defining feature is autonomy
[Woo02]
Agents are goal-driven, since goals determine and explain the agent’s
course of actions [CC95]
teleonomic (goal-oriented) agents feature implicitly represented
goals (weak agency)
teleologic (goal-governed) agents feature explicitly represented
goals (strong agency), typically handled through
mentalistic abstractions by intelligent agents
[WJ95]—e.g. BDI agent architectures [RG95]
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 5 / 14
Agent Societies & Coordination
Agent societies rule collective MAS behaviours towards the overall
system goals, by governing mutual agent dependencies [MC94].
Agent societies are built around coordination media [GC92],
encapsulating social (coordination) laws
There, social goals may be either implicitly or explicitly represented:
so, in turn, societies (and MAS in general) could be either teleonomic
or teleologic, respectively, as wholes
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 6 / 14
Distributed Autonomy
When a complex socio-technical system (such as an AWS) is built as
a MAS
a number of autonomous components (either humans or software
agents) and structures (societies) are in place
each one capable to pursue its own goals either teleonomically or
teleologically
So, autonomy could be conceived as a distributed property of
socio-technical systems
distributed autonomy
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 7 / 14
Critical Issues I
Who is in charge, really?
Distributed autonomy means that decisions are actually distributed
possibly with components featuring different sorts of autonomy in the
same system
possibly distributed among both human and software agents in an
articulated way
possibly in a dynamic way, at run time
Autonomy, deliberation, decision: it is no longer like pulling a trigger
It is much more complex than that
Autonomy is distributed
and so are responsibility and liability
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 8 / 14
Critical Issues II
Further sources of complexity
Teleonomic / teleologic agents / societies typically coexist in the
same MAS
In critical socio-technical systems, any sort of deliberation (human
included) typically depend on huge amounts of data and information
elaborated by (possibly autonomous) software components
Agents may depend on each others, interfere, exchange goals
Any agent may belong to more than one MAS, and make different
systems interfere with each other
Self-organising MAS make it possible to build autonomous systems –
including LAWS – which are not just teleonomic, but also has no
single place for system goals—goals are nowhere visible when
observing the system
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 9 / 14
Norms for LAWS?
Understanding who/what is actually taking a decision – and, based on
what – is no longer a trivial issue when distributed autonomy is in
place
Without a well-founded engineering discipline, distributed autonomy
may lead to uncertain responsibility / liability
Without norms on how LAWS are actually designed and built, it
unclear whether LAWS could be actually regulated, e.g., for
compliancy with IHL principles
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 10 / 14
Bibliography
Bibliography I
Rosaria Conte and Cristiano Castelfranchi, editors.
Cognitive and Social Action.
Routledge, 1995.
David Gelernter and Nicholas Carriero.
Coordination languages and their significance.
Communications of the ACM, 35(2):97–107, 1992.
Thomas W. Malone and Kevin Crowston.
The interdisciplinary study of coordination.
ACM Computing Surveys, 26(1):87–119, 1994.
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 11 / 14
Bibliography
Bibliography II
Anand S. Rao and Michael P. Georgeff.
BDI agents: From theory to practice.
In Victor R. Lesser and Les Gasser, editors, 1st International
Conference on Multi Agent Systems (ICMAS 1995), pages 312–319,
San Francisco, CA, USA, 12-14 June 1995. The MIT Press.
Michael J. Wooldridge and Nicholas R. Jennings.
Intelligent agents: Theory and practice.
Knowledge Engineering Review, 10(2):115–152, June 1995.
Michael J. Wooldridge.
An Introduction to MultiAgent Systems.
John Wiley & Sons Ltd., Chichester, UK, March 2002.
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 12 / 14
Bibliography
Bibliography III
Franco Zambonelli and Andrea Omicini.
Challenges and research directions in agent-oriented software
engineering.
Autonomous Agents and Multi-Agent Systems, 9(3):253–283,
November 2004.
Special Issue: Challenges for Agent-Based Computing.
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 13 / 14
The Distributed Autonomy
Software Abstractions and Technologies for Autonomous Systems
Andrea Omicini
Alma Mater Studiorum—Universit`a di Bologna
CCW Meeting of Experts on Lethal Autonomous Weapons Systems
United Nations, Gen`eve, Switzerland
13 April 2015
Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 14 / 14

More Related Content

Similar to The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems

The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
The Autonomy of Automated Systems: Social Systems and the Multi-level AutonomyThe Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
Andrea Omicini
 
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual FrameworkEvent-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
Andrea Omicini
 
Complexity in computational systems: the coordination perspective
Complexity in computational systems: the coordination perspectiveComplexity in computational systems: the coordination perspective
Complexity in computational systems: the coordination perspective
Andrea Omicini
 
Fundamentals of Collective Adaptive Systems Manifesto
Fundamentals of Collective Adaptive Systems ManifestoFundamentals of Collective Adaptive Systems Manifesto
Fundamentals of Collective Adaptive Systems Manifesto
FoCAS Initiative
 
Organization Structure And Inter-Organizational...
Organization Structure And Inter-Organizational...Organization Structure And Inter-Organizational...
Organization Structure And Inter-Organizational...
Stephanie Clark
 
Intelligent Buildings: Foundation for Intelligent Physical Agents
Intelligent Buildings: Foundation for Intelligent Physical AgentsIntelligent Buildings: Foundation for Intelligent Physical Agents
Intelligent Buildings: Foundation for Intelligent Physical Agents
IJERA Editor
 
Foundations of Multi-Agent Systems
Foundations of Multi-Agent SystemsFoundations of Multi-Agent Systems
Foundations of Multi-Agent Systems
Andrea Omicini
 
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
Andrea Omicini
 
Complexity & Interaction: Blurring Borders between Physical, Computational, a...
Complexity & Interaction: Blurring Borders between Physical, Computational, a...Complexity & Interaction: Blurring Borders between Physical, Computational, a...
Complexity & Interaction: Blurring Borders between Physical, Computational, a...
Andrea Omicini
 
1) Values in Computational Models RevaluedComputational mode.docx
1) Values in Computational Models RevaluedComputational mode.docx1) Values in Computational Models RevaluedComputational mode.docx
1) Values in Computational Models RevaluedComputational mode.docx
monicafrancis71118
 
Jmse 09-00645
Jmse 09-00645Jmse 09-00645
Jmse 09-00645
anshitabajpai1
 
Multi agent good kabisa
Multi agent good kabisaMulti agent good kabisa
Multi agent good kabisa
Jovenary Muta
 
Swanson 2003 framework-understanding_4p
Swanson 2003 framework-understanding_4pSwanson 2003 framework-understanding_4p
Swanson 2003 framework-understanding_4p
Eric Swanson
 
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
COMRADES project
 
Free software community functioning
Free software community functioningFree software community functioning
Free software community functioning
Rayna Stamboliyska
 
E soc13
E soc13E soc13
Resilience in Spatial and Urban Systems
Resilience in Spatial and Urban SystemsResilience in Spatial and Urban Systems
Resilience in Spatial and Urban Systems
Regional Science Academy
 
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
Vincenzo De Florio
 
Academic Course: 03 Autonomic Multi-Agent Systems
Academic Course: 03 Autonomic Multi-Agent SystemsAcademic Course: 03 Autonomic Multi-Agent Systems
Academic Course: 03 Autonomic Multi-Agent Systems
FET AWARE project - Self Awareness in Autonomic Systems
 
Research Trends in Nature-inspired Coordination Models
Research Trends in Nature-inspired Coordination ModelsResearch Trends in Nature-inspired Coordination Models
Research Trends in Nature-inspired Coordination Models
Andrea Omicini
 

Similar to The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (20)

The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
The Autonomy of Automated Systems: Social Systems and the Multi-level AutonomyThe Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy
 
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual FrameworkEvent-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
 
Complexity in computational systems: the coordination perspective
Complexity in computational systems: the coordination perspectiveComplexity in computational systems: the coordination perspective
Complexity in computational systems: the coordination perspective
 
Fundamentals of Collective Adaptive Systems Manifesto
Fundamentals of Collective Adaptive Systems ManifestoFundamentals of Collective Adaptive Systems Manifesto
Fundamentals of Collective Adaptive Systems Manifesto
 
Organization Structure And Inter-Organizational...
Organization Structure And Inter-Organizational...Organization Structure And Inter-Organizational...
Organization Structure And Inter-Organizational...
 
Intelligent Buildings: Foundation for Intelligent Physical Agents
Intelligent Buildings: Foundation for Intelligent Physical AgentsIntelligent Buildings: Foundation for Intelligent Physical Agents
Intelligent Buildings: Foundation for Intelligent Physical Agents
 
Foundations of Multi-Agent Systems
Foundations of Multi-Agent SystemsFoundations of Multi-Agent Systems
Foundations of Multi-Agent Systems
 
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...
 
Complexity & Interaction: Blurring Borders between Physical, Computational, a...
Complexity & Interaction: Blurring Borders between Physical, Computational, a...Complexity & Interaction: Blurring Borders between Physical, Computational, a...
Complexity & Interaction: Blurring Borders between Physical, Computational, a...
 
1) Values in Computational Models RevaluedComputational mode.docx
1) Values in Computational Models RevaluedComputational mode.docx1) Values in Computational Models RevaluedComputational mode.docx
1) Values in Computational Models RevaluedComputational mode.docx
 
Jmse 09-00645
Jmse 09-00645Jmse 09-00645
Jmse 09-00645
 
Multi agent good kabisa
Multi agent good kabisaMulti agent good kabisa
Multi agent good kabisa
 
Swanson 2003 framework-understanding_4p
Swanson 2003 framework-understanding_4pSwanson 2003 framework-understanding_4p
Swanson 2003 framework-understanding_4p
 
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
Evaluating Platforms for Community Sensemaking: Using the Case of the Kenyan ...
 
Free software community functioning
Free software community functioningFree software community functioning
Free software community functioning
 
E soc13
E soc13E soc13
E soc13
 
Resilience in Spatial and Urban Systems
Resilience in Spatial and Urban SystemsResilience in Spatial and Urban Systems
Resilience in Spatial and Urban Systems
 
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...
 
Academic Course: 03 Autonomic Multi-Agent Systems
Academic Course: 03 Autonomic Multi-Agent SystemsAcademic Course: 03 Autonomic Multi-Agent Systems
Academic Course: 03 Autonomic Multi-Agent Systems
 
Research Trends in Nature-inspired Coordination Models
Research Trends in Nature-inspired Coordination ModelsResearch Trends in Nature-inspired Coordination Models
Research Trends in Nature-inspired Coordination Models
 

More from Andrea Omicini

Measuring Trustworthiness in Neuro-Symbolic Integration
Measuring Trustworthiness in Neuro-Symbolic IntegrationMeasuring Trustworthiness in Neuro-Symbolic Integration
Measuring Trustworthiness in Neuro-Symbolic Integration
Andrea Omicini
 
Explainable Pervasive Intelligence with Self-explaining Agents
Explainable Pervasive Intelligence with Self-explaining AgentsExplainable Pervasive Intelligence with Self-explaining Agents
Explainable Pervasive Intelligence with Self-explaining Agents
Andrea Omicini
 
On the Integration of Symbolic and Sub-symbolic – Explaining by Design
On the Integration of Symbolic and Sub-symbolic – Explaining by DesignOn the Integration of Symbolic and Sub-symbolic – Explaining by Design
On the Integration of Symbolic and Sub-symbolic – Explaining by Design
Andrea Omicini
 
Not just for humans: Explanation for agent-to-agent communication
Not just for humans: Explanation for agent-to-agent communicationNot just for humans: Explanation for agent-to-agent communication
Not just for humans: Explanation for agent-to-agent communication
Andrea Omicini
 
Blockchain for Intelligent Systems: Research Perspectives
Blockchain for Intelligent Systems: Research PerspectivesBlockchain for Intelligent Systems: Research Perspectives
Blockchain for Intelligent Systems: Research Perspectives
Andrea Omicini
 
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MASInjecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Andrea Omicini
 
Conversational Informatics: From Conversational Systems to Communication Inte...
Conversational Informatics: From Conversational Systems to Communication Inte...Conversational Informatics: From Conversational Systems to Communication Inte...
Conversational Informatics: From Conversational Systems to Communication Inte...
Andrea Omicini
 
Nature-inspired Coordination: Current Status and Research Trends
Nature-inspired Coordination: Current Status and Research TrendsNature-inspired Coordination: Current Status and Research Trends
Nature-inspired Coordination: Current Status and Research Trends
Andrea Omicini
 
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
Andrea Omicini
 
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
Andrea Omicini
 
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service (LPaaS): Intelligence for the IoTLogic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Andrea Omicini
 
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
Andrea Omicini
 
ABMS in m-Health Self-Management
ABMS in m-Health Self-ManagementABMS in m-Health Self-Management
ABMS in m-Health Self-Management
Andrea Omicini
 
Game Engines to Model MAS: A Research Roadmap
Game Engines to Model MAS: A Research RoadmapGame Engines to Model MAS: A Research Roadmap
Game Engines to Model MAS: A Research Roadmap
Andrea Omicini
 
Multi-paradigm Coordination for MAS
Multi-paradigm Coordination for MASMulti-paradigm Coordination for MAS
Multi-paradigm Coordination for MAS
Andrea Omicini
 
Towards Logic Programming as a Service: Experiments in tuProlog
Towards Logic Programming as a Service: Experiments in tuPrologTowards Logic Programming as a Service: Experiments in tuProlog
Towards Logic Programming as a Service: Experiments in tuProlog
Andrea Omicini
 
Spatial Multi-Agent Systems
Spatial Multi-Agent SystemsSpatial Multi-Agent Systems
Spatial Multi-Agent Systems
Andrea Omicini
 
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
Andrea Omicini
 
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
Andrea Omicini
 
Stochastic Coordination in CAS: Expressiveness & Predictability
Stochastic Coordination in CAS: Expressiveness & PredictabilityStochastic Coordination in CAS: Expressiveness & Predictability
Stochastic Coordination in CAS: Expressiveness & Predictability
Andrea Omicini
 

More from Andrea Omicini (20)

Measuring Trustworthiness in Neuro-Symbolic Integration
Measuring Trustworthiness in Neuro-Symbolic IntegrationMeasuring Trustworthiness in Neuro-Symbolic Integration
Measuring Trustworthiness in Neuro-Symbolic Integration
 
Explainable Pervasive Intelligence with Self-explaining Agents
Explainable Pervasive Intelligence with Self-explaining AgentsExplainable Pervasive Intelligence with Self-explaining Agents
Explainable Pervasive Intelligence with Self-explaining Agents
 
On the Integration of Symbolic and Sub-symbolic – Explaining by Design
On the Integration of Symbolic and Sub-symbolic – Explaining by DesignOn the Integration of Symbolic and Sub-symbolic – Explaining by Design
On the Integration of Symbolic and Sub-symbolic – Explaining by Design
 
Not just for humans: Explanation for agent-to-agent communication
Not just for humans: Explanation for agent-to-agent communicationNot just for humans: Explanation for agent-to-agent communication
Not just for humans: Explanation for agent-to-agent communication
 
Blockchain for Intelligent Systems: Research Perspectives
Blockchain for Intelligent Systems: Research PerspectivesBlockchain for Intelligent Systems: Research Perspectives
Blockchain for Intelligent Systems: Research Perspectives
 
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MASInjecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
 
Conversational Informatics: From Conversational Systems to Communication Inte...
Conversational Informatics: From Conversational Systems to Communication Inte...Conversational Informatics: From Conversational Systems to Communication Inte...
Conversational Informatics: From Conversational Systems to Communication Inte...
 
Nature-inspired Coordination: Current Status and Research Trends
Nature-inspired Coordination: Current Status and Research TrendsNature-inspired Coordination: Current Status and Research Trends
Nature-inspired Coordination: Current Status and Research Trends
 
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...
 
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...
 
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service (LPaaS): Intelligence for the IoTLogic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service (LPaaS): Intelligence for the IoT
 
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...
 
ABMS in m-Health Self-Management
ABMS in m-Health Self-ManagementABMS in m-Health Self-Management
ABMS in m-Health Self-Management
 
Game Engines to Model MAS: A Research Roadmap
Game Engines to Model MAS: A Research RoadmapGame Engines to Model MAS: A Research Roadmap
Game Engines to Model MAS: A Research Roadmap
 
Multi-paradigm Coordination for MAS
Multi-paradigm Coordination for MASMulti-paradigm Coordination for MAS
Multi-paradigm Coordination for MAS
 
Towards Logic Programming as a Service: Experiments in tuProlog
Towards Logic Programming as a Service: Experiments in tuPrologTowards Logic Programming as a Service: Experiments in tuProlog
Towards Logic Programming as a Service: Experiments in tuProlog
 
Spatial Multi-Agent Systems
Spatial Multi-Agent SystemsSpatial Multi-Agent Systems
Spatial Multi-Agent Systems
 
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...
 
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...
 
Stochastic Coordination in CAS: Expressiveness & Predictability
Stochastic Coordination in CAS: Expressiveness & PredictabilityStochastic Coordination in CAS: Expressiveness & Predictability
Stochastic Coordination in CAS: Expressiveness & Predictability
 

Recently uploaded

Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Albert Hoitingh
 
A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...
sonjaschweigert1
 
Removing Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software FuzzingRemoving Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software Fuzzing
Aftab Hussain
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Speck&Tech
 
Artificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopmentArtificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopment
Octavian Nadolu
 
Communications Mining Series - Zero to Hero - Session 1
Communications Mining Series - Zero to Hero - Session 1Communications Mining Series - Zero to Hero - Session 1
Communications Mining Series - Zero to Hero - Session 1
DianaGray10
 
“I’m still / I’m still / Chaining from the Block”
“I’m still / I’m still / Chaining from the Block”“I’m still / I’m still / Chaining from the Block”
“I’m still / I’m still / Chaining from the Block”
Claudio Di Ciccio
 
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
Zilliz
 
Pushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 daysPushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 days
Adtran
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
innovationoecd
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
mikeeftimakis1
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
ControlCase
 
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Paige Cruz
 
Full-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalizationFull-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalization
Zilliz
 
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
Neo4j
 
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
SOFTTECHHUB
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
Matthew Sinclair
 
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
名前 です男
 
UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5
DianaGray10
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
Matthew Sinclair
 

Recently uploaded (20)

Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
 
A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...
 
Removing Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software FuzzingRemoving Uninteresting Bytes in Software Fuzzing
Removing Uninteresting Bytes in Software Fuzzing
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
 
Artificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopmentArtificial Intelligence for XMLDevelopment
Artificial Intelligence for XMLDevelopment
 
Communications Mining Series - Zero to Hero - Session 1
Communications Mining Series - Zero to Hero - Session 1Communications Mining Series - Zero to Hero - Session 1
Communications Mining Series - Zero to Hero - Session 1
 
“I’m still / I’m still / Chaining from the Block”
“I’m still / I’m still / Chaining from the Block”“I’m still / I’m still / Chaining from the Block”
“I’m still / I’m still / Chaining from the Block”
 
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...
 
Pushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 daysPushing the limits of ePRTC: 100ns holdover for 100 days
Pushing the limits of ePRTC: 100ns holdover for 100 days
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
 
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
 
Full-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalizationFull-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalization
 
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
 
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
 
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
 
UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
 

The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems

  • 1. The Distributed Autonomy Software Abstractions and Technologies for Autonomous Systems Andrea Omicini Alma Mater Studiorum—Universit`a di Bologna CCW Meeting of Experts on Lethal Autonomous Weapons Systems United Nations, Gen`eve, Switzerland 13 April 2015 Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 1 / 14
  • 2. Autonomous Systems as Software Systems Artificial systems in general feature nowadays an ever-growing relevance of ICT components and models When autonomy is concerned, issues like deliberation, planning, knowledge representation, and the like, emphasise the role of computational/software component/subsystems In perspective, talking about forthcoming autonomous systems mostly means talking about software systems / components Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 2 / 14
  • 3. Complex Software Systems as Multi-Agent Systems [ZO04] Nowadays, most of the complex computational systems of interest can be thought, modelled, and built as multi-agent systems (MAS) MAS are not necessarily autonomous; however they are built out of many autonomous components, called agents they are the reference computational paradigm for building autonomous (software) systems Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 3 / 14
  • 4. Socio-Technical Systems as MAS Most of the relevant systems nowadays are socio-technical systems—that is, systems where components are human and software agents altogether as AWS typically are When modelling and engineering socio-technical systems, the agent abstraction typically accounts for both human and software agents Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 4 / 14
  • 5. Agents & Goals Agents are computational entities whose defining feature is autonomy [Woo02] Agents are goal-driven, since goals determine and explain the agent’s course of actions [CC95] teleonomic (goal-oriented) agents feature implicitly represented goals (weak agency) teleologic (goal-governed) agents feature explicitly represented goals (strong agency), typically handled through mentalistic abstractions by intelligent agents [WJ95]—e.g. BDI agent architectures [RG95] Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 5 / 14
  • 6. Agent Societies & Coordination Agent societies rule collective MAS behaviours towards the overall system goals, by governing mutual agent dependencies [MC94]. Agent societies are built around coordination media [GC92], encapsulating social (coordination) laws There, social goals may be either implicitly or explicitly represented: so, in turn, societies (and MAS in general) could be either teleonomic or teleologic, respectively, as wholes Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 6 / 14
  • 7. Distributed Autonomy When a complex socio-technical system (such as an AWS) is built as a MAS a number of autonomous components (either humans or software agents) and structures (societies) are in place each one capable to pursue its own goals either teleonomically or teleologically So, autonomy could be conceived as a distributed property of socio-technical systems distributed autonomy Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 7 / 14
  • 8. Critical Issues I Who is in charge, really? Distributed autonomy means that decisions are actually distributed possibly with components featuring different sorts of autonomy in the same system possibly distributed among both human and software agents in an articulated way possibly in a dynamic way, at run time Autonomy, deliberation, decision: it is no longer like pulling a trigger It is much more complex than that Autonomy is distributed and so are responsibility and liability Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 8 / 14
  • 9. Critical Issues II Further sources of complexity Teleonomic / teleologic agents / societies typically coexist in the same MAS In critical socio-technical systems, any sort of deliberation (human included) typically depend on huge amounts of data and information elaborated by (possibly autonomous) software components Agents may depend on each others, interfere, exchange goals Any agent may belong to more than one MAS, and make different systems interfere with each other Self-organising MAS make it possible to build autonomous systems – including LAWS – which are not just teleonomic, but also has no single place for system goals—goals are nowhere visible when observing the system Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 9 / 14
  • 10. Norms for LAWS? Understanding who/what is actually taking a decision – and, based on what – is no longer a trivial issue when distributed autonomy is in place Without a well-founded engineering discipline, distributed autonomy may lead to uncertain responsibility / liability Without norms on how LAWS are actually designed and built, it unclear whether LAWS could be actually regulated, e.g., for compliancy with IHL principles Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 10 / 14
  • 11. Bibliography Bibliography I Rosaria Conte and Cristiano Castelfranchi, editors. Cognitive and Social Action. Routledge, 1995. David Gelernter and Nicholas Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, 1992. Thomas W. Malone and Kevin Crowston. The interdisciplinary study of coordination. ACM Computing Surveys, 26(1):87–119, 1994. Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 11 / 14
  • 12. Bibliography Bibliography II Anand S. Rao and Michael P. Georgeff. BDI agents: From theory to practice. In Victor R. Lesser and Les Gasser, editors, 1st International Conference on Multi Agent Systems (ICMAS 1995), pages 312–319, San Francisco, CA, USA, 12-14 June 1995. The MIT Press. Michael J. Wooldridge and Nicholas R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2):115–152, June 1995. Michael J. Wooldridge. An Introduction to MultiAgent Systems. John Wiley & Sons Ltd., Chichester, UK, March 2002. Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 12 / 14
  • 13. Bibliography Bibliography III Franco Zambonelli and Andrea Omicini. Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems, 9(3):253–283, November 2004. Special Issue: Challenges for Agent-Based Computing. Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 13 / 14
  • 14. The Distributed Autonomy Software Abstractions and Technologies for Autonomous Systems Andrea Omicini Alma Mater Studiorum—Universit`a di Bologna CCW Meeting of Experts on Lethal Autonomous Weapons Systems United Nations, Gen`eve, Switzerland 13 April 2015 Omicini (Univ. Bologna) The Distributed Autonomy UN-LAWS – 13/4/2015 14 / 14