An argument game for stable semantics

Logic Journal of the IGPL 17 (1):77-90 (2008)
  Copy   BIBTEX

Abstract

In this paper, we present a discussion game for argumentation under stable semantics. Our work is inspired by Vreeswijk and Prakken, who have defined a similar game for preferred semantics. In the current paper, we restate Vreeswijk and Prakken's work using the approach of argument labellings and then show how it can be adjusted for stable semantics. The nature of the resulting argument game is somewhat unusual, since stable semantics does not satisfy the property of relevance

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A labelling approach for ideal and stage semantics.Martin Caminada - 2011 - Argument and Computation 2 (1):1 - 21.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
A Model Theoretic Semantics for Quantum Logic.E. -W. Stachow - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:272 - 280.
Game-theoretical semantics: insights and prospects.Jaakko Hintikka - 1982 - Notre Dame Journal of Formal Logic 23 (2):219-241.
Uniform Barriers and Evolutionarily Stable Sets.Immanuel Bomze - 1998 - Vienna Circle Institute Yearbook 5:225-243.
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.

Analytics

Added to PP
2015-02-04

Downloads
1 (#1,895,134)

6 months
1 (#1,491,286)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Argument-based extended logic programming with defeasible priorities.Henry Prakken & Giovanni Sartor - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):25-75.
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

View all 6 references / Add more references