×

zbMATH — the first resource for mathematics

A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. (English) Zbl 0935.03026
Summary: This paper discusses belief revision under uncertain inputs in the framework of possibility theory. This framework is flexible enough to allow for numerical and ordinal revision procedures. It is emphasized that revision under uncertain inputs cn be understood in two different ways, depending on whether the input is viewed as a constraint to be enforced, or as an unreliable piece of information. Two revision rules are proposed to implement these forms of revision. It is shown that M. A. Williams’s transmutations, originally defined in the setting of Spohn’s functions, can be captured in possibility theory, as well as Boutilier’s natural revision. The use of conditioning greatly simplifies the description of these belief change operations. Lastly, preliminary results on implementing revision rules at the syntactic level are given.

MSC:
03B42 Logics of knowledge and belief (including belief change)
03B52 Fuzzy logic; logic of vagueness
68T27 Logic in artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Alchourrón, C.E.P.; Gärdenfors, P.; Makinson, D., On the logic of theory change: partial meet functions for contraction and revision, J. symbolic logic, 50, 510-530, (1985) · Zbl 0578.03011
[2] Benferhat, S.; Cayrol, C.; Dubois, D.; Lang, J.; Prade, H., Inconsistency management and prioritized syntax-based entailment, (), 640-645
[3] Benferhat, S.; Dubois, D.; Prade, H., How to infer from inconsistent beliefs without revising?, (), 1449-1455
[4] Benferhat, S., Dubois, D., Prade, H., Syntactic and semantic approaches to information combination in possibilistic logic, in Aggregation of Evidence under Fuzziness (B. Bouchon-Meunier, Ed.), Physica-Verlag, Berlin, to appear. · Zbl 0898.68079
[5] Boutilier, C., Revision sequences and nested conditionals, (), 512-525
[6] Boutilier, C.; Goldszmidt, M., Revision by conditional beliefs, (), 649-654
[7] Brewka, G., Preferred subtheories: an extended logical framework for default reasoning, (), 1043-1048 · Zbl 0713.68053
[8] Cox, R.T., Probability, frequency and reasonable expectation, Amer. J. phys., 14, 1-13, (1946) · Zbl 0063.01001
[9] Darwiche, A.; Pearl, J., On the logic of iterated belief revision, (), 5-23
[10] Dubois, D.; Fodor, J.C.; Prade, H.; Roubens, M., Aggregation of decomposable measures with application to utility theory, Theory and decision, 41, 59-95, (1996) · Zbl 0863.90020
[11] Dubois, D.; Lang, J.; Prade, H., Inconsistency in possibilistic knowledge bases: to live with it or not live with it, (), 335-351
[12] Dubois, D.; Lang, J.; Prade, H., Possibilistic logic, (), 439-513
[13] Dubois, D.; Prade, H., Possibilistic logic under matrix form, (), 112-126
[14] Dubois, D.; Prade, H., Aggregation of possibility measures, (), 55-63
[15] Dubois, D.; Prade, H., Epistemic entrenchment and possibilistic logic, Artificial intelligence, 50, 223-239, (1991) · Zbl 0749.03019
[16] Dubois, D.; Prade, H., Updating with belief functions, ordinal conditional functions and possibility measures, (), 311-329 · Zbl 0741.68091
[17] Dubois, D.; Prade, H., Belief change and possibility theory, (), 142-182
[18] Dubois, D.; Prade, H., Belief revision and updates in numerical formalisms — an overview, with new results for the possibilistic framework, (), 620-625
[19] Dubois, D.; Prade, H., Possibility theory as a basis for qualitative decision theory, (), 1924-1930
[20] Gärdenfors, P., Knowledge in flux: modeling the dynamics of epistemic states, (1988), MIT Press · Zbl 1229.03008
[21] Gärdenfors, P.; Makinson, D., Nonmonotonic inference based on expectation ordering, Artificial intelligence, 65, 197-245, (1994) · Zbl 0803.68125
[22] Goldszmidt, M.; Pearl, J., Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions, (), 661-672
[23] Grove, A., Two modellings for theory change, J. philos. logic, 15, 157-170, (1988) · Zbl 0639.03025
[24] Jeffrey, R., The logic of decision, (1965), McGraw-Hill New York
[25] Lehrer, K.; Wagner, C.G., Rational consensus in science and society, (1981), Reidel Boston
[26] Nebel, B., Syntax-based approaches to belief revision, (), 52-88
[27] Pearl, J., System Z: A natural ordering of defaults with tractable applications to default reasoning, (), 121-135
[28] Ramer, A., Conditional possibility measures, Internat. J. cybernet. and systems, 20, 233-247, (1989)
[29] Rescher, N., Plausible reasoning, (1976), Van Gorcum Amsterdam
[30] Rott, H., A nonmonotonic conditional logic for belief revision I, (), 135-183 · Zbl 0925.03134
[31] Spohn, W., Ordinal conditional functions: A dynamic theory of epistemic states, (), 105-134
[32] Williams, M.A., On the logic of theory base change, (), 86-105 · Zbl 0988.03512
[33] Williams, M.A., Transmutations of knowledge systems, (), 619-629
[34] Williams, M.A., Iterated theory base change: A computational model, (), 1541-1547
[35] Williams, M.A., Towards a practical approach to belief revision: reason-based change, ()
[36] Williams, P.M., Bayesian conditionalization and the principle of minimum information, British J. philos. sci., 31, 131-144, (1980)
[37] Zadeh, L.A., Fuzzy sets as a basis for a theory of possibility, Fuzzy sets and systems, 1, 3-28, (1978) · Zbl 0377.04002
[38] Zadeh, L.A., A theory of approximate reasoning, (), 149-194
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.