How to Deal with Unbelievable Assertions

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

doi:10.1007/s10472-015-9493-3

How to Deal with Unbelievable Assertions

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

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	englanti
Lehti	Annals of Mathematics and Artificial Intelligence
Vuosikerta	78
Numero	3-4
Sivut	323-360
Sivumäärä	38
ISSN	1012-2443
DOI - pysyväislinkit	https://doi.org/10.1007/s10472-015-9493-3
Tila	Julkaistu - 29 marrask. 2016
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.1007/s10472-015-9493-3

preprint_version_amai-main-11Hyväksytty kirjoittajan käsikirjoitus, 236 KB

Yhteiskuntatieteiden filosofian tutkimuksen huippuyksikkö
Mäki, U. (Projektinjohtaja), Ylikoski, P. (Osallistuja), Tuomela, R. (Osallistuja), Basso, A. (Osallistuja), Godman, M. K. (Osallistuja), Grune-Yanoff, T. (Osallistuja), Hakli, R. (Osallistuja), Hindriks, F. (Osallistuja), Jukola, S. (Osallistuja), Kaidesoja, T. (Osallistuja), Kokkonen, T. (Osallistuja), Koskinen, I. (Osallistuja), Knuuttila, T. (Osallistuja), Kuorikoski, J. (Osallistuja), Laitinen, A. (Osallistuja), Lehtinen, A. (Osallistuja), Lisciandra, C. (Osallistuja), MacLeod, M. (Osallistuja), Marchionni, C. (Osallistuja), Martini, C. (Osallistuja), Merz, M. (Osallistuja), Miller, K. (Osallistuja), Mäkelä, P. (Osallistuja), Nagatsu, M. (Osallistuja), Pylkkänen, P. (Osallistuja), Reijula, S. (Osallistuja), Raatikainen, P. (Osallistuja), Raerinne, J. (Osallistuja), Rolin, K. (Osallistuja), Wallenberg (Rusanen), A.-M. (Osallistuja), Salmela, M. (Osallistuja), Walsh, A. (Osallistuja) & Zahle, J. (Osallistuja)
Unknown funder
01/01/2012 → 31/12/2017
Projekti: Tutkimusprojekti

Siteeraa tätä

@article{76931bc1cd9a40178daf3c9e3f89ad0d,

title = "How to Deal with Unbelievable Assertions",

abstract = "We tackle the problem that arises when an agent receives unbelievable information. Information is unbelievable if it conflicts with the agent{\textquoteright}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.",

keywords = "113 Computer and information sciences",

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

year = "2016",

month = nov,

day = "29",

doi = "10.1007/s10472-015-9493-3",

language = "English",

volume = "78",

pages = "323--360",

journal = "Annals of Mathematics and Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Netherlands",

number = "3-4",

}

TY - JOUR

T1 - How to Deal with Unbelievable Assertions

AU - Nykänen, Matti

AU - Hakli, Raul

AU - Eloranta, Satu

AU - Niinivaara, Olli

PY - 2016/11/29

Y1 - 2016/11/29

N2 - 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.

AB - 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.

KW - 113 Computer and information sciences

U2 - 10.1007/s10472-015-9493-3

DO - 10.1007/s10472-015-9493-3

M3 - Article

SN - 1012-2443

VL - 78

SP - 323

EP - 360

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

IS - 3-4

ER -

How to Deal with Unbelievable Assertions

Abstrakti

Tieteenalat

Pääsy asiakirjaan

Projektit

Yhteiskuntatieteiden filosofian tutkimuksen huippuyksikkö

Siteeraa tätä