<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>AT</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Dependence Networks for Agreement Technologies?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Guido Boella</string-name>
          <email>guido@di.unito.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Patrice Caire</string-name>
          <email>patrice.caire@uni.lu</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Leendert van der Torre</string-name>
          <email>leon.vandertorre@uni.lu</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Serena Villata</string-name>
          <email>serena.villata@inria.fr</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science, University of Torino</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>INRIA Sophia Antipolis</institution>
          ,
          <country country="FR">France</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>SnT and CSC, University of Luxembourg</institution>
          ,
          <country country="LU">Luxembourg</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2012</year>
      </pub-date>
      <volume>15</volume>
      <fpage>15</fpage>
      <lpage>16</lpage>
      <abstract>
        <p>Dependence Network</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>r₁
r₂</p>
      <p>c
b
'
r₁
r₂
r₆
c</p>
      <p>Proposal
d
a
r
r₁
(a)
c
b</p>
      <p>Proposal 3
Proposal 1</p>
      <p>r₁
a
r₇</p>
      <p>Proposal 2</p>
      <p>r₁
c</p>
      <p>b
r₂
a</p>
      <p>
        b
r
(b)
(d) (e)
Fig. 1: Abstract dependence network (a), proposal of a free gift (b), redundant
proposal (c), non-redundant proposal (d), and preferred proposal (e)
uation where Bob could give Alice a present, and Alice could pick up their children.
This can be formalized by the abstract dependence network N = hS; R; Di (Figure
1.a), where the set of stakeholders S = fa; b; c; dg represents Alice, Bob, Cathy and
Dan, and the set of reasons R = fr; r1; r2; r3; r4; r5; r6; r7; r8g, with r : get a gift,
fr1g: pick up the kids at school, fr2g: get professional referrals, fr3g: buy computer
equipment, fr4g: pay for computer, fr5g: get best price on next computer, fr6g: get new
clients, fr7g: design book covers, and fr8g: get use-cases for lectures; and the set of
dependencies D = f(a; b; r); (b; a; r1)g. Two examples of proposals are P = f(a; b; r)g
(Figure 1.b), and P 0 = D = f(a; b; r); (b; a; r1)g (Figure 1.a). A proposal is exchange
based if every dependency is part of a cycle [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Consider the case where Bob gives
Alice a present without getting anything in return (Figure 1.b): this is not a
exchangebased proposal as the dependency is not reciprocated. In contrast, (Figure 1.a), there is
a cycle C = h(a; b; r); (b; a; r1)i. P is not exchange based, but P 0 is.
      </p>
      <p>An important property is the notion of redundancy. Consider a scenario in which
neither Alice nor Bob could pick up their children. They would not consult with each
other. Bob would ask Dan to pick the children up, while Alice would ask Cathy. As a
result, both Cathy and Dan would find themselves in front of the school to pick up Alice
and Bob’s children. Of course, this is inconvenient and a waste of time for Cathy and
Dan. Though such situations may occur in practice due to lack of coordination, it makes
less sense to propose this agreement. We model this scenario in Figure 1.c. There is one
cycle C = h(a; c; r1); (c; b; r2); (b; d; r1); (d; a; r3)i: two distinct stakeholders, namely
a and b, depend on two distinct stakeholders, namely c and d, for the same reason r1.
The two dependencies can be part of the same proposal, but not a good proposal: a
proposal is redundant if there are two distinct producers for the same reason. Consider the
case where both Alice and Bob ask Cathy to pick up their children, while Cathy depends
on Bob to get professional referrals, and on Alice, to design her next book cover
(Figure 1.d). This represents that stakeholder c can produce something which is consumed
by both a and b, namely, to pick up the children. Proposals P1 = f(a; c; r1); (c; a; r7)g,
P2 = f(b; c; r1); (c; b; r2)g, and P3 = f(a; c; r1); (c; a; r7); (b; c; r1); (c; b; r2)g are
non-redundant, whereas proposal P = f(a; c; r1); (c; b; r2); (b; d; r1); (d; a; r3)g
(Figure 1.c) is redundant as there are two distinct producers for the same reason.</p>
      <p>A proposal is admissible if it is non-redundant, and every dependency is part of
a cycle. We may define a preferred proposal as a proposal that obtains the maximal
exchange, i.e., a maximal w.r.t. set inclusion admissible proposal. Consider two new
stakeholders, such that Betty depends on her husband Alex to pick up their child at
school, while Alex depends on Cathy to get new clients, and Cathy depends on Betty
to get professional referrals (Figure1.e) where S = fa; b; d; a0; b0; cg, namely Alice,
Bob, Dan, Alex, Betty and Cathy. Both cycles C1 and C2, respectively proposals 1 and
2 (Figure1.e) are admissible proposals as they are non-redundant and exchange-based.
The proposal C1 [ C2 is the unique preferred proposal containing both cycles.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>L.</given-names>
            <surname>Sauro</surname>
          </string-name>
          .
          <article-title>Formalizing Admissibility Criteria in Coalition Formation among Goal Directed Agents</article-title>
          .
          <source>PhD thesis</source>
          , University of Torino,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>J. S.</given-names>
            <surname>Sichman</surname>
          </string-name>
          and
          <string-name>
            <given-names>R.</given-names>
            <surname>Conte</surname>
          </string-name>
          <article-title>. Multi-agent dependence by dependence graphs</article-title>
          .
          <source>In Proc. of AAMAS</source>
          , pages
          <fpage>483</fpage>
          -
          <lpage>490</lpage>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>