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

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

Research output: Book/ReportBookScientificpeer-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.
Original languageEnglish
Place of PublicationHelsinki
PublisherUniversity of Helsinki, Department of Computer Science
Number of pages18
Publication statusPublished - Jan 2011
MoE publication typeC1 Scientific book

Publication series

NameDepartment of Computer Science, Series of Publications C
PublisherUniversity of Helsinki, Department of Computer Science

Bibliographical note

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

Fields of Science

  • 113 Computer and information sciences

Cite this