Tutorial on Distributed Constraint Reasoning
The IJCAI-2005 edition introduces many novelties, specially secure
multiparty computations (see AAMAS04 version).
Description
Due to the unprecedented expansion of the Internet, a major change
occurs in
our life and habits. We can expect that some software agents would work
on
our behalf, representing our interests and defending our privacy. A
principled approach to the achievement of this dream is proposed by the
Distributed Constraint Reasoning community which offers a general
framework
and powerful competitive techniques to approach these important
applications.
Distributed Constraint Satisfaction is the outcome of intensive
research
performed in the 80ies and tries to offer equal opportunities to
participants
in cooperative or semi-cooperative distributed resource allocation
problems.
The field got a clear contour in the beginning of the 90ies when
researchers
proved the main theoretical limitations of distributed computations.
This was
followed by a decade of research that continuously increases its
intensity
studying trade-offs between efficiency, privacy, security, and
openness.
This tutorial will provide an unified view on Distributed Constraint
Reasoning, introducing distributed constraint reasoning systems as
semi-cooperative multi-agent systems and concentrating on the privacy,
communication and organization requirements of such systems. The
general
ideas behind the known distributed constraint reasoning systems are
presented
within this multi-agent framework. For each approach, the requirements,
limitations, advantages and disadvantages of the different categories
will be
discussed.
Prerequisite knowledge:
The tutorial is targeted at the general AI audience, both academic
and
industrial, working in AI fields that employ search at the core of
their systems.
It requires only a basic knowledge in standard algorithm schemes, like
branch-and-bound
or local optimization techniques.
Table of Content:
- Introduction: Distributed Search and Distributed
Constraint Reasoning
distribution concepts and their motivation, peculiarities and
motivations for distributing or maintaining problems distributed.
- Frameworks for Distributed Constraint Reasoning
frameworks for artificially distributed versus frameworks for
naturally distributed problems. Frameworks for privacy requirements.
- Properties and Applications
- Samples of
Applications:
(open systems for tracking
targets, coordinating emitors, scheduling, auctions)
- Privacy and openness
(alternative techniques for
maintaining privacy, classification of approaches to open and dynamic
systems)
- Secure Multi-party Computations
- Simple Secure Multi-party Computations
(computing summations)
- Shamir's Secret Sharing
(representing secrets in ways
that enable distributed processing)
- Secure Function Evaluation
(basic distributed processing
of secrets, simulating arithmetic circuit evaluation)
- Homomorphic Encryption for Distributed Secure Computations
(distributed processing of
secrets based on encryption)
- Secure techniques for Solving
Distributed Constraint Satisfaction Problems
- Solvers based on Homomorphic Encryption
(trusted pasrty approaches,
distributing trust, encoding distributed constraints)
- Solvers based on Secure Function Evaluation
(secure distributed solvers for
satisfaction and optimization problems)
- Distributed Constraint Reasoning Frameworks for secure
computations
(frameworks for modeling
team-making problems and auctions)
- Centralized Search and its
Distribution
- Centralized backtracking and straightforward operational
distributions
(introduce centralized search,
look-ahead, reordering, and consistency maintenance, the
synchronization as simple way of distributing algorithms)
- Improved Distributions
(idle processors and
parallelism, improved problem distribution as means of improving the
communication)
- Unhindered parallelism in distributed search
(real impediments to
parallelism, theoretical results for distribution techniques as
solution to lack of parallelism)
- Asynchronous techniques
- Asynchronism
(what is asynchronism and why
bother, framework and explaining results, need and drawbacks of
ordering)
- Analysis of equivalences to centralized backtracking
(phenomenal analysis versus
operational analysis, enumeration, phenomenal extensions of other
centralized search techniques)
- Sources of parallelism in asynchronous solving
(parallelism and commitment,
the roots of committment)
- Incomplete Search for
DisCSPs
- Why (not) completeness
(impossibility results and
natural approaches to resource allocation)
- Efficient Algorithms
with(without) structure
(structure and
synchronisation
as slowing factors in distributed processes, how far are we from
completeness)
- Overview
of State of The Art
Last Change: 02/20/2005