×

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
PDFBibTeX XMLCite
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, (Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93). Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93), Chambery (1993)), 640-645
[3] Benferhat, S.; Dubois, D.; Prade, H., How to infer from inconsistent beliefs without revising?, (Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95). Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95), Montréal, Canada, Aug. 20-25 (1995)), 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; Benferhat, S., Dubois, D., Prade, H., Syntactic and semantic approaches to information combination in possibilistic logic, in Aggregation of Evidence under Fuzziness · Zbl 0898.68079
[5] Boutilier, C., Revision sequences and nested conditionals, (Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93). Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93), Chambéry (1993)), 512-525
[6] Boutilier, C.; Goldszmidt, M., Revision by conditional beliefs, (Proceedings of the 11th National Conference on Artificial Intelligence (AAAI93). Proceedings of the 11th National Conference on Artificial Intelligence (AAAI93), Washington (1993)), 649-654
[7] Brewka, G., Preferred subtheories: An extended logical framework for default reasoning, (Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI’89). Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI’89), Detroit (1989)), 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, (Fagin, R., Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK’94) (1994), Morgan Kaufmann: Morgan Kaufmann Pacific Grove, CA), 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, (Zadeh, L. A.; Kacprzyk, J., Fuzzy Logic for the Management of Uncertainty (1992), Wiley: Wiley New York), 335-351
[12] Dubois, D.; Lang, J.; Prade, H., Possibilistic logic, (Gabbay, D. M.; etal., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (1994), Oxford U.P), 439-513
[13] Dubois, D.; Prade, H., Possibilistic logic under matrix form, (Negoita, C. V.; Prade, H., Fuzzy Logic in Knowledge Engineering (1986), Verlag TÜV Rheinland: Verlag TÜV Rheinland Köln), 112-126
[14] Dubois, D.; Prade, H., Aggregation of possibility measures, (Kacprzyk, J.; Fedrizzi, M., Multiperson Decision Making Using Fuzzy Sets and Possibility Theory (1990), Kluwer: Kluwer Dordrecht), 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, (Bonissone, P.; etal., Uncertainty in Artificial Intelligence, Vol. 6 (1991), Elsevier Science: Elsevier Science New York), 311-329 · Zbl 0741.68091
[17] Dubois, D.; Prade, H., Belief change and possibility theory, (Gärdenfors, P., Belief Revision (1992), Cambridge U.P: Cambridge U.P Cambridge), 142-182
[18] Dubois, D.; Prade, H., Belief revision and updates in numerical formalisms — an overview, with new results for the possibilistic framework, (Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93). Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93), Chambéry (1993)), 620-625
[19] Dubois, D.; Prade, H., Possibility theory as a basis for qualitative decision theory, (Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’95). Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’95), Montréal (1995)), 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, (Nebel, B.; etal., Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR’92) (1992), Cambridge U.P), 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: McGraw-Hill New York
[25] Lehrer, K.; Wagner, C. G., Rational Consensus in Science and Society (1981), Reidel: Reidel Boston
[26] Nebel, B., Syntax-based approaches to belief revision, (Gärdenfors, P., Belief Revision (1992), Cambridge U.P: Cambridge U.P Cambridge), 52-88
[27] Pearl, J., System Z: A natural ordering of defaults with tractable applications to default reasoning, (Parikh, R., Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK’90) (1990), Morgan Kaufmann), 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: Van Gorcum Amsterdam
[30] Rott, H., A nonmonotonic conditional logic for belief revision I, (Furmann, A.; Morreau, M., The Logic of Theory Change. The Logic of Theory Change, Lecture Notes in Artificial Intelligence, 465 (1991), Springer-Verlag: Springer-Verlag Berlin), 135-183 · Zbl 0925.03134
[31] Spohn, W., Ordinal conditional functions: A dynamic theory of epistemic states, (Harper, W. L.; Skyrms, B., Causation in Decision, Belief Change, and Statistics, Vol. 2 (1988), Reidel: Reidel Dordrecht), 105-134
[32] Williams, M. A., On the logic of theory base change, (Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA’95). Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA’95), Lecture Notes in Comput. Sci., 838 (1994), Springer-Verlag), 86-105 · Zbl 0988.03512
[33] Williams, M. A., Transmutations of knowledge systems, (Doyle, J.; etal., Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR’94) (1994), Morgan Kaufmann: Morgan Kaufmann Bonn), 619-629
[34] Williams, M. A., Iterated theory base change: A computational model, (Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95). Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95), Montreal (1995)), 1541-1547
[35] Williams, M. A., Towards a practical approach to belief revision: Reason-based change, (Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR’96). Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR’96), Cambridge, MA (Nov. 1996))
[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, (Hayes, J. E.; Michie, D.; Mikulich, L. I., Machine Intelligence, Vol. 9 (1979), Elsevier: Elsevier New York), 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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.