Cooperative Replies to Unbelievable Assertions : A Dialogue Protocol Based on Logical Interpolation

Show full item record



Permalink

http://hdl.handle.net/10138/25715

Citation

Nykänen , M , Eloranta , S , Niinivaara , O & Hakli , R 2011 , Cooperative Replies to Unbelievable Assertions : A Dialogue Protocol Based on Logical Interpolation . Department of Computer Science, Series of Publications C , no. C-2011-1 , University of Helsinki, Department of Computer Science , Helsinki . < https://helda.helsinki.fi/handle/10138/25715 >

Title: Cooperative Replies to Unbelievable Assertions : A Dialogue Protocol Based on Logical Interpolation
Author: Nykänen, Matti; Eloranta, Satu; Niinivaara, Olli; Hakli, Raul
Contributor organization: Department of Computer Science
Helsinki Institute for Information Technology
TINT – Centre for Philosophy of Social Science
Publisher: University of Helsinki, Department of Computer Science
Date: 2011-01
Language: eng
Number of pages: 18
Belongs to series: Department of Computer Science, Series of Publications C
URI: http://hdl.handle.net/10138/25715
Abstract: We propose a dialogue protocol for situations in which an agent makes to another agent an assertion that the other agent finds impossible to believe. In this interaction, unbelievable assertions are rejected using explanations formed by logical interpolation and new assertions are being made such that all previous rebuttals are taken into account.
Description: Extended version of a paper with the same title presented at the Third International Conference on Agents and Artificial Intelligence (ICAART’11)
Subject: 113 Computer and information sciences
Peer reviewed: Yes
Usage restriction: openAccess
Self-archived version: acceptedVersion


Files in this item

Total number of downloads: Loading...

Files Size Format View
crua_TR.pdf 214.3Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record