Conference PaperPDF Available

Dimensions of Argumentation in Social Media

Authors:

Abstract

Mining social media for opinions is important to governments and businesses. Current approaches focus on sentiment and opinion detection. Yet, people also justify their views, giving arguments. Understanding arguments in social media would yield richer knowledge about the views of individuals and collectives. Extracting arguments from social media is difficult. Messages appear to lack indicators for argument, document structure, or inter-document relationships. In social media, lexical variety, alternative spellings, multiple languages, and alternative punctuation are common. Social media also encompasses numerous genres. These aspects can confound the extraction of well-formed knowledge bases of argument. We chart out the various aspects in order to isolate them for further analysis and processing.
Dimensions of Argumentation in Social Media
Jodi Schneider1, Brian Davis1, and Adam Wyner2
1Digital Enterprise Research Institute, National University of Ireland, Galway,
firstname.lastname@deri.org
2Department of Computer Science, University of Liverpool
A.Z.Wyner@liverpool.ac.uk
Abstract. Mining social media for opinions is important to governments and
businesses. Current approaches focus on sentiment and opinion detection. Yet,
people also justify their views, giving arguments. Understanding arguments in
social media would yield richer knowledge about the views of individuals and
collectives. Extracting arguments from social media is difficult. Messages appear
to lack indicators for argument, document structure, or inter-document relation-
ships. In social media, lexical variety, alternative spellings, multiple languages,
and alternative punctuation are common. Social media also encompasses numer-
ous genres. These aspects can confound the extraction of well-formed knowledge
bases of argument. We chart out the various aspects in order to isolate them for
further analysis and processing.
1 Introduction
In social media, people continually express their opinions. These opinions are used to
help businesses understand their customers and for governments to understand citizen
needs and desires. 80% of data on the Web and on internal corporate intranets is un-
structured, hence analysing and structuring the data is a large and growing endeavour3.
In our view, an important way in which the data can be analysed and further structured
is in terms of argumentation. However, we first have to understand the dimensions of
expression of argument, which can then be isolated for further analysis and processing.
Besides driving the input to knowledge bases, argumentation can also be used for the
output of knowledge bases, providing justification and explanation.
Consistency in knowledge bases is essential since we cannot draw informative in-
ferences with inconsistent knowledge bases. In social media, it is obvious that there is
lots of disputed information concerning matters of fact (what is or is not true) and of
opinion (what individuals believe or prefer). To make use of the knowledge in social
media and reason with it, we must treat inconsistency. While a knowledge base may
be filtered or truncated based on heuristics, some inconsistencies may remain, whether
explicitly or implicitly. Alternatively, users may resolve inconsistencies based on lim-
ited weighting information such as provenance or a preference ranking. But to decide
which fact is correct or which opinion is most relevant to them, consumers need to go
beyond such rankings and to understand how statements are justified and the sources of
disagreement. For this, we believe argumentation theory is crucial.
3http://www.gartner.com/it/page.jsp?id=1454221
Current approaches to extracting and retrieving information from social media use
opinion summarisation (e.g. summing votes for or against), topic-based [8] and feature-
based text summarisation [7], and visualisation [4]. Such approaches discover trends,
relationships, and correlations in data. While they may record inconsistency, they do not
provide the means to articulate an elaborate structure of justification and disagreement.
While social media records arguments, current information extraction and knowl-
edge acquisition systems do not represent these arguments, hence people must assim-
ilate and use them unaided. One approach in the direction of representing argument is
stance detection [9], which concerns identifying which side a party is taking in a debate,
and which responses are rebuttals. While this adds further substance, it does not enable
identifying the structure and layers of rationales for and against a position.
Even though current approaches are highly useful in decision making, the whole
chain of rationale may be crucial. The overall popularity of an opinion is not as impor-
tant as the reasons supporting it: overwhelming numbers of people buying a product
may not matter as much as a particular reason for not buying it. The issue is whether it
is the right product for the buyer, which is a matter not only of the pros and cons, but
also of the explanations and counterarguments given. In our view, current approaches
detect problems, but obscure the chains of reasoning about them.
The challenge is to extract the arguments from the text, turning textual sources into
a representation that we can reason with even in the face of inconsistency. We explore
these issues as follows. In Section 2, we first introduce the goals of argumentation ex-
traction and provide a sample problem. In Section 3, we outline formalisations of argu-
mentation that enable reasoning with inconsistent data. However, we note the gap be-
tween the formalisation and the argument analysis and extraction from source material.
This highlights the need for greater understanding of the dimensions of argumentation
in the social media landscape, which we discuss in Section 4. In closing, we outline the
next steps to bridge between textual sources and the target formal analysis.
2 Goals and Example
Our goal is to extract and reconstruct argumentation into formal representations which
can be entered into a knowledge base. Drawing from existing approaches to subjectiv-
ity, topic identification, and knowledge extraction, we need to indicate disagreements
and other relationships between opinions, along with justifications for opinions. This is
currently done by hand. The goal really is to figure out how to automate the analysis.
Issues include the informality of language in social media, the amount of implicit infor-
mation, and various ‘meta’ information that contributes to the argument reconstruction,
as we later discuss.
Consider the situation where a consumer wants to buy a camera. In reviews, there
may be a high degree of negative sentiment related to the battery, which a consumer
can use to decide whether or not she wants to buy the camera. Yet, in the comments to
a discussion, we may find statements about whether or not this is in fact true, whether
it outbalances other features of the camera, whether the problem can be overcome,
and so on. It is not enough to say “you shouldn’t buy this camera” – one needs to
give the reasons why. Then the debate becomes an argument about the justifications:
“it’s lightweight, you should buy it”, “the lens sucks, you shouldn’t buy it”, “the lens
doesn’t matter, it has a bad battery” and so on. The argument is not just point and
counterpoint; it is also about how each premise is itself supported and attacked. Each of
these justifications may be further discussed, until the discussion ‘grounds out’ with no
further messages. This has the structure of an argument, where points and counterpoints
are presented, each implied by premises, which themselves can be argued about further.
Thus we envision deepening the knowledge bases constructed from social media
based on the justifications given for statements. To do so, we need to better understand
how disagreements and justifications–which we refer to collectively as argumentation–
are expressed in social media. However, we first consider our target formalisation.
3 Formalising Argumentation and Argumentation Schemes
Abstract argumentation frameworks have been well-developed to support reasoning
with inconsistent information starting with [6] and much subsequent research ([1], [2],
[3]). An abstract argument framework, as introduced by Dung, [6] is a pair AF =
hA,attack i, where Ais a set of arguments and attack a binary relation on A. A va-
riety of semantics are available to evaluate the arguments. For example, where AF =
h{A1, A2, A3, A6, A7},{att(A6, A1), att(A1, A6), att(A7, A2)}i, then the preferred
extensions are: {A3, A6, A7}and {A2, A3, A7}.
However, Dung’s arguments are entirely abstract and the attack relation is stipu-
lated. In other words, it is unclear why one argument attacks another argument, as there
is no content to the arguments. In order to instantiate arguments we need argumentation
schemes, which are presumptive patterns of reasoning [10].
An instantiated argumentation scheme, such as Position To Know, has a textual
form such as: 1. Ms. Peters is in a position to know whether Mr. Jones was at the party.
2. Ms. Peters asserts that Mr. Jones was at the party. 3. Therefore, presumptively, Mr.
Jones was at the party. This has a formal representation in a typed logical language with
functions from argument objects to predicates. The language formally represents the
propositions required of the scheme as well as aspects of defeasible reasoning [12].
While this is an attractive approach to tying textual arguments to abstract argumen-
tation, it relies on abstracting away the context and auxiliary aspects. It is far from clear
how an argument such as represented in Section 2 can be transformed into a formal ar-
gumentation scheme so that it can be reasoned in an argumentation framework. To make
use of the formal analyses and related implemented tools for social media discussions,
a range of additional issues must be considered, as we next discuss.
4 Dimensions of Expression
To extract well-formed knowledge bases of argument, we must first chart out the various
dimensions of social media, to point the way towards the aspects that argumentation
reconstruction will need to consider, so that we later can isolate these aspects.
Social media encompasses numerous genres, each with their own conversational
styles, which affect what sort of rhetoric and arguments may be made. One key fea-
ture is the extent to which a medium is used for broadcasts (e.g. monologues) versus
conversations (e.g. dialogues), and in each genre, a prototypical message or messages
could be described, but these vary across genres due to social conventions and techni-
cal constraints. De Moor and Efimova compared rhetorical and argumentative aspects
of listservs and blogs, identifying features such as the likelihood that messages receive
responses, and whether spaces are owned communities or by a single individual, and
the timeline for replies [5]. Important message characteristics include the typical and
allowable message length (e.g. space limitations on microblogs) and whether messages
may be continually refined by a group (such as in StackOverflow).
Metadata associated with a post (such as poster, timestamp, and subject line for
listservs) and additional structure (such as pingbacks and links for blogs) can also be
used for argumentation. For example, a user’s most recent post is generally taken to
identify their current view, while relationships between messages can indicate a shared
topic, and may be associated with agreement or disagreement.
Users are different, and properties of users are factors that contribute not only to
substance of the user’s comment, but as well to how they react to the comments of
others. These include demographic information such as the user’s age, gender, location,
education, and so on. In a specific domain, additional user expectations or constraints
could also be added. Different users are persuaded by different kinds of information.
Therefore, to solve peoples’ problems, based on knowledge bases, when dealing with
inconsistency, understanding the purposes and goals that people have would be useful.
Therefore, the goals of a particular dialogue also matter. These have been consid-
ered in argumentation theory: Walton & Krabbe have categorized dialogue types based
on the initial situation, participant’s goal, and the goal of the dialogue [11]. The types
they distinguish are inquiry, discovery, information seeking, deliberation, persuasion,
negotiation and eristic. These are abstractions–any single conversation moves through
various dialogue types. For example, a deliberation may be paused in order to delve into
information seeking, then resumed once the needed information has been obtained.
Higher level context would also be useful: different amounts of certainty are needed
for different purposes. Some of that is inherent in a task: Reasoning about what kind
of medical treatment to seek for a long-term illness, based on PatientsLikeMe, requires
more certainty than deciding what to buy based on product reviews.
Informal language is very typically found in social media. Generic language pro-
cessing issues, with misspellings and abbreviations, slang, language mixing emoticons,
and unusual use of punctuation, must be resolved in order to enable text mining (and
subsequently argumentation mining) on informal language. Indirect forms of speech,
such as sarcasm, irony, and innuendo, are also common. A step-by-step approach, fo-
cusing first on what can be handled, is necessary.
Another aspect of the informality is that much information is left implicit. There-
fore, inferring from context is essential. Elliptical statements require us to infer com-
mon world knowledge, and connecting to existing knowledge bases will be needed.
We apply sentiment techniques to provide candidates for argumentation mining
and especially to identify textual markers of subjectivity and objectivity. The argu-
ments that are made about or against purported facts have a different form from the
arguments that are made about opinions. Arguments about objective statements provide
the reasons for believing a purported fact or how certain it is. Subjective arguments
might indicate, for instance, which users would benefit from a service or product (those
similar to the poster). Another area where subjective arguments may appear is discus-
sions of the trust and credibility about the people making the arguments.
5 Conclusions
There is intense interest in extracting information from social media, and particularly in
the views people express, and how they express agreement and disagreement, and jus-
tify their views. This motivates us to translate existing approaches for text analysis and
argumentation mining into techniques for identifying and structuring arguments from
social media [13]. But these tools and resources must first be adapted for differences
in social media. Understanding these differences is a critical first step, therefore, we
have discussed the dimensions of argumentation in social media. Our purpose has been
to make explicit the various challenges, so that we can move towards creating knowl-
edge bases of argumentation. Next, the challenges identified should be transformed into
requirements.
Acknowledgements
The first and second authors’ work was supported by Science Foundation Ireland under
Grant No. SFI/09/CE/I1380 (L´
ıon2). The third author was supported by the FP7-ICT-
2009-4 Programme, IMPACT Project, Grant Agreement Number 247228. The views
expressed are those of the authors.
References
1. T. J. M. Bench-Capon. Persuasion in practical argument using value-based argumentation
frameworks. Journal of Logic and Computation, 13(3):429–448, 2003.
2. A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract, argumentation-
theoretic approach to default reasoning. Artificial Intelligence, 93:63–101, 1997.
3. M. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artificial
Intelligence, 171(5-6):286–310, 2007.
4. C. Chen, F. Ibekwe-Sanjuan, E. San Juan, and C. Weaver. Visual analysis of conflicting
opinions. In Proceedings of IEEE Symposium on Visual Analytics Science and Technology
(VAST), 2006.
5. A. de Moor and L. Efimova. An argumentation analysis of weblog conversations. In The 9th
International Working Conference on the Language-Action Perspective on Communication
Modelling (LAP 2004), Rutgers University, 2004.
6. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic
reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321–357,
1995.
7. Y. Lu, C. Zhai, and N. Sundaresan. Rated aspect summarization of short comments. In
Proceedings of the 18th International Conference on World Wide Web (WWW ’09), 2009.
8. I. Titov and R. McDonald. Modeling online reviews with multi-grain topic models. In
Proceedings of the 17th International Conference on World Wide Web (WWW ’08), 2008.
9. M. A. Walker, P. Anand, R. Abbott, J. E. F. Tree, C. Martell, and J. King. That’s your
evidence?: Classifying stance in online political debate. Decision Support Sciences, 2011.
10. D. Walton. Argumentation Schemes for Presumptive Reasoning. Erlbaum, N.J., 1996.
11. D. N. Walton. Commitment in dialogue. State University of New York Press, Albany, 1995.
12. A. Wyner, K. Atkinson, and T. Bench-Capon. A functional perspective on argumentation
schemes. In Proceedings of Argumentation in Multi-Agent Systems (ArgMAS 2012), 2012.
13. A. Wyner, J. Schneider, K. Atkinson, and T. Bench-Capon. Semi-automated argumentative
analysis of online product reviews. In Proceedings of the Fourth International Conference
on Computational Models of Argument (COMMA ’12), 2012.
... It is believed individuals always have a goal or objective for introducing a specific issue or idea (Walton, 1995). Therefore, once an idea or issue is presented, an audience analyzes it by evaluating the words and expressions used when conveying the idea or issue to identify its goal (Schneider et al., 2012). Once the audience identifies the goal, the audience then engages in an objective presentation of a justification or challenge toward an idea or issue and not an expression of an individual's opinion based on their position (Lange et al., 2018). ...
... The type of language used, whether formal or informal, to express an opinion and the type of analysis that one conducts, whether objective or subjective, is what differentiates an argument from a discussion. Differences exist among and between users of social media on why and how they argue, as well as how arguments are advanced in various social media platforms (Schneider et al., 2012). However, not much is known regarding the motivation behind public engagement in argumentative conversations about climate change on Twitter. ...
... В этом же смысле следует понимать и аргументативную функцию современных социальных сетей [Walker et al. 2012;Schneider, Davis, Wyner 2012;Шапиро 2016;Rowlanda et al. 2017], которые позволяют определять правильные решения путем вовлечения в рассуждение процедур цифровизации. Аргументативные сети выступают каналом, обеспечивающим рассуждение посредством своей структуры. ...
Article
Full-text available
The article is devoted to the study of the dynamics of development of concepts that justify political choice. There is a general turn from the moral justification of political choice to ontological concepts based on the ideas of pragmatic and impartial behavior in the search for criteria for the “correct” decision, which includes the truth and the institutions that ensure it. The epistemic concept of democracy, based on Condorcet's jury theorem, defines the possibility of achieving the correct choice through majority rule voting, implies a competent, independent and sincere voter, which ensures an increase in the probability of the correct choice. The expansion of the composition of participants in political choice increased the role of diversity of knowledge and opinions in the justification, which led to the concept of the “smart plurality”, which ensures the correct choice is made by reducing its overall error through random mass participation. The development of social networks and their argumentative function in disputes have contributed to the transition to the concepts of argumentative networks that ensure the correct option is selected through communication. The identified dynamics allow us to conclude that the concept of politics is reviving its importance as a reasoning.
Conference Paper
Argumentation is a key aspect of communications and can broadly be broken down into problem solving (dialectic) and quarrelling (eristic). Techniques used within argumentation can likewise be classified as fact-based (logical), or emotion/audience-based (rhetorical). Modelling arguments on the social web is a challenge for those studying computational argumentation as formal models of argumentation tend to assume a logical argument, whereas argumentation on the social web is often largely rhetorical. To investigate the application of logical versus rhetorical techniques on the social web, we bring together two ontologies used for modelling argumentation and online communities respectively, the Argument Interchange Format and the Semantic Interlinked Online Communities project. We augment these with our own ontology for modelling rhetorical argument, the Argumentation on the Social Web Ontology, and trial our additions by examining three case studies following argumentation on different categories of social media. Finally, we present examples of how rhetorical argumentation is used in the context of the social web and show that there are clear markers present that can allow for a rudimentary estimate for the classification of a social media post with regards to its contribution to a discussion.
Article
The goal of argumentation mining, an evolving research field in computational linguistics, is to design methods capable of analyzing people's argumentation. In this article, we go beyond the state of the art in several ways. (i) We deal with actual Web data and take up the challenges given by the variety of registers, multiple domains, and unrestricted noisy user-generated Web discourse. (ii) We bridge the gap between normative argumentation theories and argumentation phenomena encountered in actual data by adapting an argumentation model tested in an extensive annotation study. (iii) We create a new gold standard corpus (90k tokens in 340 documents) and experiment with several machine learning methods to identify argument components. We offer the data, source codes, and annotation guidelines to the community under free licenses. Our findings show that argumentation mining in user-generated Web discourse is a feasible but challenging task.
Article
Full-text available
In March 2012, the US Centers for Disease Control and Prevention (CDC) launched the first-ever paid national tobacco education campaign. At a cost of US $54 million, "Tips from Former Smokers" (Tips) ran for 3 months across multiple media, depicting the suffering experienced by smokers and their families in graphic detail. The potential impact and reach of the Tips campaign was not limited to that achieved through paid media placements. It was also potentially extended through "earned media", including news and blog coverage of the campaign. Such coverage can shape public understanding of and facilitate public engagement with key health issues. To better understand the contribution of earned media to the public's engagement with health issues in the current news media environment, we examined the online "earned media" and public engagement generated by one national public health campaign. We constructed a purposive sample of online media coverage of the CDC's 2012 Tips from Former Smokers television campaign, focusing on 14 influential and politically diverse US news outlets and policy-focused blogs. We identified relevant content by combining campaign and website-specific keywords for 4 months around the campaign release. Each story was coded for content, inclusion of multimedia, and measures of audience engagement. The search yielded 36 stories mentioning Tips, of which 27 were focused on the campaign. Story content between pieces was strikingly similar, with most stories highlighting the same points about the campaign's content, cost, and potential impact. We saw notable evidence of audience engagement; stories focused on Tips generated 9547 comments, 8891 Facebook "likes", 1027 tweets, and 505 story URL shares on Facebook. Audience engagement varied by story and site, as did the valence and relevance of associated audience comments. Comments were most oppositional on CNN and most supportive on Yahoo. Comment coding revealed approximately equal levels of opposition and support overall. We identified four common arguments among oppositional comments: government intrusion on personal behaviors, problematic allocation of governmental spending, questionable science, and challenges regarding campaign efficacy. Supportive comments tended to convey personal stories and emotions. The Tips campaign received limited coverage on either online news or blog sources, but the limited number of stories generated engagement among online audiences. In addition to the content and volume of blog and news coverage, audience comments and websites' mechanisms for sharing stories via social media are likely to determine the influence of online earned media. In order to facilitate meaningful evaluation of public health campaigns within the rapidly advancing media environment, there is a need for the public health community to build consensus regarding collection and assessment of engagement data.
Article
Full-text available
In multi-agent systems (MAS), abstract argumentation and argumen-tation schemes are increasingly important. To be useful for MAS, argumentation schemes require a computational approach so that agents can use the components of a scheme to present arguments and counterarguments. This paper proposes a syntactic analysis that integrates argumentation schemes with abstract argu-mentation. Schemes can be analysed into the roles that propositions play in each scheme and the structure of the associated propositions, yielding a greater under-standing of the schemes, a uniform method of analysis, and a systematic means to relate one scheme to another. This analysis of the schemes helps to clarify what is needed to provide denotations of the terms and predicates in a semantic model.
Article
Full-text available
Argumentation is key to understanding and evaluating many texts. The arguments in the texts must be identified; using current tools, this requires substan-tial work from human analysts. With a rule-based tool for semi-automatic text anal-ysis support, we facilitate argument identification. The tool highlights potential ar-gumentative sections of a text according to terms indicative of arguments (e.g. 'sup-pose' or 'therefore') and domain terminology (e.g. camera names and properties). The information can be used by an analyst to instantiate argumentation schemes and build arguments for and against a proposal. The resulting argumentation frame-work can then be passed to argument evaluation tools.
Conference Paper
Full-text available
Weblogs are important new components of the Internet. They provide individual users with an easy way to publish online and others to comment on these views. Furthermore, there is a suite of secondary applications that allow weblogs to be linked, searched, and navigated. Although originally intended for individual use, in practice weblogs increasingly appear to facilitate distributed conversations. This could have important implications for the use of this technology as a medium for collaboration. Given the special characteristics of weblogs and their supporting applications, they may be well suited for a range of conversational purposes that require different forms of argumentation. In this paper, we analyze the argumentation potential of weblog technologies, using a diagnostic framework for argumentation technologies. We pay special attention to the conversation structures and dynamics that weblogs naturally afford. Based on this initial analysis, we make a number of recommendations for research on how to apply these technologies in purposeful conversation processes such as for knowledge management.
Conference Paper
Full-text available
Understanding the nature and dynamics of conflicting opinions is a profound and challenging issue. In this paper we address several aspects of the issue through a study of more than 3,000 Amazon customer reviews of the controversial bestseller The Da Vinci Code, including 1,738 positive and 918 negative reviews. The study is motivated by critical questions such as: what are the differences between positive and negative reviews? What is the origin of a particular opinion? How do these opinions change over time? To what extent can differentiating features be identified from unstructured text? How accurately can these features predict the category of a review? We first analyze terminology variations in these reviews in terms of syntactic, semantic, and statistic associations identified by TermWatch and use term variation patterns to depict underlying topics. We then select the most predictive terms based on log likelihood tests and demonstrate that this small set of terms classifies over 70% of the conflicting reviews correctly. This feature selection process reduces the dimensionality of the feature space from more than 20,000 dimensions to a couple of hundreds. We utilize automatically generated decision trees to facilitate the understanding of conflicting opinions in terms of these highly predictive terms. This study also uses a number of visualization and modeling tools to identify not only what positive and negative reviews have in common, but also they differ and evolve over time
Article
Full-text available
We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to be extended by a defeasible set of assumptions.An assumption can be defeated (or “attacked”) if its “contrary” can be proved, possibly with the aid of other conflicting assumptions. We show that, given such a framework, the standard semantics of most logics for default reasoning can be understood as sanctioning a set of assumptions, as an extension of a given theory, if and only if the set of assumptions is conflict-free (in the sense that it does not attack itself) and it attacks every assumption not in the set.We propose a more liberal, argumentation-theoretic semantics, based upon the notion of admissible extension in logic programming. We regard a set of assumptions, in general, as admissible if and only if it is conflict-free and defends itself (by attacking) every set of assumptions which attacks it. We identify conditions for the existence of extensions and for the equivalence of different semantics.
Article
A growing body of work has highlighted the challenges of identifying the stance that a speaker holds towards a particular topic, a task that involves identifying a holistic subjective disposition. We examine stance classification on a corpus of 4731 posts from the debate website ConvinceMe.net, for 14 topics ranging from the playful to the ideological. We show that ideological debates feature a greater share of rebuttal posts, and that rebuttal posts are significantly harder to classify for stance, for both humans and trained classifiers. We also demonstrate that the number of subjective expressions varies across debates, a fact correlated with the performance of systems sensitive to sentiment-bearing terms. We present results for classifying stance on a per topic basis that range from 60% to 75%, as compared to unigram baselines that vary between 47% and 66%. Our results suggest that features and methods that take into account the dialogic context of such posts improve accuracy.
Article
The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and to explore ways to implement this mechanism on computers.We do so by first developing a theory for argumentation whose central notion is the acceptability of arguments. Then we argue for the “correctness” or “appropriateness” of our theory with two strong arguments. The first one shows that most of the major approaches to nonmonotonic reasoning in AI and logic programming are special forms of our theory of argumentation. The second argument illustrates how our theory can be used to investigate the logical structure of many practical problems. This argument is based on a result showing that our theory captures naturally the solutions of the theory of n-person games and of the well-known stable marriage problem.By showing that argumentation can be viewed as a special form of logic programming with negation as failure, we introduce a general logic-programming-based method for generating meta-interpreters for argumentation systems, a method very much similar to the compiler-compiler idea in conventional programming.
Article
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” ones and, finally, to determine whether the original statement can be accepted or not. Several argumentation systems have been proposed in the literature. Some of them, the so-called rule-based systems, use a particular logical language with strict and defeasible rules. While these systems are useful in different domains (e.g. legal reasoning), they unfortunately lead to very unintuitive results, as is discussed in this paper. In order to avoid such anomalies, in this paper we are interested in defining principles, called rationality postulates, that can be used to judge the quality of a rule-based argumentation system. In particular, we define two important rationality postulates that should be satisfied: the consistency and the closure of the results returned by that system. We then provide a relatively easy way in which these rationality postulates can be warranted for a particular rule-based argumentation system developed within a European project on argumentation.