DocumentCode :
383299
Title :
Decision analysis based on Kripke´s semantics
Author :
Boeva, Veselka ; Ekenberg, Love
Author_Institution :
Dept. of Comput. Syst., Tech. Univ. of Plovdiv, Bulgaria
Volume :
1
fYear :
2002
fDate :
2002
Firstpage :
154
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium
Print_ISBN :
0-7803-7134-8
Type :
conf
DOI :
10.1109/IS.2002.1044247
Filename :
1044247
Link To Document :
بازگشت