Logics of reasonable information sources

Arnon Avron; Jonathan Ben-Naim; Beata Konikowska

doi:10.1109/ISMVL.2010.19

Logics of reasonable information sources

Arnon Avron^*, Jonathan Ben-Naim, Beata Konikowska

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESPstructures which cannot be obtained from anyfinite number of valuations defined by reasonable sources.

Original language	English
Title of host publication	ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic
Pages	61-66
Number of pages	6
DOIs	https://doi.org/10.1109/ISMVL.2010.19
State	Published - 2010
Event	40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 - Barcelona, Spain Duration: 26 May 2010 → 28 May 2010

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Conference

Conference	40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010
Country/Territory	Spain
City	Barcelona
Period	26/05/10 → 28/05/10

Access to Document

10.1109/ISMVL.2010.19

Cite this

@inproceedings{601a4fa3fe6142b9a8d783a34a3e5de0,

title = "Logics of reasonable information sources",

abstract = "Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESPstructures which cannot be obtained from anyfinite number of valuations defined by reasonable sources.",

author = "Arnon Avron and Jonathan Ben-Naim and Beata Konikowska",

year = "2010",

doi = "10.1109/ISMVL.2010.19",

language = "אנגלית",

isbn = "9780769540245",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

pages = "61--66",

booktitle = "ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic",

note = "40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 ; Conference date: 26-05-2010 Through 28-05-2010",

}

Avron, A, Ben-Naim, J & Konikowska, B 2010, Logics of reasonable information sources. in ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic., 5489215, Proceedings of The International Symposium on Multiple-Valued Logic, pp. 61-66, 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26/05/10. https://doi.org/10.1109/ISMVL.2010.19

TY - GEN

T1 - Logics of reasonable information sources

AU - Avron, Arnon

AU - Ben-Naim, Jonathan

AU - Konikowska, Beata

PY - 2010

Y1 - 2010

N2 - Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESPstructures which cannot be obtained from anyfinite number of valuations defined by reasonable sources.

AB - Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESPstructures which cannot be obtained from anyfinite number of valuations defined by reasonable sources.

UR - http://www.scopus.com/inward/record.url?scp=77955336009&partnerID=8YFLogxK

U2 - 10.1109/ISMVL.2010.19

DO - 10.1109/ISMVL.2010.19

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:77955336009

SN - 9780769540245

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 61

EP - 66

BT - ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic

T2 - 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010

Y2 - 26 May 2010 through 28 May 2010

ER -

Logics of reasonable information sources

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this