Ghent University Academic Bibliography

Advanced

Modelling def+easible reasoning by means of adaptive logic games

Peter Verdée UGent (2012) LOGIC JOURNAL OF THE IGPL. 20(2). p.417-437
abstract
In this article, I present a dynamic logic game for defeasible reasoning. I argue that, as far as defeasible reasoning is concerned, one should distinguish between practical and ideal rationality. Starting from the adaptive logic framework, I formalize both rationality notions by means of logic games. The presented adaptive logic games are based on (i) standard logic games on the one hand and (ii) dynamic proof procedures for adaptive logic on the other hand. The games are similar to standard logic games, but have the extra property that some moves are revisable. This is handled by means of a main control game, which starts different standard logic games. I argue that the adaptive logic games form intuitive reasoning models for rationality in defeasible reasoning contexts. Moreover, I will also demonstrate that the games give a good insight in the computational complexity of defeasible reasoning forms.
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
keyword
defeasible reasoning, adaptive logic, rationality, Logic games
journal title
LOGIC JOURNAL OF THE IGPL
Log. J. IGPL
volume
20
issue
2
pages
417 - 437
Web of Science type
Article
Web of Science id
000302303500005
JCR category
LOGIC
JCR impact factor
1.136 (2012)
JCR rank
1/20 (2012)
JCR quartile
1 (2012)
ISSN
1367-0751
DOI
10.1093/jigpal/jzq060
language
English
UGent publication?
yes
classification
A1
copyright statement
I have retained and own the full copyright for this publication
id
1859590
handle
http://hdl.handle.net/1854/LU-1859590
date created
2011-07-14 16:44:34
date last changed
2012-09-12 09:12:58
@article{1859590,
  abstract     = {In this article, I present a dynamic logic game for defeasible reasoning. I argue that, as far as defeasible reasoning is concerned, one should distinguish between practical and ideal rationality. Starting from the adaptive logic framework, I formalize both rationality notions by means of logic games. The presented adaptive logic games are based on (i) standard logic games on the one hand and (ii) dynamic proof procedures for adaptive logic on the other hand. The games are similar to standard logic games, but have the extra property that some moves are revisable. This is handled by means of a main control game, which starts different standard logic games. I argue that the adaptive logic games form intuitive reasoning models for rationality in defeasible reasoning contexts. Moreover, I will also demonstrate that the games give a good insight in the computational complexity of defeasible reasoning forms.},
  author       = {Verd{\'e}e, Peter},
  issn         = {1367-0751},
  journal      = {LOGIC JOURNAL OF THE IGPL},
  keyword      = {defeasible reasoning,adaptive logic,rationality,Logic games},
  language     = {eng},
  number       = {2},
  pages        = {417--437},
  title        = {Modelling def+easible reasoning by means of adaptive logic games},
  url          = {http://dx.doi.org/10.1093/jigpal/jzq060},
  volume       = {20},
  year         = {2012},
}

Chicago
Verdée, Peter. 2012. “Modelling Def+easible Reasoning by Means of Adaptive Logic Games.” Logic Journal of the Igpl 20 (2): 417–437.
APA
Verdée, P. (2012). Modelling def+easible reasoning by means of adaptive logic games. LOGIC JOURNAL OF THE IGPL, 20(2), 417–437.
Vancouver
1.
Verdée P. Modelling def+easible reasoning by means of adaptive logic games. LOGIC JOURNAL OF THE IGPL. 2012;20(2):417–37.
MLA
Verdée, Peter. “Modelling Def+easible Reasoning by Means of Adaptive Logic Games.” LOGIC JOURNAL OF THE IGPL 20.2 (2012): 417–437. Print.