Towards a Logic of Epistemic Theory of Measurement

We propose a logic to reason about data collected by a number of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measurement devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable operators to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Claudio Masolo and Daniele Porello
Source: 
Modeling and Using Context - 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019, pp. 175–188, Trento, November 20-22
info:cnr-pdr/source/autori:Claudio Masolo and Daniele Porello/congresso_nome:Modeling and Using Context - 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019/congresso_luogo:Trento/congresso_data:Novemb
Date: 
2019
Resource Identifier: 
http://www.cnr.it/prodotto/i/411742
https://dx.doi.org/10.1007/978-3-030-34974-5_15
info:doi:10.1007/978-3-030-34974-5_15
https://doi.org/10.1007/978-3-030-34974-5_15
Language: 
Cpe
ISTC Author: 
Claudio Masolo's picture
Real name: 
Daniele Porello's picture
Real name: