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