![]() Booth, Richard ![]() in Journal of Philosophical Logic (2012), 41(4), 711-733 Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on ... [more ▼] Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in Booth et al. (Artif Intell 174:1339–1368, 2010). However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of Booth et al. (Artif Intell 174:1339–1368, 2010) to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases. [less ▲] Detailed reference viewed: 101 (0 UL)![]() Caire, Patrice ![]() ![]() ![]() in Proceedings of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) (2011) Conviviality has been introduced as a social science concept for multiagent systems to highlight soft qualitative requirements like user friendliness of systems. In this paper we introduce formal ... [more ▼] Conviviality has been introduced as a social science concept for multiagent systems to highlight soft qualitative requirements like user friendliness of systems. In this paper we introduce formal conviviality measures for dependence networks using a coalitional game theoretic framework, which we contrast with more traditional efficiency and stability measures. Roughly, more opportunities to work with other people increases the conviviality, whereas larger coalitions may decrease the efficiency or stability of these involved coalitions. We first introduce assumptions and requirements, then we introduce a classification, and finally we introduce the conviviality measures. We use a running example from robotics to illustrate the measures. [less ▲] Detailed reference viewed: 141 (5 UL)![]() ![]() Booth, Richard ![]() Scientific Conference (2011) Detailed reference viewed: 32 (0 UL)![]() Booth, Richard ![]() in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) (2010) Detailed reference viewed: 44 (0 UL)![]() Booth, Richard ![]() in Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009) (2009) Detailed reference viewed: 106 (0 UL)![]() ![]() Booth, Richard ![]() Scientific Conference (2009) Detailed reference viewed: 27 (0 UL) |
||