Decision Analysis based on Kripke's semantics

被引:0
作者
Boeva, V [1 ]
Ekenberg, L [1 ]
机构
[1] Tech Univ Plovdiv, Dept Comp Syst, Plovdiv 4000, Bulgaria
来源
2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL 1, PROCEEDINGS | 2002年
关键词
decision analysis; uncertain reasoning; Dempster-Shafer theory; multi-agent systems; modal logic;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:154 / 159
页数:6
相关论文
共 16 条
[1]  
[Anonymous], 1980, Modal Logic: An Introduction, DOI DOI 10.1017/CBO9780511621192
[2]  
[Anonymous], 1963, TOPOLOGICAL SPACES I
[3]  
Aubin J. P., 1990, Set-valued analysis, DOI 10.1007/978-0-8176-4848-0
[4]   A framework for analysing decisions under risk [J].
Danielson, M ;
Ekenberg, L .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1998, 104 (03) :474-484
[5]   UPPER AND LOWER PROBABILITIES INDUCED BY A MULTIVALUED MAPPING [J].
DEMPSTER, AP .
ANNALS OF MATHEMATICAL STATISTICS, 1967, 38 (02) :325-&
[6]  
Denoeux T, 1999, INT J APPROX REASON, V20, P79, DOI 10.1016/S0888-613X(98)10023-3
[7]   Modeling vague beliefs using fuzzy-valued belief structures [J].
Denoeux, T .
FUZZY SETS AND SYSTEMS, 2000, 116 (02) :167-199
[8]   Imposing security constraints on agent-based decision support [J].
Ekenberg, L ;
Danielson, M ;
Boman, M .
DECISION SUPPORT SYSTEMS, 1997, 20 (01) :3-15
[9]   From local assessments to global rationality [J].
Ekenberg, L ;
Danielson, M ;
Boman, M .
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1996, 5 (2-3) :315-331
[10]  
EKENBERG L, 2000, ENCY COMP S, V43, P263