<!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 />
    <article-meta>
      <title-group>
        <article-title>Shared knowledge and interpretation of norms in multi-agent systems</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Informatics, Universita` degli Studi di Torino</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>The representation of norms is a central challenge in AI&amp;LAW and in normative multiagent systems [1]. Two requirements from AI&amp;LAW are that the representation is realistic in the sense of being founded in legal practice1, and to build more realistic agents. In particular, the representation of norms has to address the following questions: 1. How to represent the ontological status of norms? 2. How to represent open norms and vagueness? 3. How to represent agent's interpretation of norms? In multi-agent systems, norms are usually considered rules that can be violated by agents. The reasons for norm violation are usually bounded to agents utility evaluation - gain versus possible fee - but with our proposal we depict a scenario in which norms are open or vague. Agent's can interpret norms in different ways, according to their knowledge but also according with their own interpretation theory of general concepts, norm goal, etc. The rest of the paper is organized as follows. In Section 2, we introduce our methodology, Section 3 shows the features of norms as social objects. In Section 4, we discuss the ontological status of norms and their interpretation process. Finally in Section 5 we present some final remarks.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <sec id="sec-1-1">
        <title>1In order to answer to the current request of transparency of law processes.</title>
        <sec id="sec-1-1-1">
          <title>Social objects</title>
          <p>
            As methodology in our ontological analysis we use the concept of social object in the
sense of Ferraris [
            <xref ref-type="bibr" rid="ref6">6</xref>
            ]. A social object in this sense represents both the physical and
immaterial side of the social constructs, the inscriptions but also a set of shared beliefs.
          </p>
          <p>
            A social object [
            <xref ref-type="bibr" rid="ref6">6</xref>
            ] is a class of entities between concepts and physical objects. A
social object follows the rule Object = Inscribed2 Action that represents the
transformation of an agent’s action into an independent object. Those objects are accessible by
inscriptions, like papers, drawings, digital or human memory, their interpretations are
shared by a group of people and detached from the will of their creators. A social object
is an instance of a common model (like documents) that defines the expected/required
content, a communicative [
            <xref ref-type="bibr" rid="ref7">7</xref>
            ] speech act [
            <xref ref-type="bibr" rid="ref8">8</xref>
            ], within a context, i.e. within an existing
system of relations and references.
          </p>
          <p>A public and communicative action can create a new social object in each context
it is posed, i.g., each event in witch an act is performed can create a new social object.
A social object is shattered in all participants’ mind, it depends on the memories of
the event (shared) and on the interpretation they elaborate (personal). Social objects
posses both physical and intangible features: the structure of their inscriptions (physical
objects) and the structure of their meaning (mind images and connections of concepts).
For that reason, every social object is unique even if they are instance of known models.
To give an intuition of social object models, we can consider as example the features
of “personal statements”: any personal statement involves several things like the author
mental state, the declaration body, the knowledge shared by the recipes, a time and
place of the statement, the traces left, pragmatic games and social behaviour, the social
status of anyone involved and their mutual expectations.</p>
          <p>
            Agents’ actions creating social objects are communicative and public. Those
communications can be represented as graph of relations among entities like common
concepts and physical objects [
            <xref ref-type="bibr" rid="ref9">9</xref>
            ]. The meaning of those objects is given by their
interpretation: the manipulation their graphs using agent’s assumptions.
          </p>
          <p>The references of physical and ideal objects (from now on concepts) in social
objects is represented with relations extracted from their content3. Concepts are
represented by their use as references to external descriptions or definitions, e.g. domain
ontologies. The distinction between use and definitions catch the meaning of social
objects as instances of shared models: a graph represents the specific use of general
concepts4.
3</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>Norms as social constructs</title>
      <p>Norms are social objects and legal texts are one of their inscriptions. A legal text is an
accessible reminders (media) leading agents to similar interpretations5 of norm
mean2Inscribed stand for written down or recorded in some retrievable media like paper or even
brain memory.</p>
      <p>
        3E.g. a semantic network of a document text.
4The technical solution can be found in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ].
5The use is vague but not necessary the meaning of norms.
ing. Norms are connected to agents’ beliefs like common and legal concepts,
interpretations, judgements and common behaviour. The effectiveness of law is bounded to
community’s interpretation of norms and related to common principles/concepts such as “to
not bring harm to someone”6. Boella and van der Torre [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] showed the dependency
of normative systems to agents’ actions. In detail, they exposed how the (regulative,
constitutive, procedural) aspects of norms requires specific behaviours from agents. For
instance, the regulative effect needs the agents desire to avoid potential sanctions caused
by their actions. Rules emerge from the society in a process of definition of shared goals
and acceptable norms [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. Those two works show the entanglement between norms,
institutional agents and society but are still based on the same limiting assumption that
norms can be represented as rules, norms are dynamic, vague and part of a greater social
or normative context.
      </p>
      <p>Represent norms as social objects goes a step further in this direction. The notion
of social object allows us to model the requirements mentioned in Section 1:
1. Norms are different than their inscriptions and their life cycle depends only partly
on their inscriptions.
2. As social objects, norms meaning can evolve for other reasons than their
inscriptions.
3. Norms can depend to other norms as other social objects.
4. As social objects, norms meaning depend to the related concepts meaning.
5. As social objects, norms depend on the shared beliefs of the agents of the society
(even the very status of norms depends to agents’ agreement).</p>
      <p>We want to discuss a methodology to build norm representations that holds those
features.
3.1</p>
      <sec id="sec-2-1">
        <title>Structure and interpretation of norms</title>
        <p>In real life, norms have more than one inscription (copies, versions, public documents,
etc.), several authors (legislators, commissions) for each part or aspect, formal and
informal goals, implicit assumptions, implicit and explicit scenarios, explicit and implicit
connections with other norms, related groups that give support (as the parliament)with
formal or informal actions, and a constitutive action (like X count as Norm in Italy)
creating the new norm from the legal texts and the other sources. Norms are complex
objects, made of components, partially defined and bounded to groups’ shared beliefs
and convergent interpretation.</p>
        <p>If norm contents depends to agents’ beliefs and goal they are partially
inaccessible and so impossible to represent fully. Furthermore, a norm context and content is
inevitable vague, concepts cannot be universally defined: their are sensible to society,
language and use dynamics. Considering human communication, open concepts and
vagueness are important aspect of communication that do not need to be resolved to
archive mutual understanding. For the sake of norms representation, all a priori
attempts of disambiguation of norm vagueness as introduced by legislators makes norms
representations unacceptable by practitioners and applications unreliable.</p>
        <p>6Norms containing general or undefined concepts are called “open norms”.</p>
      </sec>
      <sec id="sec-2-2">
        <title>Norm dynamics</title>
        <p>
          A norm representation should catch the real-life dynamics of norms and not just the
dynamic of the legal text [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]. Even the legal text dynamics is more complex than the
life-cycle of legal text7.
        </p>
        <p>
          Norm dynamics includes all elements that contribute to norm meaning. For instance,
norms are affected by the current status of the whole normative system and not only
from their legal texts. Those elements have different time so a norm representation
should be incrementally extended. Furthermore, a norm representation cannot be finite
and self-explanatory but a shared starting point for agent’s interpretation [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ].
4
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>The ontological impact of interpretation and vagueness</title>
      <p>Interpretation hide always ontological assumptions. For instance, for an interpretation
theory norms evolve or not with society or language. We want distinguish norm as
social social objects to norm meaning as result of agent’s interpretation. We’ll discuss
interpretation in legal practice to give an intuition of norm representation as shared state
of affairs and interpretation as reasoning on shared norm representations.</p>
      <p>
        In order to clarify the differences between ontological status of norms and
interpretation, we briefly recall the ontological analysis of the four canonical interpretations of
legal norms [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]:
a) The grammatical interpretation: norm meaning should be found in legal texts.
b) The systematic interpretation: norms meaning emerge from the state of the
normative system.
c) The historical interpretation: norm meaning is within the original context of norms
and in the legislator’s will.
d) The teleological interpretation: norm meaning change with the current state of
society.
      </p>
      <p>The ontological assumptions in the first two interpretations limits what is part of
a norm representation. The historical and teleological interpretations involve the norm
evolution: how to use the timing of norm components. In order to take in account all
interpretation, the best strategy is to build a widest possible representation and postpone
components selections and time interpretation.
4.1</p>
      <sec id="sec-3-1">
        <title>Norm representation and explicit interpretation</title>
        <p>The four interpretations presented in the previous section are all used in legal practice.
An objective representation of norms is required to derive all four interpretations from
the same representation. In general, a norm representation should preserve its original
meaning and all external references considering their timing. A norm can be
represented as a stratified graph, like in Figure 1, in a network with other social objects and
ontologies for common concepts.</p>
        <sec id="sec-3-1-1">
          <title>7As text revisions, versions, etc.</title>
          <p>The norm in Figure 1 has a unique identifier (the node n0) and its components are
labelled with the creation time8.</p>
          <p>An interpretation as uses external information extracts more than the original
content from a norms. For instance, considering figure 1 the first two interpretation theories
can be implemented as selection of nodes by type (like references). The historical (left)
and teleological (right) interpretations, figure 2, can be calculated selecting the nodes
by time.
1. How to represent the ontological status of norms? With an incremental
representation of social facts and norm context, and excluding all interpretation assumptions.
2. How to represent open norms and vagueness? It is done avoiding a priori
interpretation and representing only the outcome of agent’s actions.</p>
          <p>8To simply the example we annotate time as parameters of nodes avoiding the representation
of time node
3. How to represent agent’s interpretation of norms? The norm representation is the
ontological status of norms, even if it not so informative it can be interpreted using
agent’s assumptions as parameters of the interpretation mechanisms.</p>
          <p>Our methodology requires to define the level of detail of the representation, it is
not exhaustive but can be used also with incomplete information. knowledge graph of
norms with existing tools, like text analysers, it is necessary to map the output of the
tools to a meta-model of norms. That will require, for each tool, the analysis of the
embedded ontological assumptions.</p>
          <p>For future work, we want to address the integration between norm representations
of norms and society structures like organizations and roles.</p>
        </sec>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>G.</given-names>
            <surname>Andrighetto</surname>
          </string-name>
          , G. Governatori,
          <string-name>
            <given-names>P.</given-names>
            <surname>Noriega</surname>
          </string-name>
          , and L. W. N. van der Torre, eds.,
          <source>Normative Multi-Agent Systems</source>
          , vol.
          <volume>4</volume>
          of
          <string-name>
            <given-names>Dagstuhl</given-names>
            <surname>Follow-Ups</surname>
          </string-name>
          , Schloss Dagstuhl,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>E. L.</given-names>
            <surname>Rissland</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K. D.</given-names>
            <surname>Ashley</surname>
          </string-name>
          , and
          <string-name>
            <given-names>R. P.</given-names>
            <surname>Loui</surname>
          </string-name>
          , “
          <article-title>Ai and law: A fruitful synergy</article-title>
          ,
          <source>” Artificial Intelligence</source>
          , vol.
          <volume>150</volume>
          (
          <issue>1-2</issue>
          ), pp.
          <fpage>1</fpage>
          -
          <lpage>15</lpage>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>G.</given-names>
            <surname>Governatori</surname>
          </string-name>
          and
          <string-name>
            <given-names>S.</given-names>
            <surname>Shek</surname>
          </string-name>
          , “
          <article-title>Business process compliance checker</article-title>
          ,” in Accepted paper in
          <source>the XIV International Conference on Artificial Intelligence and Law (ICAIL2013)</source>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>L.</given-names>
            <surname>Giordano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Martelli</surname>
          </string-name>
          , and D. T. Dupr, “
          <article-title>Temporal deontic action logic for the verification of compliance to norms in asp</article-title>
          ,”
          <source>in Proceedings of the XIV International Conference on Artificial Intelligence and Law (ICAIL2013)</source>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>N.</given-names>
            <surname>Love</surname>
          </string-name>
          and
          <string-name>
            <given-names>M. R.</given-names>
            <surname>Genesereth</surname>
          </string-name>
          , “Computational law,”
          <source>in Proceedings in The Tenth International Conference on Artificial Intelligence and Law (ICAIL</source>
          <year>2005</year>
          ), pp.
          <fpage>205</fpage>
          -
          <lpage>209</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>M.</given-names>
            <surname>Ferraris</surname>
          </string-name>
          , Documentality: Why It Is Necessary to Leave Traces. Oxford University Press,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>H.</given-names>
            <surname>Grice</surname>
          </string-name>
          , Logic and Conversation, p.
          <fpage>2240</fpage>
          . Academic Press,
          <year>1975</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>R.</given-names>
            <surname>Searle</surname>
          </string-name>
          ,
          <string-name>
            <surname>J</surname>
          </string-name>
          , Speech Acts. Cambridge University Press,
          <year>1969</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>A.</given-names>
            <surname>Antonini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Vignaroli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Schifanella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. G.</given-names>
            <surname>Pensa</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M. L.</given-names>
            <surname>Sapino</surname>
          </string-name>
          , “
          <article-title>Mesoontv: a media and social-driven ontology-based tv knowledge management system,”</article-title>
          <source>in Proceedings of the 24th ACM Conference on Hypertext and Social Media</source>
          , (New York, NY, USA), pp.
          <fpage>208</fpage>
          -
          <lpage>213</lpage>
          , ACM,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>G.</given-names>
            <surname>Boella</surname>
          </string-name>
          and
          <string-name>
            <surname>L. van der Torre</surname>
          </string-name>
          , “
          <article-title>Substantive and procedural norms in normative multiagent systems</article-title>
          ,
          <source>” Journal of Applied Logic</source>
          , vol.
          <volume>6</volume>
          (
          <issue>2</issue>
          ), pp.
          <fpage>152</fpage>
          -
          <lpage>171</lpage>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>G.</given-names>
            <surname>Boella</surname>
          </string-name>
          and
          <string-name>
            <surname>L. van der Torre</surname>
          </string-name>
          , “D :
          <article-title>The social delegation cycle</article-title>
          ,”
          <source>in Proceedings of the 7th International Workshop on Deontic Logic in Computer Science (DEON</source>
          <year>2004</year>
          ), pp.
          <fpage>29</fpage>
          -
          <lpage>42</lpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>A.</given-names>
            <surname>Antonini</surname>
          </string-name>
          , G. Boella, and L. van der Torre, “
          <article-title>Beyond the rules representation of norms: norms as social objects</article-title>
          ,”
          <source>in Proceedings of Rules 2013 Conference</source>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>A.</given-names>
            <surname>Antonini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Blengino</surname>
          </string-name>
          , G. Boella, and L. van der Torre, “
          <article-title>Norm dynamics: institutional facts, social rules and practice</article-title>
          ,”
          <source>in Proceedings of SOCREAL 2013 Workshop</source>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>