TY - GEN
T1 - A characterization theorem for trackable updates
AU - Cinà, Giovanni
N1 - Publisher Copyright: © Springer-Verlag GmbH Germany 2017.
PY - 2017
Y1 - 2017
N2 - The information available to some agents can be represented with several mathematical models, depending on one’s purpose. These models differ not only in their level of precision, but also in how they evolve when the agents receive new data. The notion of tracking was introduced to describe the matching of information dynamics, or ‘updates’, on different structures. We expand on the topic of tracking, focusing on the example of plausibility and evidence models, two central structures in the literature on formal epistemology. Our main result is a characterization of the trackable updates of a certain class, that is, we give the exact condition for an update on evidence models to be trackable by a an update on plausibility models. For the positive cases we offer a procedure to compute the other update, while for the negative cases we give a recipe to construct a counterexample to tracking. To our knowledge, this is the first result of this kind in the literature.
AB - The information available to some agents can be represented with several mathematical models, depending on one’s purpose. These models differ not only in their level of precision, but also in how they evolve when the agents receive new data. The notion of tracking was introduced to describe the matching of information dynamics, or ‘updates’, on different structures. We expand on the topic of tracking, focusing on the example of plausibility and evidence models, two central structures in the literature on formal epistemology. Our main result is a characterization of the trackable updates of a certain class, that is, we give the exact condition for an update on evidence models to be trackable by a an update on plausibility models. For the positive cases we offer a procedure to compute the other update, while for the negative cases we give a recipe to construct a counterexample to tracking. To our knowledge, this is the first result of this kind in the literature.
UR - http://www.scopus.com/inward/record.url?scp=85029453438&partnerID=8YFLogxK
U2 - https://doi.org/10.1007/978-3-662-55665-8_7
DO - https://doi.org/10.1007/978-3-662-55665-8_7
M3 - Conference contribution
SN - 9783319649993
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 94
EP - 107
BT - Business Process Management - 15th International Conference, BPM 2017, Proceedings
A2 - Seligman, Jeremy
A2 - Yamada, Tomoyuki
A2 - Baltag, Alexandru
PB - Springer - Verlag
T2 - 15th International Conference on Business Process Management, BPM 2017
Y2 - 10 September 2017 through 15 September 2017
ER -