Title :
Decision analysis based on Kripke´s semantics
Author :
Boeva, Veselka ; Ekenberg, Love
Author_Institution :
Dept. of Comput. Syst., Tech. Univ. of Plovdiv, Bulgaria
Abstract :
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.
Keywords :
decision making; decision theory; formal logic; inference mechanisms; multi-agent systems; software agents; Kripke´s semantics; admissibility; admissible strategies; autonomous agents; belief measures; decision making agent; interval-valued plausibility; modal logic; multi-agent systems; reliable agents; strategies; uncertain reasoning; Application software; Autonomous agents; Decision making; Information technology; Linear systems; Logic; Multiagent systems; Postal services;
Conference_Titel :
Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium
Print_ISBN :
0-7803-7134-8
DOI :
10.1109/IS.2002.1044247