×

zbMATH — the first resource for mathematics

A Dempster-Shafer model of imprecise assertion strategies. (English) Zbl 1401.68320
Summary: A Dempster-Shafer theory based model of assertion is proposed for multi-agent communications so as to capture both epistemic and strategic uncertainty. Treating assertion as a choice problem, we argue that for complex multi-agent communication systems, individual agents will only tend to have sufficient information to allow them to formulate imprecise strategies for choosing between different possible true assertions. In a propositional logic setting, an imprecise assertion strategy is defined as a functional mapping between a valuation and a set of true sentences, where the latter is assumed to contain the optimal assertion given that particular state of the world. Uncertainty is then quantified in terms of probability distributions defined on the joint space of valuations and strategies, naturally leading to Dempster-Shafer belief and plausibility measures on sets of possible assertions. This model is extended so as to include imprecise valuations and to provide a meta-level treatment of weak and strong assertions. As a case study, we consider the application of our proposed assertion models to the problem of choosing between a number of different vague descriptions, in the context of both epistemic and supervaluationist approaches to vagueness.
MSC:
68T37 Reasoning under uncertainty in the context of artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aguirre, F.; Jacob, C.; Destercke, S.; Dubois, D.; Sallak, M., Inclusion/exclusion principle for belief functions, (Proceedings ISIPTA 2013, (2013), Compiègne France) · Zbl 1433.68437
[2] Allot, N., Game theory and communication, (Benz, A.; Jäger, G.; van, R., Rooij, Game Theory and Pragmatics, (2006), Palgrave Macmillan), 123-151
[3] Banerjee, M.; Dubois, D., A simple logic for reasoning about incomplete knowledge, Int. J. Approx. Reason., 55, 2, 639-653, (2013) · Zbl 1316.68151
[4] Daniel, M., Probabilistic transformation of belief functions, (Lecture Notes in Computer Science, vol. 3571, (2005)), 539-551 · Zbl 1122.68643
[5] Dempster, A., Upper and lower probability induced by a multi-valued mapping, Ann. Math. Stat., 38, 2, 325-339, (1967) · Zbl 0168.17501
[6] Dubois, D.; Prade, H., Possibility theory, probability theory and multiple-valued logics: a clarification, Ann. Math. Artif. Intell., 32, 35-66, (2001) · Zbl 1314.68309
[7] Eyre, H.; Lawry, J., Communication success in vague category games, (Convention Proceedings of the AISB 2013, (2013))
[8] Eyre, H.; Lawry, J., Language games with vague categories and negations, Adapt. Behav., 22, 5, 289-303, (2014)
[9] Fine, K., Vagueness, truth and logic, Synthese, 30, 265-300, (1975) · Zbl 0311.02011
[10] Goldberg, E.; Driedger, N.; Kittredge, R. I., Using natural-language processing to produce weather forecasts, IEEE Intell. Syst. Appl., 9, 2, 45-53, (1994)
[11] Grice, H. P., Logic and conversation, (Cole, P.; Morgan, J., Syntax and Semantics, vol. 3, (1975), Academic Press), 22-40
[12] Hansen, P.; Jaumard, B.; Poggi de Aragão, M.; Chauny, F.; Perron, S., Probabilistic satisfiability with imprecise probabilities, Int. J. Approx. Reason., 24, 171-189, (2000) · Zbl 0995.68122
[13] Lawry, J., An overview of computing with words using label semantics, (Bustince, H.; Herrera, F.; Montero, J., Fuzzy Sets and Their Extensions: Representation, Aggregation and Models, (2008), Springer), 65-87 · Zbl 1161.68805
[14] Lawry, J., Appropriateness measures: an uncertainty model for vague concepts, Synthese, 161, 2, 255-269, (2008) · Zbl 1140.68066
[15] Lawry, J.; Tang, Y., Uncertainty modelling for vague concepts: a prototype theory approach, Artif. Intell., 173, 1539-1558, (2009) · Zbl 1185.68710
[16] Lawry, J.; Tang, Y., On truth-gaps, bipolar belief and the assertability of vague propositions, Artif. Intell., 191-192, 20-41, (2012) · Zbl 1270.68316
[17] Levi, I., The enterprise of knowledge, (1980), MIT Press
[18] Lewis, D., Convention: A philosophical study, (1969), Harvard University Press
[19] Nguyen, H. T., On random sets and belief functions, J. Math. Anal. Appl., 65, 531-542, (1978) · Zbl 0409.60016
[20] Parikh, P., Communication, meaning, and interpretation, Linguist. Philos., 23, 185-212, (2000)
[21] Parikh, R., Vague predicates and language games, Theoria (Spain), 11, 27, 97-107, (1996) · Zbl 0922.03042
[22] Paris, J. B., The uncertain reasoners companion: A mathematical perspective, (1994), Cambridge University Press · Zbl 0838.68104
[23] Portet, F.; Reiter, E.; Gatt, A.; Hunter, J.; Sripada, S.; Freer, Y.; Sykes, C., Automatic generation of textual summaries from neonatal intensive care data, Artif. Intell., 173, 7-8, 789-816, (2009)
[24] Reiter, E.; Dale, R., Building natural language generation systems, (2006), Cambridge University Press
[25] Shafer, G., A mathematical theory of evidence, (1976), Princeton University Press · Zbl 0359.62002
[26] Smets, P., Constructing the pignistic probability function in a context of uncertainty, (Henrion, M., Uncertainty in Artificial Intelligence, vol. 5, (1990), North Holland Amsterdam), 29-39 · Zbl 0721.68065
[27] Steels, L., Language games for autonomous robots, IEEE Intell. Syst., 16, 5, 16-22, (2001)
[28] van Deemter, K., Utility and language generation: the case of vagueness, J. Philos. Log., 38, 607-632, (2009) · Zbl 1189.03037
[29] Williamson, T., Vagueness, (1994), Routledge
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.