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

Matti Nykänen; Satu Eloranta; Olli Niinivaara; Raul Hakli

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

Matti Nykänen, Satu Eloranta, Olli Niinivaara, Raul Hakli

Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review

Sammanfattning

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.

Originalspråk	engelska

Utgivningsort	Helsinki
Förlag	University of Helsinki, Department of Computer Science
Antal sidor	18
Status	Publicerad - jan. 2011
MoE-publikationstyp	C1 Separata vetenskapliga böcker

Publikationsserier

Namn	Department of Computer Science, Series of Publications C
Förlag	University of Helsinki, Department of Computer Science
Nr.	C-2011-1

Bibliografisk information

Extended version of a paper with the same title presented at the Third International
Conference on Agents and Artificial Intelligence (ICAART’11)

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

Crua TRAccepterat manuskript från författare, 214 KB

https://helda.helsinki.fi/handle/10138/25715

Citera det här

@book{b24c08a9e9514939bf35c38f6f897da9,

title = "Cooperative Replies to Unbelievable Assertions: A Dialogue Protocol Based on Logical Interpolation",

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 assertionsare rejected using explanations formed by logical interpolation and new assertions are being madesuch that all previous rebuttals are taken into account.",

keywords = "113 Computer and information sciences",

author = "Matti Nyk{\"a}nen and Satu Eloranta and Olli Niinivaara and Raul Hakli",

note = "Extended version of a paper with the same title presented at the Third International Conference on Agents and Artificial Intelligence (ICAART{\textquoteright}11) ",

year = "2011",

month = jan,

language = "English",

series = "Department of Computer Science, Series of Publications C",

publisher = "University of Helsinki, Department of Computer Science",

number = "C-2011-1",

address = "Finland",

}

Cooperative Replies to Unbelievable Assertions: A Dialogue Protocol Based on Logical Interpolation. / Nykänen, Matti; Eloranta, Satu; Niinivaara, Olli et al.
Helsinki: University of Helsinki, Department of Computer Science, 2011. 18 s. (Department of Computer Science, Series of Publications C; Nr. C-2011-1).

Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review

TY - BOOK

T1 - Cooperative Replies to Unbelievable Assertions

T2 - A Dialogue Protocol Based on Logical Interpolation

AU - Nykänen, Matti

AU - Eloranta, Satu

AU - Niinivaara, Olli

AU - Hakli, Raul

N1 - Extended version of a paper with the same title presented at the Third International Conference on Agents and Artificial Intelligence (ICAART’11)

PY - 2011/1

Y1 - 2011/1

N2 - 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 assertionsare rejected using explanations formed by logical interpolation and new assertions are being madesuch that all previous rebuttals are taken into account.

AB - 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 assertionsare rejected using explanations formed by logical interpolation and new assertions are being madesuch that all previous rebuttals are taken into account.

KW - 113 Computer and information sciences

M3 - Book

T3 - Department of Computer Science, Series of Publications C

BT - Cooperative Replies to Unbelievable Assertions

PB - University of Helsinki, Department of Computer Science

CY - Helsinki

ER -