uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
On the Formal Modeling of Games of Language and Adversarial Argumentation: A Logic-Based Artificial Intelligence Approach
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Information Science.
2009 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. Comprehensive formal modeling and analysis of argumentation presupposes a dynamical approach to the following phenomena: the deductive logic notion, the dialectical notion and the cognitive notion of justified belief. For each step of an argumentation these phenomena form networks of rules which determine the propositions to be allowed to make sense as admissible, acceptable, and accepted.

We present a formal logic framework for a computational account of formal modeling and systematical analysis of the dynamical, exhaustive and dialectical aspects of adversarial argumentation and dispute. Our approach addresses the mechanisms of admissibility, acceptability and acceptance of arguments in adversarial argumentation by use of metalogic representation and Artificial Intelligence-techniques for dynamical problem solving by exhaustive search.

We elaborate on a common framework of board games and argumentation games for pursuing the alternatives facing the adversaries in the argumentation process conceived as a game. The analogy to chess is beneficial as it incorporates strategic and tactical operations just as argumentation. Drawing on an analogy to board games like chess, the state space representation, well researched in Artificial Intelligence, allows for a treatment of all possible arguments as paths in a directed state space graph. It will render a game leading to the most wins and fewest losses, identifying the most effective game strategy. As an alternate visualization, the traversal of the state space graph unravels and collates knowledge about the given situation/case under dispute. Including the private knowledge of the two parties, the traversal results in an increased knowledge of the case and the perspectives and arguments of the participants.

As we adopt metalogic as formal basis, arguments used in the argumentation, expressed in a non-monotonic defeasible logic, are encoded as terms in the logical argumentation analysis system. The advantage of a logical formalization of argumentation is that it provides a symbolic knowledge representation with a formally well-formed semantics, making the represented knowledge as well as the behavior of knowledge representation systems reasoning comprehensible. Computational logic as represented in Horn Clauses allows for expression of substantive propositions in a logical structure. The non-monotonic nature of defeasible logic stresses the representational issues, i.e. what is possible to capture in non-monotonic reasoning, while from the (meta)logic program, the sound computation on what it is possible to compute, and how to regard the semantics of this computation, are established.

Place, publisher, year, edition, pages
Uppsala: Universitetsbiblioteket , 2009. , 250 p.
National Category
Information Science
URN: urn:nbn:se:uu:diva-9538ISBN: 978-91-506-2055-9OAI: oai:DiVA.org:uu-9538DiVA: diva2:173155
Public defence
2009-02-27, Hö 2, Ekonomikum, Kyrkogårdsgatan 10, Uppsala, 13:15
Available from: 2009-02-06 Created: 2009-02-06 Last updated: 2011-11-14Bibliographically approved

Open Access in DiVA

fulltext(1615 kB)791 downloads
File information
File name FULLTEXT01.pdfFile size 1615 kBChecksum MD5
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Eriksson Lundström, Jenny S. Z.
By organisation
Department of Information Science
Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 791 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 390 hits
ReferencesLink to record
Permanent link

Direct link