How to Deal with Unbelievable Assertions

Show full item record



Nykänen , M , Hakli , R , Eloranta , S & Niinivaara , O 2016 , ' How to Deal with Unbelievable Assertions ' , Annals of Mathematics and Artificial Intelligence , vol. 78 , no. 3-4 , pp. 323-360 .

Title: How to Deal with Unbelievable Assertions
Author: Nykänen, Matti; Hakli, Raul; Eloranta, Satu; Niinivaara, Olli
Contributor organization: Department of Computer Science
TINT – Centre for Philosophy of Social Science
Date: 2016-11-29
Language: eng
Number of pages: 38
Belongs to series: Annals of Mathematics and Artificial Intelligence
ISSN: 1012-2443
Abstract: We tackle the problem that arises when an agent receives unbelievable information. Information is unbelievable if it conflicts with the agent’s convictions, that is, what the agent considers knowledge. We propose two solutions based on modifying the information so that it is no longer unbelievable. In one solution, the source and the receiver of the information cooperatively resolve the conflict. For this purpose we introduce a dialogue protocol in which the receiver explains what is wrong with the information by using logical interpolation, and the source produces a new assertion accordingly. If such cooperation is not possible, we propose an alternative solution in which the receiver revises the new piece of information by its own convictions to make it acceptable.
Subject: 113 Computer and information sciences
Peer reviewed: Yes
Usage restriction: openAccess
Self-archived version: acceptedVersion
Funder: Unknown funder
Grant number:

Files in this item

Total number of downloads: Loading...

Files Size Format View
amai_main_11.pdf 235.9Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record