Argumentation: Reconciling human and automated reasoning
Date
2016Publisher
CEUR-WSSource
CEUR Workshop Proceedings2016 Workshop on Bridging the Gap between Human and Automated Reasoning, Bridging 2016
Volume
1651Pages
43-60Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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.