<!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>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Department of Computer Science</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>University of Liverpool</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Liverpool</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>UK adam@wyner.info</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Digital Enterprise Research Institute, National University of</institution>
          <country country="IE">Ireland</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2012</year>
      </pub-date>
      <volume>15</volume>
      <fpage>15</fpage>
      <lpage>16</lpage>
      <abstract>
        <p>Evaluative statements, where some entity has a qualitative attribute, appear widespread in blogs, political discussions, and consumer websites. Such expressions can occur in argumentative settings, where they are the conclusion of an argument. Whether the argument holds depends on the premises that express a user's point of view. Where different users disagree, arguments may arise. There are several ways to represent users, e.g. by values and other parameters. The paper proposes models and argumentation schemes for evaluative expressions, where the arguments and attacks between arguments are relative to a user's model.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>People argue, making statements, providing justifications, and criticising the statements
or inferences of others. Arguments appear in a great range of contexts - blogs, political
discussions, and consumer websites, among others. Some statements in the arguments
have an objective meaning, in the sense that there is or can be high agreement between
individuals, e.g. bearing on the time of day, someone’s height, or the number of
people in a car; other statements are more subjective in that their meaning is grounded in
individual judgement. For example, a statement such as The hotel is in an excellent
location said by a travel agent to a client, giving several statements as justification. One
client may agree that the location is excellent, depending on his point of view,
knowledge, or values; the client accepts the travel agent’s argument. Yet, another user may
disagree from her point of view. In general, there can be arguments about the evaluative
expression relative to a user model. The paper presents a proposal for treating such
userrelative evaluative arguments. The key point is to show how we can explain arguments
over evaluative expressions using instantiated argumentation schemes relative to a user
and a domain model.</p>
      <p>Let us consider a use case and example to clarify the point. Suppose a travel agent
and two individuals, Jill and Bill, who are consulting the travel agent. Bill goes to the
agent, says he is going to a conference in Valencia, gives the address of the venue, and
asks the agent to find accommodations. The travel agent consults the accommodation
database, finds Hotel Valencina and says Hotel Valencina is in an excellent location.
Bill, being an active consumer, inquires Why? in order to find out what justification
there is for making the statement, to which the agent replies The hotel is a mile from
the conference venue and The hotel is in the old part of the city, where the conference
center is a relevant location to the interlocutor. In effect, the agent has presented an
argument to Bill that justifies the evaluative expression: Where the hotel is a mile from
the (relevant) conference venue, and the hotel is in the old part of the city, so therefore,
the hotel is in an excellent location. If Bill accepts the premises, he may accept the
conclusion as well, so book the hotel. In contrast, Jill consults the same agent and is
presented with the same argument, but does not accept the conclusion of the argument,
so asks for something else. There may be a range of aspects that Jill disagrees with.
She may claim: that the hotel is not, as the agent claims, a mile from the venue, but is
several miles; or that while it is in the old city, it is in the bad part; or that The hotel is
located near a noisy, busy road; or that she agrees that the Valencia Hotel is one mile
from the conference venue and is in the old part of the city, yet disagrees that it is in an
excellent location since those justifications are not sufficient for her to agree that it is in
an excellent location. For Jill, an excellent location is quiet, less than a mile from the
venue, includes parking facilities, and is convenient to good restaurants and shops.</p>
      <p>
        This use case and example highlights several aspects that could be addressed. There
can be dialogue between the agent and client of different sorts, e.g. information seeking
or persuasive [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]; the agents Jill and Bill might seek to agree on which hotel to book,
so engage in dialogue between them. For the purposes of this paper, we abstract from
dialogical or consensual aspects to focus on the static meaning of the statements and
argument with respect to a singular user, which underpins the dialogical or consensual
uses. Dynamic, dialogical aspects are, for our purposes, a side effect of linguistic
linearity. In the example above, the travel agent claims that Hotel Valencina is in an excellent
location for the client given what the travel agent knows or presumes about the client.
Where differences arise, the client claims that the travel agent has incorrect knowledge
of the client. The client’s statements correct the travel agent’s knowledge, which revises
the travel agent’s offering to the client.
      </p>
      <p>
        To account for user-relative arguments for evaluative statements, we develop several
