dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Michael, Loizos | en |
dc.contributor.author | Toni, F. | en |
dc.contributor.editor | Schon C. | en |
dc.contributor.editor | Furbach U. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Michael, Loizos | en |
dc.creator | Toni, F. | en |
dc.date.accessioned | 2019-11-13T10:40:29Z | |
dc.date.available | 2019-11-13T10:40:29Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54143 | |
dc.description.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. | en |
dc.publisher | CEUR-WS | en |
dc.source | CEUR Workshop Proceedings | en |
dc.source | 2016 Workshop on Bridging the Gap between Human and Automated Reasoning, Bridging 2016 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84985991257&partnerID=40&md5=4b014d2a0a23b56d449a356a6a61f003 | |
dc.subject | Cognitive psychology | en |
dc.subject | Artificial intelligence | en |
dc.subject | Automation | en |
dc.subject | Computation theory | en |
dc.subject | Common sense | en |
dc.subject | Cognitive systems | en |
dc.subject | Automated reasoning | en |
dc.subject | Cognitive Computing | en |
dc.subject | Expert knowledge | en |
dc.subject | Human levels | en |
dc.subject | Human reasoning | en |
dc.subject | Unstructured data | en |
dc.title | Argumentation: Reconciling human and automated reasoning | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 1651 | |
dc.description.startingpage | 43 | |
dc.description.endingpage | 60 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 122976</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |