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.
Towards a Logic of Epistemic Theory of Measurement
Publication type:
Contributo in atti di convegno
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