subcomponents. First, we have a proposal about the various aspects of a domain that
are relevant in the construction of the arguments, in effect, the knowledge base of the
domain. To keep the discussion grounded, we discuss the travel agent setting. Second,
we identify the sorts of arguments that can be made in this domain, and in particular, the
relationships between premises and conclusions since there appear to be patterns, e.g.
argumentation schemes [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], of reasoning. Such arguments signal that evaluative
statements are intermediate concepts; the justifying premises may be base level concepts,
which are found in the knowledge base rather than given by rule, or themselves further
justified by rule [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. To identify attacks, we must state incompatibilities in the
knowledge base. In addition, we must define user models with respect to the knowledge base.
In brief, the argument between the travel agent and a client is about any differences
between the travel agent’s representation of the knowledge base of the client and the
client’s knowledge base about herself; the arguments then just reflect the difference.
      </p>
      <p>The novelty of the paper is in the development of user-relative arguments to justify
evaluative statements. The rest of the paper develops these points. Section 2 elaborates
on the use case, identifies elements to focus on in the user models, specifies the
argumentation schemes, and provides sample user models. Section 3 introduces the
Logicbased argumentation style approach, which has arguments constructed from knowledge
bases. With respect to this, we develop user models as knowledge bases from which
user-relative arguments can be produced. In Section 4 we review related work and we
close out the paper with future work in Section 5.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Use Case, Domain Model, Argumentation Schemes, and User</title>
    </sec>
    <sec id="sec-3">
      <title>Models</title>
      <p>In this section, we develop the use case, the terms for a domain model, the
argumentation schemes, and informal user models. In each subsection, we provide a sample of the
relevant information and the relationships between them.
2.1</p>
      <sec id="sec-3-1">
        <title>Use Case</title>
        <p>We assume a travel agent and two different clients, Jill and Bill. The clients are going to
a conference in a city, where the conference venue has a fixed location. The conference
offers a discount on a selected range of hotels, and the clients select only from amongst
these hotels. The hotels provide information about their rating, cost, amenities, location,
and whatever other aspects they deem relevant such as values along the lines of family
friendly. This information is represented in the knowledge base. In addition to the
information given by the hotels, the travel agent may have auxiliary information about the
hotels based on first hand experience or reports from other clients such as staff conduct,
cleanliness, noise, and others. The clients have access to the hotel’s information and
auxiliary information such as derived from travel websites. Importantly, clients specify
their preferences with respect to this information, for example, preferring locations at
certain distances, parts of city in which the hotel is found, amenities, and so on. For
each of the clients, the information may be partial, though for the purposes of our study
here, we may presume the information to be total.
2.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Domain Model - Hotel Features and Evaluation</title>
        <p>We provide a sample selection of the various elements that can be used to represent
the hotel and the claims about it; there may be alternative representations of the hotel
features, and we make no pretense that these are sufficient features correctly organised,
though they seem plausible.</p>
        <p>Hotel Features
– Local Venues: conference centre, harbour, museum, ....
– Distance: 100 meters, 1000 meters, 2000 meters, 5000 meters, ....
– Cost: 50 euros, 90 euros, 150 euros, ....
– Affiliation: hotel chain, independent, ....
– Rating: 5 star, 4 star, 3 star, ....
– Availability of rooms: many available, few available, none availabile, ....
– Amenities: fitness center, pool, sauna, bar, meeting rooms, laundry service,
nonsmoking, smoking, free wireless in-room internet access, inclusive of breakfast,
free garage parking, bicycle rental, ....
– Condition of hotel: new, character, antique, well-maintained, ramshackle, ....
– Location in city: old city centre, near beach, new city area, ....
– Values: family friendly, business-oriented, traveler-oriented, ....
– Room type and facilities: noise, air conditioning, internet in room, TV, cable, desk,
phone
– Hotel Provisions: lobby, social spaces, bulletin message boards, concierge, tourist
information, ...
– Auxiliary information: friendly staff, professional staff, not clean, very clean,
quality breakfast, simple breakfast, ....</p>
        <p>Each of these can be expressed propositionally such as in Distance from relevant
venue is 100 meters. Propositional negation indicates explicit semantic contrast as in
There is free wireless in-room internet access versus There is no free wireless in-room
internet access (or alternatively Wireless in-room internet access costs 5 euros per 24
hours). Different scalar values such as cost and rating are presumed to be
incompatible. Locations are also assumed to be incompatible (e.g. the city centre is not near the
beach).</p>
        <p>Besides what we may take as base level concepts, we have higher level concepts that
are defined in terms of the base level concepts. We distinguish the evaluative adjective
and the nominal term:</p>
      </sec>
      <sec id="sec-3-3">
        <title>Evaluative Expressions</title>
        <p>– Evaluative adjective: excellent, adequate, poor, ....
– Nominal term: location, quality, value-for-money, ....</p>
        <p>To create schemes below, we want expressions of hotel features with variables that
can be grounded. A, ..., Z are variables over the relevant domain (e.g. C ranges over hotel
affiliations).3 These are given for both Hotel Features and Evaluative Expressions.</p>
        <p>Hotel Feature Statements with Variables
– The distance from venue A is B.
– The affiliation of the hotel is C.
– The rating of the hotel is D.
– The hotel has E rooms available.
– The hotel has amenity Fi.
– The condition of the hotel is G.
– The location of the hotel is H.
– The hotel upholds a I value.
– The hotel has Ji, known from independent information.</p>
        <p>The conclusions of arguments with evaluative expressions have a schematic form:</p>
      </sec>
      <sec id="sec-3-4">
        <title>Evaluative Statements with Variables</title>
        <p>– The hotel is K L, where K is an evaluative adjective and L a nominal term.4
3 Where we have one more than one instantiation of a variable, e.g. F and J, we indicate this
with a separate proposition and a different value of a variable.
4 We assume some syntactic simplification to overlook differences such as the prepositions and
determiners in The hotel is in an excellent location and The hotel is poor value for money.</p>
        <p>The objective is, then, to tie the hotel features to the evaluation such that the features
are used to justify the evaluation. This then needs to be associated with different clients,
representing different points of view.
2.3</p>
      </sec>
      <sec id="sec-3-5">
        <title>Argumentation Schemes</title>
        <p>
          To argue about the evaluative statements relative to statements of the domain model,
we introduce Argumentation Schemes, which are stereotypical patterns of defeasible
reasoning [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. While a range of patterns are catalogued, there is no definition of the
necessary and sufficient conditions for them, and specialised schemes can be constructed
to suit arguments in a domain [
          <xref ref-type="bibr" rid="ref4 ref5">4,5</xref>
          ]. On the other hand, some more general specification
can be given [?]. For the purpose of this paper, we have used a very simple presentation
of argumentation schemes, representing them as premises and a rule from which a
presumptive conclusion follows, leaving aside different classes of premises and exceptions;
in this respect, argumentation schemes are like the inference rules of Propositional or
Predicate Logic, though with presumptive conclusions. Though schemes are
underdetermined, some of the relevant aspects of schemes can be identified, and not just any
premise can serve to argue for any conclusion. We give two schemes, one for location
and another for quality. Clearly, where one is arguing about location, then only premises
that might bear on location ought to appear, and similarly for quality; in other words,
premises about cost do not seem relevant to arguments about location, and premises
about the number of rooms available do not seem relevant to arguments about quality.
Moreover, the schemes are given abstractly, for the crucial issue is just how to instantiate
the variables in such a way as to give different and (perhaps) incompatible justifications
for evaluative expressions. We have given the rule in a generic form since the pattern
holds for all schemes - the premises of the scheme imply the conclusion of the scheme.
As with any argumentation scheme, arguments can be attacked on their premises, rule,
or conclusion by a proposition that is the negation of the proposition in the scheme. For
clarity, we have made relevant premises explicit. It is possible that some of the premises
could be left implicit or that there are premises implicit in the schemes that ought to be
made explicit. Enthymemes in argumentation is a significant research area that we do
not explore further [
          <xref ref-type="bibr" rid="ref6 ref7">6,7</xref>
          ].
        </p>
      </sec>
      <sec id="sec-3-6">
        <title>Evaluation of Location Argumentation Scheme (EL)</title>
        <p>– Premise: The distance from venue A is B.
– Premise: The location of the hotel is H.
– Premise: The hotel has Ji, known from independent information.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is K location.</p>
        <p>Evaluation of Quality Argumentation Scheme (EQ)
– Premise: The rating of the hotel is D.
– Premise: The hotel has amenity Fi.
– Premise: The condition of the hotel is G.
– Premise: The hotel upholds a I value.
– Premise: The hotel has Ji, known from independent information.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is M quality.</p>
        <p>The issue then reduces to the problem: given values for variables in the premises,
what value for the variable in the conclusion holds? As underdetermined schemes, there
may not be precise boundaries around the values. In addition, the premises themselves
may need further argumentative support. Yet, there are reasonable parameters: for
example, if a hotel is 100 miles from the relevant venue, located in a deserted industrial
zone, and inaccessible to transportation, it is unlikely that such a hotel would be judged
in an excellent location; similarly, if all the premises of the quality scheme are highly
negative (one star, no amenities, poor condition, and upholds neo-Nazi values), it is
improbable that one would infer that hotel is of adequate quality (unless one were a
neoNazi, which illustrates the point of our paper, namely that justifications for evaluative
expressions depend on the user). As these are defeasible argumentation, the operative
words are unlikely and improbable as there may be individuals for whom the inference
follows. On the other hand, there may be alternative ways to argue for a particular
conclusion: a hotel may be deemed in an excellent location if it is within a kilometer of the
designated venue and either in the old city centre or near the beach. This shows that the
determinative premise is just the distance from the venue and that the location in the
city is not relevant.
2.4</p>
      </sec>
      <sec id="sec-3-7">
        <title>User Models</title>
        <p>With respect to the hotel features, we can describe user models. For our purposes, a user
model, what we call the hotel user model, is a representation of the desireable attributes
for the hotel for a user. Alternatively, a user model might be a representation of the
attributes of the user per se, which we call the person user model. We first discuss the
latter, then return to the former.</p>
        <p>For the person user models, we can identify classes of individuals by their properties
that contribute not only to substance of the user’s preferences, but as well to how they
react to the agent’s suggestions.</p>
        <p>– User’s parameters: Age, gender, nationality, income, education, previous travel
experience, and so on.
– User’s context of use: Dates, purpose of trip, and so on.</p>
        <p>– User’s constraints: Cost, size, richness or flexibility of features, and so on.
From the properties above, we could from classes of users such as business traveller,
budget traveller, tourist, luxury vacationer. These classes describe certain types of likely
needs and preferences. For instance, a business traveller may insist on high speed
wireless and a desk, while a budget traveller may forego these and other amenities in order
to cut costs. In either case, the person user models correspond to classes of individuals
similarly described, though here we do not discuss this point further.</p>
        <p>The hotel user model may correlate with the person user model in the sense that
the attributes of one imply a classification as the other, meaning that an individual who
is male, from the USA, with a six-digit income, and advanced degrees might correlate
with a hotel user model in which the hotel costs 150 euros per night, is 5 star, and has all
the amenities, whereas an individual who is male, from England, with a low five-digit
income, and no advanced education might correlate with a hotel user model in which
the hotel costs 50 euros, is far from the relevant venue, and has a low rating. Such
correlations, though they may exist, are not central to our discussion since we consider
arguments about the hotel given the user’s desired features.</p>
        <p>
          The objective of creating a hotel user model is not just to indicate what the user
wants, but how the attributes are used to argue for an evaluation with respect to
hotels, that is, to argue for whether a hotel is, in the view of the user, excellent, adequate,
or poor in some respect or another. There are alternative ways to create the hotel user
models. For example, we could construct an ontology where hotel features and
evaluations are associated with classes and subclasses of individuals, these being the sorts of
features a class of individuals use to reason towards an evaluation about a hotel. A more
complex and potentially interesting approach is to use aspects of case-based reasoning,
for individuals may reason for and against a particular conclusion by counterbalancing
various features one against the other as one would in a legal case [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. A user may have
alternative ways to draw the same evaluation. Nor do we consider dynamic user models,
where the values of attributes might change over time in response to new information.
All such approaches we leave for future work since they are derived from the approach
in this paper - how instantiated argumentation schemes relative to a user and a domain
model represent arguments over evaluative expressions.
        </p>
        <p>A user is represented as the set of grounded propositions for the premises, rule,
and presumptive conclusion of the argumentation schemes for Evaluation of Location
and Quality. After all, we are only representing the knowledge base of the users from
which the argumentation schemes are constructed. To emphasise our essential point, we
suppose that the users have but one way to instantiate the propositions.</p>
      </sec>
      <sec id="sec-3-8">
        <title>Model of Bill, Instantiating EL</title>
        <p>– Premise: The distance from venue conference centre is 2000 meters.
– Premise: The location of the hotel is old city centre.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is in an excellent location.</p>
        <p>Model of Bill, Instantiating EQ
– Premise: The rating of the hotel is 3 star.
– Premise: The hotel has amenity wireless in-room internet access costs 5 euros per
24 hours.
– Premise: The condition of the hotel is ramshackle.
– Premise: The hotel upholds a traveler-oriented value.
– Premise: The hotel has friendly staff.
– Premise: The hotel has some quiet rooms.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is of adequate quality.</p>
      </sec>
      <sec id="sec-3-9">
        <title>Model of Jill, Instantiating EL</title>
        <p>– Premise: The distance from venue conference centre is 500 meters.
– Premise: The location of the hotel is new city area.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is in an excellent location.</p>
        <p>Model of Jill, Instantiating EQ
– Premise: The rating of the hotel is 4 star.
– Premise: The hotel has amenity free wireless in-room internet access.
– Premise: The condition of the hotel is well-maintained.
– Premise: The hotel upholds a business-oriented value.
– Premise: The hotel has professional staff.
– Premise: The hotel has only quiet rooms.
– Rule: If Premises, then Presumptive conclusion.
– Presumptive conclusion: Therefore, the hotel is of adequate quality.</p>
        <p>We see here that though the conclusions are the same in each of the models, but the
specific propositions that are used to justify them are not just different, but incompatible.</p>
        <p>Returning to our use case involving a travel agent. Suppose that the travel agent
is discussing a hotel reservation with Jill as the client, but makes statements based
on a hotel user model such as represented for Bill. The travel agent asserts about a
particular hotel: The hotel is in an excellent location. Jill asks for a justification, which
again is given relative to the hotel user model such as for Bill: The distance from the
venue conference centre is 2000 meters and The location of the hotel is old city centre.
However, such justifications are not compatible with the hotel user model for Jill, which
requires that for a hotel to be in an excellent location, it must be closer to the conference
venue and in the new city area. In other words, the proposed hotel is not, relative to Jill’s
hotel user model, in an excellent location. Similarly, the adequacy of the hotels differ.</p>
        <p>Of course, a quality travel agent would either know (from prior experience with the
client) what criteria the particular client has and her evaluative conclusion or (having
no prior experience) ask a series of investigative questions to determine them. Yet, in
the absence of complete knowledge of the hotel user or the requisite components of
reasoning to the conclusion, differences in evaluation may arise, leading to the sorts of
differences we see above.
3</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Towards a Formalisation</title>
      <p>
        In this section, we provide a formalisation of the observations above using the
logicbased approach of [
        <xref ref-type="bibr" rid="ref8 ref9">8,9</xref>
        ], which represents arguments in terms of classical logic. For our
purposes, this provides a relatively straightforward way to represent users in terms of
knowledge bases and arguments in terms of those knowledge bases (for alternatives see
([
        <xref ref-type="bibr" rid="ref10 ref11 ref12 ref13 ref14 ref15">10,11,12,13,14,15</xref>
        ]). While we could discuss other approaches to instantiating
arguments and relationships which use defeasible rules (e.g. [
        <xref ref-type="bibr" rid="ref14 ref16">14,16</xref>
        ]), we keep to a
logicbased approach for several reasons: it is founded in a well-known and widely used
logic (classical propositional logic), it has an extension to First-order Logic, and issues
about generating and structuring arguments in relations are well-developed (e.g.
minimal arguments, redundancy, and argument tree pruning among others). However, as we
are primarily interested to explore an implemented example, we do not examine these
issues further.
      </p>
      <p>The main idea is that we can create user indexed knowledge bases from which
arguments are created. A user may dispute an argument that is created with propositions
that are inconsistent with her knowledge base. The user isn’t rejecting the argument per
se as altogether wrong for all individuals, but rejecting the argument as one that she in
particular agrees with. Let’s call this first person defense since at some point we bottom
out the analysis in self-attributed knowledge, which we need not ascribe any intrisic
truth to. Moreover, we can argument about whether or not something holds relative to
the user model. In the following, we first briefly introduce logic-based argumentation,
then the user indexed appoach.</p>
      <p>In a logic-based approach, statements are expressed as atoms (lower case roman
letters), while formulae (greek letters) are constructed using the logical connectives of
conjunction, disjunction, negation, and implication. The classical consequence relation
is denoted by `. Given a knowledge base comprised of formulae and a formula
, ` denotes that entails . can be inconsistent and comprised of a range
of declarative statements. We assume a set of formulae from which arguments are
constructed. Where ? denotes inconsistency, ` ? denotes that is inconsistent. An
argument is an ordered pair &lt; ; &gt;, where , is a minimal set of formulae
such that ` , and 6` ?. is said to support the claim . For example, where p and
q are atoms, and where the KB is comprised of p and p ! q, then &lt; fp; p ! qg; q &gt; is
an argument, where p; p ! q is the support for the claim q.</p>
      <p>The knowledge base may be inconsistent, which here arises where contains
contradictory propositions (and not necessarily just constraints). With contradictory
propositions, we can construct arguments in relations, where the propositional claim
of an argument is contradictory to the propositional claim of another argument or is
contradictory to some proposition in the support of another argument. These are attack
relations between arguments &lt; ; &gt; and &lt; ; &gt; such as undercutter and rebuttal;
attacking arguments are referred to as counterarguments. &lt; ; &gt; is an undercutter
for &lt; ; &gt; where is :( 1 ^ : : : ^ n) and f 1 : : : ng ; in essence, the claim of
one argument is the negation of a set of formulae in the support of another argument.5
&lt; ; &gt; is a rebuttal for &lt; ; &gt; if and only if $ : is a tautology; the claims
of the arguments are inconsistent. For example, supposing the knowledge base: p, p !
:q, r, r ! :p, :p ! q. From this knowledge base, we can construct an argument to
support the claim :q: &lt; fp; p ! :qg; :q &gt;. With respect to this argument, we have
an undercutter &lt; fr; r ! :pg; :p &gt; and a rebuttal &lt; fr; r ! :p; :p ! qg; q &gt;.</p>
      <p>
        Given a large and complex knowledge base, arguments will have structural
relationships such as subsumption of supports, where one support is a subset of another
support, and implication between claims, where one claim entails another. Moreover,
there may be more than one argument which undercuts or rebuts another argument. [
        <xref ref-type="bibr" rid="ref8 ref9">8,9</xref>
        ]
define and discuss a range of these relationships among arguments; however, additional
definitions are not directly relevant to our key points in this paper. For our purposes,
given a knowledge base, we can generate not only the arguments, but also the
counterarguments, the counterarguments to these arguments (counter-counterarguments), and
so on recursively; such a structure is an argument tree, a graph where arguments are
5 There is an additional notion of canonical undercut, where the atoms are ordered; it is useful
for efficiency. For the presentation here, we presume it.
nodes and attack relations are (undifferentiated) arcs. From a given knowledge base, [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]
generate all possible arguments and counterarguments.
      </p>
      <p>Our proposal to make a logic-based approach relativised to users is rather
straightforward. We use the propositional expression of the logic-based approach to keep the
focus to the topic at hand. First, we assume hotel features and evaluative statements
with variables are grounded relative to the domain model, yielding saturated
propositions. Second, the propositions are the language of knowledge base , which may be
inconsistent. Third, the argumentation schemes EL and EQ are arguments in the
logicbased approach. The key issue is the representation of the hotel user model. For our
purposes, we assume that users are constructed as knowledge bases relative to and
indexed to the agent, e.g. Bill and Jill , where Bill \ Jill 6= ;, and</p>
      <p>Bill 6= Jill. For our purposes, we might assume that each of Bill and Jill are
separately consistent. So, the knowledge bases that represent Bill and Jill contain some
related information, but differences as well, where the differences represent
inconsistent information. We presume that from each of the respective knowledge bases, the
EL and EQ argumentation schemes can be formed. Thus, the argumentation schemes
for each agent represent that agent’s justification of the conclusion of EL or EQ, yet
they have different and mutually inconsistent justifications. This allows us to
incorporate a representation of user relativised justification into a formalisation of instantiated
argumentation schemes.
4</p>
    </sec>
    <sec id="sec-5">
      <title>Related Work and Discussion</title>
      <p>Previous work falls into three broad areas: opinion-based approaches, user models, and
value expressions. We focus particularly on how the argumentation community has
intersected with these areas.
4.1</p>
      <sec id="sec-5-1">
        <title>Opinion-based Approaches</title>
        <p>
          Previous work has addressed evaluative expressions mainly from an opinion-based
perspective, without considering argumentative aspects such as arguments and
counterarguments. In particular, for [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ], the sentiment of a statement (positive or negative) along
with its strength and semantic orientation makes it evaluative; no indication of support
or attacks (realised or possible) is needed in their view. Rather, they claim that
evaluations can be recognized as argumentative based on certain discourse relations, namely
that the Justification, Contrast, Concession, relations from Rhetorical Structure
Theory (RST) relations [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ] are argumentative, while Elaboration is argumentative when
it is via either Precision, Comparison, or Contrast [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ]. This characterisation of
evaluative expressions is incomplete (not least because the particular RST relations are not
evident: for instance an earlier analysis by Azar [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] relies on persuasive elements to
describe argumentative elements, and contends that five RST relations–Evidence,
Justify, Motivation, Antithesis and Concession–are argumentative relations, since they are
used to persuade the reader).
        </p>
        <p>
          RST relations need not serve an argumentative purpose so cannot be taken
intrinsically as indicators of argument. Nor, as [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] suggest, is it sufficient to have an evaluative
expression with some RST relation. Where the RST relations function as justification
in the face of conflicting information, then they can be part of an argument. RST
relations such as enumeration are ambiguous and do not intrinsically serve as justification.
A recipe can enumerate ingredients without the listed ingredients being premises of a
justification. However, when one has a statement that one wants to justify, e.g. that the
recipe is suitable for vegetarians, then one might enumerate the ingredients by way
justifying this statement. This also requires that there is information about how a recipe
would not be suitable for vegetarians. The RST relation only has an argumentative
function when used for justification. The purpose of the statement is key. Here, enumeration
can be used as one style of justification, and there are others. In our view, the
argumentative force and nature of a statement is derived not from mere sentiment, but rather
from the supports and attacks.
        </p>
        <p>
          The field of opinion mining also offers some approaches to detecting stance and
persuasive speech. These could be useful to could help develop and flesh out the user
model. ‘Stance detection’ identifies the ‘holistic subjective disposition’ that ‘speaker
holds towards a particular political, social or technical topic’, ‘beyond the word or
sentence’, for instance to identify rebuttals in online debates [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ]. Starting from online
debates, [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ] has identified expressions (such as ‘insist’) that indicate disagreement,
and classified opposing sides in a debate. The purpose is similar to work detecting
disagreement with natural language processing [
          <xref ref-type="bibr" rid="ref22 ref23 ref24 ref25">22,23,24,25</xref>
          ].
        </p>
        <p>
          Further, persuasive speech assumes disagreement, since we only seek to convince
people who (we believe) hold different positions or points of view. Extracting and
detecting persuasive speech could be helpful in identifying the dimensions of user values.
Computational detection of persuasion is a new area, which uses machine learning,
based on annotated corpora drawn from blogs [
          <xref ref-type="bibr" rid="ref26">26</xref>
          ] and police negotiation transcripts
[
          <xref ref-type="bibr" rid="ref27">27</xref>
          ].
        </p>
        <p>
          By making the argumentation schemes underlying evaluative expressions more
explicit, we move towards clarifying how opinions can be resolved into and understood
as argumentation. Evaluative arguments have been generated in previous work, which
used multiattribute value functions to tailor arguments to a user’s values and preferences
[
          <xref ref-type="bibr" rid="ref28">28</xref>
          ]. However, this work did not use argumentation schemes or patterns of
argumentation.
4.2
        </p>
      </sec>
      <sec id="sec-5-2">
        <title>User Models</title>
        <p>
          User modeling began with the study of stereotypes and of speech acts [
          <xref ref-type="bibr" rid="ref29">29</xref>
          ], and now
has a wide range of applications. Human Computer Interaction researchers have created
adaptive systems based on user and task modeling [
          <xref ref-type="bibr" rid="ref30">30</xref>
          ]. Personalising e-commerce has
received substantial attention [
          <xref ref-type="bibr" rid="ref31">31</xref>
          ].
        </p>
        <p>
          Many natural language generation systems have incorporated user models, which
may focus variously on the user’s expertise, interests, or preferences, depending on the
purpose or kind of output planned [
          <xref ref-type="bibr" rid="ref32">32</xref>
          ]. Human-written messages may also be combined
by machine; for instance, [
          <xref ref-type="bibr" rid="ref33">33</xref>
          ] uses argumentation and a discourse ontology to select
and combine persuasive messages, in order to tailor them to a target audience and user’s
current situation. And in recommender systems, case-based reasoning has been used to
incorporate critique-based feedback and preference-based feedback [
          <xref ref-type="bibr" rid="ref34">34</xref>
          ].
        </p>
        <p>
          Medical applications are common, and detailed user models have been developed
in this domain, in order to support persuasion and transparency [
          <xref ref-type="bibr" rid="ref35">35</xref>
          ]. Psychological and
affective profiling can be particularly relevant, to model emotional responses to being
diagnosed with a genetic disorder [
          <xref ref-type="bibr" rid="ref36">36</xref>
          ] or to persuade users to change their diet by
modeling user beliefs based on behavioural change models [
          <xref ref-type="bibr" rid="ref37">37</xref>
          ].
In abstract argumentation, values and preferences are used in two distinct ways. In
one approach, values or preferences are used in the evaluation of argumentation
frameworks, in particular, the calculation of the success of attacks [
          <xref ref-type="bibr" rid="ref38 ref39">38,39</xref>
          ]. This approach is
not directly related to our proposal since we do not consider the evaluation of abstract
arguments. More closely related are values which appear as terms in instantiations of
the Practical Reasoning argumentation scheme [
          <xref ref-type="bibr" rid="ref40">40</xref>
          ]. While the values we have
discussed are different, we have also used them as terms in an argumentation scheme.
        </p>
        <p>
          One way to look at the issues raied in this paper is in terms of multiple criteria
decision problems, which have been formalised in argumentation frameworks [
          <xref ref-type="bibr" rid="ref41 ref42">41,42</xref>
          ].
In such approaches, there is meta-level argumentation applied to object level arguments.
They address issues bearing on the selection of arguments given various parameters, e.g.
whether one wants to offer in a dialogue one argument or another, depending on how
aggressive one wants to argue. Thus, they offer a richer means to evaluate arguments.
Relevant to our proposal, it is not yet clear precisely where to distinguish the meta from
the object level of argument; we have incorporated as at the object level what other
proposals might construe as meta level, or vice versa. Furthermore, in this paper, we
are more concerned with variant ways to arrive at a decision rather than how to select
which argument. Such points must be left for future research.
5
        </p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Conclusion and Future Work</title>
      <p>The novelty of the paper is in the clarification and development of user-relative
arguments to justify evaluative statements. Different users can justify the same evaluation in
different ways, allowing for arguments about evaluations to arise. We have tied domain
features (in this case about a hotel) to the user’s evaluation with respect to an
argumentation scheme such that the user justifies the evaluation based on the features. For two
different users, although the conclusions are the same in each of the models, how the
conclusion is justified can be not just different but incompatible. We have also related
the models and instantiated schemes to a formalisation of argumentation where subsets
of an inconsistent knowledge base represent each user’s knowledge and argumentation
schemes are created relative to the user’s knowledge base. A user model is represented
as the set of grounded propositions for the premises, rules, and presumptive conclusion
of the argumentation schemes. As two users can have incompatible knowledge bases,
there can be different and incompatible ways to argue for the same conclusion.</p>
      <p>
        Future work in this area could further develop the formal analysis of the users and
their reasoning with case-based reasoning or ontologies. Ontologies for specifying
domain terminology are essential as users can use different wordings to refer to the same
values or properties being evaluated; ontologies or taxonomies could also be used to
specify user models. The key topics are outlined in this static model, but dynamic user
models could be developed to update the knowledge base. Alternate approaches to user
models could be taken, for instance, to indicate the hierarchy of acceptable values for
ranges: for instance if paying 5 euros per 24 hours for Internet access is acceptable,
paying any lesser amount would also be available. This work could serve applications
in argumentation mining as we have identified specific textual information that ought to
be sought to extract arguments. More importantly, to serve an argumentative purpose,
some contrasting information must be sought in the textual materials. On this point,
our proposal makes an important contribution to the existing literature, and we look
forward to extending our analysis to a range of rhetorical relations to specify just how
and under what circumstances the relations appear in an argumentative context. We
would also seek to integrate our proposal with Practical Reasoning or other
argumentation schemes, for instance, arguing for premises with auxiliary schemes. We could also
apply techniques from the adaptive or personalisation of web-services in health
services. Similarly, our approach could be useful web-based contract negotiation, where
automated agents are authorised to negotiate on behalf of human agents [
        <xref ref-type="bibr" rid="ref43">43</xref>
        ]. Our
userrelative argumentation schemes could also be used in conjunction with AIF, to take user
models into account.
6
      </p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgments</title>
      <p>The first author was supported by the FP7-ICT-2009-4 Programme, IMPACT Project,
Grant Agreement Number 247228. The second author was support by the Science
Foundation Ireland, Grant No. SFI/09/CE/11380 (Lfon2). The views expressed are those of
the authors.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Walton</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Atkinson</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bench-Capon</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wyner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cartwright</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Argumentation in the framework of deliberation dialogue</article-title>
          . In Bjola,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Kornprobst</surname>
          </string-name>
          , M., eds.: Arguing Global Governance: Agency, Lifeworld and
          <string-name>
            <given-names>Shared</given-names>
            <surname>Reasoning</surname>
          </string-name>
          .
          <source>Routledge</source>
          (
          <year>2010</year>
          )
          <fpage>210</fpage>
          -
          <lpage>230</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Walton</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reed</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Macagno</surname>
            ,
            <given-names>F.: Argumentation</given-names>
          </string-name>
          <string-name>
            <surname>Schemes</surname>
          </string-name>
          . Cambridge University Press (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Wyner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>An ontology in OWL for legal case-based reasoning</article-title>
          .
          <source>Artificial Intelligence and Law</source>
          <volume>16</volume>
          (
          <issue>4</issue>
          ) (
          <year>2008</year>
          )
          <fpage>361</fpage>
          -
          <lpage>387</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Wyner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bench-Capon</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Atkinson</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>Formalising argumentation about legal cases</article-title>
          .
          <source>In: Proceedings of the Thirteenth International Conference on Artificial Intelligence and Law (ICAIL</source>
          <year>2011</year>
          ), Pittsburgh, PA, USA (
          <year>2011</year>
          )
          <fpage>1</fpage>
          -
          <lpage>10</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Lloyd-Kelly</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wyner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Arguing about emotions</article-title>
          . In Ardissono, L.,
          <string-name>
            <surname>Kuflik</surname>
          </string-name>
          , T., eds.
          <source>: Proceedings of User Models for Motivational Systems 2 (UMMS</source>
          <year>2011</year>
          ).
          <source>Number 7138 in Lecture Notes in Computer Science (LNCS)</source>
          , Berlin, Springer-Verlag (
          <year>2011</year>
          )
          <fpage>355</fpage>
          -
          <lpage>367</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Walton</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>The three bases for the enthymeme: A dialogical theory</article-title>
          .
          <source>Journal of Applied Logic</source>
          <volume>6</volume>
          (
          <issue>3</issue>
          ) (
          <year>2008</year>
          )
          <fpage>361</fpage>
          -
          <lpage>379</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Black</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hunter</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Using enthymemes in an inquiry dialogue system</article-title>
          .
          <source>In: Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08)</source>
          , ACM Press (
          <year>2008</year>
          )
          <fpage>437</fpage>
          -
          <lpage>444</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Besnard</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hunter</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Elements of Argumentation</article-title>
          . MIT Press (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Besnard</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hunter</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Argumentation based on classical logic</article-title>
          . In Rahwan, I.,
          <string-name>
            <surname>Simari</surname>
          </string-name>
          , G., eds.
          <source>: Argumentation in Artificial Intelligence</source>
          . Springer (
          <year>2009</year>
          )
          <fpage>133</fpage>
          -
          <lpage>152</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Prakken</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sartor</surname>
          </string-name>
          , G.:
          <article-title>Argument-based extended logic programming with defeasible priorities</article-title>
          .
          <source>Journal of Applied Non-Classical Logics</source>
          <volume>7</volume>
          (
          <issue>1</issue>
          ) (
          <year>1997</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11. Garc´ıa,
          <string-name>
            <given-names>A.J.</given-names>
            ,
            <surname>Simari</surname>
          </string-name>
          ,
          <string-name>
            <surname>G.R.:</surname>
          </string-name>
          <article-title>Defeasible logic programming: An argumentative approach</article-title>
          .
          <source>Theory and Practice of Logic Programming</source>
          <volume>4</volume>
          (
          <issue>1</issue>
          ) (
          <year>2004</year>
          )
          <fpage>95</fpage>
          -
          <lpage>137</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Governatori</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Maher</surname>
            ,
            <given-names>M.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Antoniu</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Billington</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Argumentation semantics for defeasible logic</article-title>
          .
          <source>Journal of Logic and Computation</source>
          <volume>14</volume>
          (
          <issue>5</issue>
          ) (
          <year>2004</year>
          )
          <fpage>675</fpage>
          -
          <lpage>702</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Amgoud</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Caminada</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cayrol</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lagasquie</surname>
            ,
            <given-names>M.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prakken</surname>
          </string-name>
          , H.:
          <article-title>Towards a consensual formal model: inference part</article-title>
          .
          <source>Technical report, ASPIC project</source>
          (
          <year>2004</year>
          )
          <article-title>Deliverable D2.2: Draft Formal Semantics for Inference and Decision-Making.</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Prakken</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          :
          <article-title>An abstract framework for argumentation with structured arguments</article-title>
          .
          <source>Argument and Computation</source>
          <volume>1</volume>
          (
          <issue>2</issue>
          ) (
          <year>2010</year>
          )
          <fpage>93</fpage>
          -
          <lpage>124</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Dung</surname>
            ,
            <given-names>P.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kowalski</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Toni</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Assumption-based argumentation</article-title>
          .
          <source>In: Argumentation in Artificial Intelligence</source>
          . Springer (
          <year>2009</year>
          )
          <fpage>199</fpage>
          -
          <lpage>218</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Gordon</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prakken</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walton</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>The Carneades model of argument and burden of proof</article-title>
          .
          <source>Artificial Intelligence</source>
          <volume>171</volume>
          (
          <year>2007</year>
          )
          <fpage>875</fpage>
          -
          <lpage>896</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Villalba</surname>
            ,
            <given-names>M.G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Saint-Dizier</surname>
            ,
            <given-names>P.:</given-names>
          </string-name>
          <article-title>Some facets of argument mining for opinion analysis</article-title>
          .
          <source>In: Proceeedings of the conference on Computational Models of Argumentation (COMMA</source>
          <year>2012</year>
          ).
          <article-title>(2012) To appear</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Mann</surname>
            ,
            <given-names>W.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Thompson</surname>
            ,
            <given-names>S.A.</given-names>
          </string-name>
          :
          <article-title>Rhetorical structure theory: Toward a functional theory of text organization</article-title>
          .
          <source>Text-Interdisciplinary Journal for the Study of Discourse</source>
          <volume>8</volume>
          (
          <issue>3</issue>
          ) (
          <year>1988</year>
          )
          <fpage>243</fpage>
          -
          <lpage>281</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Azar</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Argumentative text as rhetorical structure: An application of rhetorical structure theory</article-title>
          .
          <source>Argumentation</source>
          <volume>13</volume>
          (
          <issue>1</issue>
          ) (
          <year>1999</year>
          )
          <fpage>97</fpage>
          -
          <lpage>114</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Anand</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walker</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abbott</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tree</surname>
            ,
            <given-names>J.E.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bowmani</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Minor</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Cats rule and dogs drool!: Classifying stance in online debate</article-title>
          .
          <source>ACL HLT</source>
          <year>2011</year>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Somasundaran</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wiebe</surname>
          </string-name>
          , J.:
          <article-title>Recognizing stances in ideological on-line debates</article-title>
          .
          <source>In: Proceedings of the NAACL HLT</source>
          <year>2010</year>
          <article-title>Workshop on Computational Approaches to Analysis and Generation of Emotion in Text, Association for Computational Linguistics (</article-title>
          <year>2010</year>
          )
          <fpage>116</fpage>
          -
          <lpage>124</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Abbott</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walker</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Anand</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tree</surname>
            ,
            <given-names>J.E.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bowmani</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>King</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          :
          <article-title>How can you say such things?!?: Recognizing disagreement in informal political argument</article-title>
          .
          <source>ACL HLT</source>
          <year>2011</year>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <surname>Saint-Dizier</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Processing natural language arguments with the &lt;TextCoop&gt; platform</article-title>
          .
          <source>Argument &amp; Computation</source>
          <volume>3</volume>
          (
          <issue>1</issue>
          ) (
          <year>2012</year>
          )
          <fpage>49</fpage>
          -
          <lpage>82</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Walker</surname>
            ,
            <given-names>M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Anand</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Abbott</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tree</surname>
            ,
            <given-names>J.E.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Martell</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>King</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          :
          <article-title>That's your evidence?: Classifying stance in online political debate. Submitted to: Decision Support Sciences (</article-title>
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Wyner</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mochales-Palau</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Moens</surname>
            ,
            <given-names>M.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Milward</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Approaches to text mining arguments from legal cases</article-title>
          . In Francesconi, E.,
          <string-name>
            <surname>Montemagni</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Peters</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tiscornia</surname>
          </string-name>
          , D., eds.
          <source>: Semantic Processing of Legal Texts. Volume 6036 of Lecture Notes in Computer Science</source>
          . Springer (
          <year>2010</year>
          )
          <fpage>60</fpage>
          -
          <lpage>79</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          26.
          <string-name>
            <surname>Anand</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>King</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Boyd-Graber</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wagner</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Martell</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Oard</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Resnik</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          :
          <article-title>Believe me-we can do this! annotating persuasive acts in blog text</article-title>
          .
          <source>In: Workshops at the TwentyFifth AAAI Conference on Artificial Intelligence</source>
          . (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          27.
          <string-name>
            <surname>Young</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Martell</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Anand</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ortiz</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gilbert</surname>
            <given-names>IV</given-names>
          </string-name>
          , H.T.:
          <article-title>A microtext corpus for persuasion detection in dialog</article-title>
          .
          <source>In: Workshops at the Twenty-Fifth AAAI Conference on Artificial Intelligence</source>
          . (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref28">
        <mixed-citation>
          28.
          <string-name>
            <surname>Carenini</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Moore</surname>
            ,
            <given-names>J.D.:</given-names>
          </string-name>
          <article-title>An empirical study of the influence of user tailoring on evaluative argument effectiveness</article-title>
          .
          <source>In: Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2. IJCAI'01</source>
          , San Francisco, CA, USA, Morgan Kaufmann Publishers Inc. (
          <year>2001</year>
          )
          <fpage>1307</fpage>
          -
          <lpage>1312</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref29">
        <mixed-citation>
          29.
          <string-name>
            <surname>Kobsa</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Generic user modeling systems</article-title>
          . In Brusilovsky, P.,
          <string-name>
            <surname>Kobsa</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nejdl</surname>
          </string-name>
          , W., eds.:
          <source>The Adaptive Web. Volume 4321 of Lecture Notes in Computer Science</source>
          . Springer Berlin / Heidelberg (
          <year>2007</year>
          )
          <fpage>136</fpage>
          -
          <lpage>154</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref30">
        <mixed-citation>
          30.
          <string-name>
            <surname>Fischer</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          :
          <article-title>User modeling in humancomputer interaction</article-title>
          .
          <source>User Modeling and User-Adapted Interaction</source>
          <volume>11</volume>
          (
          <issue>1-2</issue>
          ) (
          <year>2001</year>
          )
          <fpage>65</fpage>
          -
          <lpage>86</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref31">
        <mixed-citation>
          31.
          <string-name>
            <surname>Kobsa</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Koenemann</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pohl</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          :
          <article-title>Personalized hypermedia presentation techniques for improving online customer relationships</article-title>
          .
          <source>The Knowledge Engineering Review</source>
          <volume>16</volume>
          (
          <year>2001</year>
          )
          <fpage>111</fpage>
          -
          <lpage>155</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref32">
        <mixed-citation>
          32.
          <string-name>
            <surname>Zukerman</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Litman</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Natural language processing and user modeling: Synergies and limitations</article-title>
          .
          <source>User Modeling and User-Adapted Interaction</source>
          <volume>11</volume>
          (
          <issue>1</issue>
          ) (
          <year>2001</year>
          )
          <fpage>129</fpage>
          -
          <lpage>158</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref33">
        <mixed-citation>
          33.
          <string-name>
            <surname>Erriquez</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grasso</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Generation of personalised advisory messages: an ontology based approach</article-title>
          .
          <source>In: Computer-Based Medical Systems</source>
          ,
          <year>2008</year>
          . CBMS'
          <volume>08</volume>
          . 21st IEEE International Symposium on,
          <source>IEEE</source>
          (
          <year>2008</year>
          )
          <fpage>437</fpage>
          -
          <lpage>442</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref34">
        <mixed-citation>
          34.
          <string-name>
            <surname>Smyth</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          :
          <article-title>Case-based recommendation</article-title>
          . In Brusilovsky, P.,
          <string-name>
            <surname>Kobsa</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nejdl</surname>
          </string-name>
          , W., eds.:
          <source>The Adaptive Web. Volume 4321 of Lecture Notes in Computer Science</source>
          . Springer Berlin / Heidelberg (
          <year>2007</year>
          )
          <fpage>342</fpage>
          -
          <lpage>376</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref35">
        <mixed-citation>
          35.
          <string-name>
            <surname>Cawsey</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grasso</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          , Paris, C.:
          <article-title>Adaptive information for consumers of healthcare</article-title>
          . In Brusilovsky, P.,
          <string-name>
            <surname>Kobsa</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nejdl</surname>
          </string-name>
          , W., eds.:
          <source>The Adaptive Web. Volume 4321 of Lecture Notes in Computer Science</source>
          . Springer Berlin / Heidelberg (
          <year>2007</year>
          )
          <fpage>465</fpage>
          -
          <lpage>484</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref36">
        <mixed-citation>
          36.
          <string-name>
            <surname>Green</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          :
          <article-title>Affective factors in generation of tailored genomic information</article-title>
          .
          <source>In: Working Notes of User Modeling 2005 Workshop on Adapting the Interaction Style to Affective Factors</source>
          . (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref37">
        <mixed-citation>
          37.
          <string-name>
            <surname>Grasso</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cawsey</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jones</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Dialectical argumentation to solve conflicts in advice giving: a case study in the promotion of healthy nutrition</article-title>
          .
          <source>International Journal of HumanComputer Studies</source>
          <volume>53</volume>
          (
          <issue>6</issue>
          ) (12
          <year>2000</year>
          )
          <fpage>1077</fpage>
          -
          <lpage>1115</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref38">
        <mixed-citation>
          38.
          <string-name>
            <surname>Amgoud</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cayrol</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          :
          <article-title>On the acceptability of arguments in preference-based argumentation</article-title>
          .
          <source>In: Proceedings of the 14th Annual Conference on Uncertainty in Artificial Intelligence (UAI-98)</source>
          , San Francisco, CA, Morgan Kaufmann (
          <year>1998</year>
          )
          <fpage>1</fpage>
          -
          <lpage>7</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref39">
        <mixed-citation>
          39.
          <string-name>
            <surname>Bench-Capon</surname>
            ,
            <given-names>T.J.M.:</given-names>
          </string-name>
          <article-title>Persuasion in practical argument using value-based argumentation frameworks</article-title>
          .
          <source>Journal of Logic and Computation</source>
          <volume>13</volume>
          (
          <issue>3</issue>
          ) (
          <year>2003</year>
          )
          <fpage>429</fpage>
          -
          <lpage>448</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref40">
        <mixed-citation>
          40.
          <string-name>
            <surname>Atkinson</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bench-Capon</surname>
            ,
            <given-names>T.J.M.</given-names>
          </string-name>
          :
          <article-title>Practical reasoning as presumptive argumentation using action based alternating transition systems</article-title>
          .
          <source>Artificial Intelligence</source>
          <volume>171</volume>
          (
          <fpage>10</fpage>
          -
          <lpage>15</lpage>
          ) (
          <year>2007</year>
          )
          <fpage>855</fpage>
          -
          <lpage>874</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref41">
        <mixed-citation>
          41. T. van der Weide, T.L.,
          <string-name>
            <surname>Dignum</surname>
            , F., Meyer,
            <given-names>J.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Prakken</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vreeswijk</surname>
          </string-name>
          , G.:
          <article-title>Multi-criteria argument selection in persuasion dialogues</article-title>
          .
          <source>In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3. AAMAS '11</source>
          ,
          <string-name>
            <surname>Richland</surname>
            ,
            <given-names>SC</given-names>
          </string-name>
          , International Foundation for Autonomous Agents and
          <string-name>
            <given-names>Multiagent</given-names>
            <surname>Systems</surname>
          </string-name>
          (
          <year>2011</year>
          )
          <fpage>921</fpage>
          -
          <lpage>928</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref42">
        <mixed-citation>
          42.
          <string-name>
            <surname>Amgoud</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vesic</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>On the use of argumentation for multiple criteria decision making</article-title>
          . In Greco, S.,
          <string-name>
            <surname>Bouchon-Meunier</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Coletti</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fedrizzi</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Matarazzo</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yager</surname>
            ,
            <given-names>R</given-names>
          </string-name>
          .R., eds.
          <source>: Advances in Computational Intelligence</source>
          . Volume
          <volume>300</volume>
          of Communications in Computer and Information Science. Springer Berlin Heidelberg (
          <year>2012</year>
          )
          <fpage>480</fpage>
          -
          <lpage>489</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref43">
        <mixed-citation>
          43.
          <string-name>
            <surname>Toni</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Argumentative agents</article-title>
          .
          <source>In: IMCSIT</source>
          . (
          <year>2010</year>
          )
          <fpage>223</fpage>
          -
          <lpage>229</lpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>