Argumentation: Reconciling Human and Automated Reasoning
File(s)12340041.pdf (308.73 KB)
Published version
Author(s)
Kakas, A
Michael, L
Toni, F
Type
Conference Paper
Abstract
We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at three levels: (1) at the level of classical, strict reasoning on which, till today, automated reasoning and computing are based, (2) at the level of natural or ordinary human level reasoning as studied in cognitive psychology and which artificial intelligence, albeit in its early stages, is endeavouring to automate, and (3) at the level of the recently emerged cognitive computing paradigm where systems are required to be cognitively compatible with human reasoning based on common sense or expert knowledge, machine-learned from unstructured data in corpora over the web or other sources.
Date Issued
2016-07-09
Date Acceptance
2016-04-04
Citation
CEUR Workshop Proceedings, 2016, 1651, pp.43-60
ISSN
1613-0073
Publisher
CEUR-WS
Start Page
43
End Page
60
Journal / Book Title
CEUR Workshop Proceedings
Volume
1651
Copyright Statement
© The Author(s) 2016.
Source
Bridging the Gap between Human and Automated Reasoning 2016
Publication Status
Published
Start Date
2016-07-09
Finish Date
2016-07-15
Coverage Spatial
New York, NY, USA