Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/27576
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Castagna, F | - |
dc.date.accessioned | 2023-11-07T18:50:38Z | - |
dc.date.available | 2023-11-07T18:50:38Z | - |
dc.date.issued | 2023-05-17 | - |
dc.identifier | ORCID iD: Federico Castagna https://orcid.org/0000-0002-5142-4386 | - |
dc.identifier.citation | Castagna, F. (2023) 'Dialectical Argument Game Proof Theories for Classical Logic', Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 2023, 10 (3), pp. 279 - 317. Available at: https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf . | en_US |
dc.identifier.isbn | 978-1-84890-433-0 | - |
dc.identifier.issn | 2631-9810 | - |
dc.identifier.uri | https://bura.brunel.ac.uk/handle/2438/27576 | - |
dc.description.abstract | Argument game-based proof theories provide procedural structures capable of determining the status of an argument. Given an argumentation framework, argument games identify the membership of an argument in a specific extension simulating a dispute between two opposing contenders. The semantics intended to be captured dictate the rules of the played game, which serve to describe how the players can achieve victory. Dialectical Classical logic Argumentation (Dialectical Cl-Arg) is a recent approach that provides real-world dialectical characterisations of Cl-Arg arguments by resource-bounded agents while preserving the rational criteria established by the rationality postulates and practical desiderata. This paper combines both subjects and introduces argument games for Dialectical Cl-Arg, highlighting the properties and benefits enjoyed by these games in comparison with the standard ones. The result will be a proof theory better equipped to approximate real-world non-monotonic single-agent reasoning processes. | en_US |
dc.format.medium | Print-Electronic | - |
dc.language.iso | en | en_US |
dc.publisher | College Publications, on behalf of the UK logic charity IfCoLog | en_US |
dc.relation.uri | https://collegepublications.co.uk/ifcolog/?00059 | - |
dc.relation.uri | https://collegepublications.co.uk/downloads/ifcolog00059.pdf#page=20 | - |
dc.rights | Copyright © Individual authors and College Publications 2023. All rights reserved. No part of this publication may be used for commercial purposes or transmitted in modified form by any means, electronic, mechanical, photocopying, recording or otherwise without prior permission, in writing, from the publisher | - |
dc.title | Dialectical Argument Game Proof Theories for Classical Logic | en_US |
dc.type | Article | en_US |
dc.relation.isPartOf | Journal of Applied Logics — IfCoLog Journal of Logics and their Applications | - |
pubs.issue | 3 | - |
pubs.publication-status | Published | - |
pubs.volume | 10 | - |
dc.rights.holder | Individual authors and College Publications | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | Copyright © Individual authors and College Publications 2023. All rights reserved. No part of this publication may be used for commercial purposes or transmitted in modified form by any means, electronic, mechanical, photocopying, recording or otherwise without prior permission, in writing, from the publisher | 845.76 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.