Advanced search
1 file | 207.82 KB

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
Author
Organization
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.
Keywords
defeasible reasoning, adaptive logic, rationality, Logic games

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 207.82 KB

Citation

Please use this url to cite or link to this publication:

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, Peter. (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.
@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},
}

Altmetric
View in Altmetric
Web of Science
Times cited: