Cooperative Replies to Unbelievable Assertions : A Dialogue Protocol Based on Logical Interpolation
Permalink
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: | University of Helsinki, Department of Computer Science University of Helsinki, Department of Computer Science University of Helsinki, Helsinki Institute for Information Technology |
| 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. |
| Subject: | 113 Computer and information sciences |
| Rights: |
Files in this item
Total number of downloads: Loading...
| Files | Size | Format | View |
|---|---|---|---|
| crua_TR.pdf | 214.3Kb |
View/ |
This item appears in the following Collection(s)
-
Articles from TUHAT CRIS [38580]