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

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

Forskningsoutput: Bok/rapportBokVetenskapligPeer review


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.
FörlagUniversity of Helsinki, Department of Computer Science
Antal sidor18
StatusPublicerad - jan 2011
MoE-publikationstypC1 Separata vetenskapliga böcker


NamnDepartment of Computer Science, Series of Publications C
FörlagUniversity of Helsinki, Department of Computer Science

Bibliografisk information

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


  • 113 Data- och informationsvetenskap

Citera det här