Classical logic, argument and dialectic
- Submitting institution
-
King's College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 111367284
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2018.05.003
- Title of journal
- ARTIFICIAL INTELLIGENCE
- Article number
- -
- First page
- 15
- Volume
- 262
- Issue
- -
- ISSN
- 0004-3702
- Open access status
- Exception within 3 months of publication
- Month of publication
- June
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Non-monotonic generalisations of classical logic have been formalised in terms of argumentation, so enabling individual agent reasoning and multiple human and/or AI agents to reason via dialogue. However, these formalisations only guarantee rational outcomes assuming unlimited computational/cognitive resources. This paper is the first to prove full rationality under resource bounds, and so has profound implications for practical applications. The paper was invited for presentation (Arginfoexchange2020), was central to obtaining funding for a one-week Lorentz-Centre 2018 workshop on bounded rationality, and initiated a programme of research thus far reported in D’Agostino, Gabbay, Modgil, Studia Logica 2020 and D’Agostino & Modgil IJCAI’18/20.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -