Computer Engineering Commons^™

Adding Possibilistic Knowledge To Probabilities Makes Many Problems Algorithmically Decidable, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Many physical theories accurately predict which events are possible and which are not, or -- in situations where probabilistic (e.g., quantum) effects are important -- predict the probabilities of different possible outcomes. At first glance, it may seem that this probabilistic information is all we need. We show, however, that to adequately describe physicists' reasoning, it is important to also take into account additional knowledge -- about what is possible and what is not. We show that this knowledge can be described in terms of possibility theory, and that the presence of this knowledge makes many problems algorithmically decidable.