Agreement Technologies
6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Published on 3. April 2019
XII, 239 pages
978-3-030-17294-7 (ISBN)
Description
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.
The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next generation open distributed systems centered on the notion of agreement among computational agents. They are organized in the following topical sections: AT foundations and modelling of reasoning agents; argumentation and negotiation; coordination in open distributed systems with applications.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XII, 239 p. 84 illus., 34 illus. in color.
File size
10,37 MB
ISBN-13
978-3-030-17294-7 (9783030172947)
DOI
10.1007/978-3-030-17294-7
Schweitzer Classification
Other editions
Additional editions
Marin Lujak
Agreement Technologies
6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Book
04/2019
Springer
€53.49
Shipment within 7-9 days
Content
- Intro
- Preface
- Organization
- Contents
- AT Foundations and Modelling of Reasoning Agents
- Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems
- 1 Introduction
- 2 Background
- 2.1 Theory of Mind and the Problem of Other Minds
- 2.2 Agent Communication Languages
- 2.3 Agent Oriented Programming Languages
- 3 Running Example
- 4 Modelling ToM from Other Agents' Actions
- 5 A Model of Uncertain ToM
- 6 Decision Making Using Uncertain ToM
- 7 Future Work
- 8 Conclusions
- References
- On the Formal Semantics of Theory of Mind in Agent Communication
- 1 Introduction
- 2 Background
- 2.1 Agent Communication Languages
- 2.2 Agent Oriented Programming Languages
- 3 Running Example
- 4 Semantics for ToM in Agent Communication
- 4.1 The Basis for the Operational Semantics
- 4.2 Tell Performative
- 4.3 Achieve Performative
- 4.4 Ask-If Performative
- 5 Reaching Shared Beliefs Using ToM
- 6 Future Work
- 7 Related Work and Conclusions
- References
- Accountability for Practical Reasoning Agents
- 1 Introduction
- 2 What Is Accountability?
- 2.1 Related Concepts
- 2.2 The Functional Purpose of Accountability
- 3 Requirements for Accountable Autonomous Agents
- 3.1 Research Questions
- 4 Towards a Formalisation of Accountability
- 5 Conclusions, Discussion and Future Work
- References
- Using Semantic Web Technologies and Production Rules for Reasoning on Obligations and Permissions
- 1 Introduction
- 2 A Semantic Web Meta-model of Conditional Obligations and Permissions
- 3 Life Cycles of Obligation and Permission
- 4 Operational Semantics of Obligation and Permission
- 5 Implementation of a Prototype
- 6 Related Work
- References
- Minimality and Simplicity of Rules for the Internet-of-Things
- 1 Introduction
- 2 Background and Related Work
- 3 Architecture and Implementation
- 3.1 Architecture
- 3.2 Format of Rules
- 3.3 Ontologies in Our System
- 3.4 Functions and Operators
- 4 Evaluation
- 5 Conclusions, Discussions and Future Work
- References
- Stream-Based Perception for Agents on Mobile Devices
- 1 Introduction
- 2 Related Work
- 3 Agents with Enhanced Perception
- 3.1 Sensing the Environment
- 3.2 Processing the Percept Stream
- 4 Case Study
- 4.1 Rebalancing of Bike Sharing Systems
- 4.2 Situation-Aware Rebalancing with AEP
- 5 Evaluation and Discussion
- 6 Conclusion
- References
- Argumentation and Negotiation
- Distributed Ledger and Robust Consensus for Agreements
- 1 Introduction
- 2 Consensus with Malicious Agents
- 2.1 Cheat Detection
- 2.2 Cheat Correction
- 3 Consensus for Distributed Ledger
- 4 Conclusions
- References
- The Challenge of Negotiation in the Game of Diplomacy
- 1 Introduction
- 2 Diplomacy
- 3 The Negotiation Protocol
- 3.1 Allowed Proposals
- 4 The ANAC 2017 Diplomacy Competition
- 4.1 Submission Rules and Tournament Setup
- 4.2 Submissions
- 4.3 Results
- 5 The 2018 Diplomacy Challenge
- 5.1 Tournament Setup
- 5.2 Motivation
- 5.3 Submissions
- 5.4 Results
- 6 Is Cooperation Even Possible?
- 7 Discussion and Conclusions
- References
- Automated Negotiations Under User Preference Uncertainty: A Linear Programming Approach
- 1 Introduction
- 2 Related Work
- 3 Problem Setting
- 3.1 Problem Description
- 3.2 Formal Model
- 4 Estimating a Utility Function from a User Model
- 5 Experiments and Results
- 5.1 Setup
- 5.2 Results
- 6 Conclusion
- 7 Discussion and Future Work
- References
- An Adversarial Algorithm for Delegation
- 1 Introduction
- 2 Background
- 2.1 Multi-armed Bandits
- 2.2 MAB Heuristics
- 2.3 Applying MAB Heuristics to Recursive Delegation
- 2.4 Quitting Games
- 3 Approach
- 3.1 Delegation as a Quitting Game
- 3.2 Delegation as Nested MABs
- 4 Evaluation
- 4.1 Experimental Setup
- 4.2 Results
- 5 Discussion and Future Work
- 6 Conclusions
- References
- Policies to Regulate Distributed Data Exchange
- 1 Introduction
- 2 A Data Exchange Economy
- 3 Policy Language
- 3.1 Policy Compliance/Violation
- 4 Decision Mechanisms
- 4.1 Decisions by the Provider
- 4.2 Decisions by the Requestor
- 5 Related Work
- 6 Conclusions, Discussions, and Future Work
- References
- Developing a Method for Quantifying Degree of Discussion Progress Towards Automatic Facilitation of Web-Based Discussion
- Abstract
- 1 Introduction
- 2 Proposed Method: A Metric for Discussion Progress
- 3 Data Collection
- 4 Experiment Contents
- 5 Discussion
- 6 Future Prospects
- Acknowledgements
- References
- Coordination in Open Distributed Systems with Applications
- Monotonicity, Duplication Monotonicity, and Pareto Optimality in the Scoring-Based Allocation of Indivisible Goods
- 1 Introduction
- 2 Preliminaries
- 3 Monotonicity
- 4 Duplication Monotonicity
- 5 Pareto Optimality
- 6 Conclusions and Outlook
- References
- Dynamic Delivery Plan Adaptation in Open Systems
- Abstract
- 1 Introduction
- 2 Problem Definition
- 3 Architecture
- 3.1 Semantic Descriptor Module
- 3.2 Semantic Matching Module
- 3.3 Plan Manager
- 4 Use Case (Plan Adaptation)
- 5 Conclusions
- Acknowledgments
- References
- Autonomous Vehicles Coordination Through Voting-Based Decision-Making
- 1 Introduction
- 2 Social Choice in Vehicle Coordination
- 3 Case Study
- 4 Framework Evaluation
- 4.1 Simulation Framework
- 4.2 Metrics
- 4.3 Scenario and Parameter Settings
- 4.4 Results
- 5 Related Work
- 6 Conclusion and Discussion
- References
- Balancing Strategies for Bike Sharing Systems
- Abstract
- 1 Introduction
- 2 Related Works
- 3 Bike Sharing System
- 4 Quality Measures for Bike Sharing Systems
- 4.1 Metrics Considering Absence of Bikes/Slots
- 4.2 Time with Low Resources
- 4.3 Deviation with Regards to a Reference Balanced Situation
- 4.4 Users' Time in the System
- 5 Our Proposal for Balancing BSS
- 5.1 Independent Stations
- 5.2 Considering Areas
- 5.3 Including Incentives
- 6 Evaluation
- 6.1 Bike3S Simulator
- 6.2 Scenarios
- 6.3 Results and Analysis
- 7 Conclusion
- Acknowledgments
- References
- Towards Distributed Real-Time Coordination of Shoppers' Routes in Smart Hypermarkets
- 1 Introduction
- 2 Background and Related Work
- 3 Problem Formulation
- 4 MAS Architecture for Hypermarket Shopping
- 5 Proposed Solution Approaches
- 5.1 TSP Mathematical Programming Model
- 5.2 A Distributed Greedy Heuristic Approach
- 6 Experiment
- 7 Conclusions
- References
- Author Index
