Decision analysis based on Kripke's semantics
Veselka Boeva, Love Ekenberg · 2003
In this work, we consider a situation when a decision making agent has to choose between a finite set of strategies, having access to the opinions of finite set of autonomous agents. Moreover, the decision making agent is allowed to assign different credibilities to the statements made by the agents. We present this decision situation in terms of Kripke's semantics of possible worlds. The available information is vague and numerically imprecise and the evaluation results in a set of admissible strategies. The concept of admissibility is defined in terms of interval-valued (imprecise) plausibility and belief measures induced by a model of modal logic. The set of admissible strategies is further refined by introducing the notion of reliable agents.