Epistemic entrenchment and possibilistic logic. (English) Zbl 0749.03019
Summary: This note points out the close relationships existing between recent proposals in the theory of belief revision made by Gärdenfors based on the notion of epistemic entrenchment, and possibility theory applied to automated reasoning under uncertainty. It is claimed that the only numerical counterparts of epistemic entrenchment relations are so-called necessity measures that are dual to possibility measures, and are also mathematically equivalent to consonant belief functions in the sense of Shafer. Relationships between Spohn’s ordinal conditional functions and possibility theory are also laid bare.
Keywords:
belief revision; epistemic entrenchment; possibility theory; automated reasoning under uncertainty; necessity measures; possibility measures; consonant belief functions; Spohn’s ordinal conditional functionsReferences:
| [1] | Dubois, D., Belief structures, possibility theory and decomposable confidence measures on finite sets, Comput. Artif. Intell. (Bratislava), 5, 5, 403-416 (1986) · Zbl 0657.60006 |
| [2] | Dubois, D., Possibility theory: towards normative foundations, (Munier, B., Decision, Risk, and Rationality (1988), Reidel: Reidel Dordrecht), 601-614 · Zbl 0661.90006 |
| [3] | Dubois, D.; Lang, J.; Prade, H., Theorem-proving under uncertainty — a possibility theory-based approach, (Proceedings IJCAI-87. Proceedings IJCAI-87, Milan, Italy (1987)), 984-986 |
| [4] | Dubois, D.; Lang, J.; Prade, H., Automated reasoning using possibilistic logic: semantics, belief revision, variable certainty weights, (Preprints fifth Workshop on Uncertainty in Artificial Intelligence. Preprints fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, Ont. (1989)), 81-87 |
| [5] | Dubois, D.; Prade, H., Necessity measures and the resolution principle, IEEE Trans. Syst. Man and Cybern., 17, 474-478 (1987) · Zbl 0643.94053 |
| [6] | (Shafer, G.; Pearl, J., Readings in Uncertain Reasoning (1990), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 742-761 · Zbl 0805.68121 |
| [7] | Dubois, D.; Prade, H., Representation and combination of uncertainty with belief functions and possibility measures, Comput. Intell., 4, 4, 244-264 (1988) |
| [8] | Dubois, D.; Prade, H., Resolution principles in possibilistic logic, Int. J. Approx. Reasoning, 4, 1, 1-21 (1990) · Zbl 0697.68083 |
| [9] | Dubois, D.; Prade, H., (Possibility Theory: An Approach to Computerized Processing of Uncertainty (1988), Plenum: Plenum New York), with the collaboration of H. Farreny, R. Martin-Clouaire and C. Testemale · Zbl 0741.68091 |
| [10] | Gärdenfors, P., (Knowledge in Flux—Modeling the Dynamics of Epistemic States (1988), MIT Press: MIT Press Cambridge, MA) · Zbl 1229.03008 |
| [11] | Gärdenfors, P.; Makinson, D., Revisions of knowledge systems using epistemic entrenchment, (Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge. Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1988)), 83-95 · Zbl 0711.03009 |
| [12] | Gärdenfors, P., (Knowledge in Flux — Modeling the Dynamics of Epistemic States (1988), MIT Press: MIT Press Cambridge, MA) · Zbl 1229.03008 |
| [13] | Nebel, B., A knowledge level analysis of belief revision, (Proceedings First International Conference on Principles of Knowledge Representation and Reasoning. Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989)), 301-311 · Zbl 0709.68091 |
| [14] | Pearl, J., (Probabilistic Reasoning in Intelligent Systems—Networks of Plausible Inference (1988), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA) |
| [15] | Shackle, G. L.S., (Decision, Order and Time in Human Affairs (1961), Cambridge University Press: Cambridge University Press Cambridge) |
| [16] | Shafer, G., (A Mathematical Theory of Evidence (1976), Princeton University Press: Princeton University Press Princeton, NJ) · Zbl 0359.62002 |
| [17] | Spohn, W., Ordinal conditional functions: a dynamic theory of epistemic states, (Harper, W.; Skyrms, B., Causation in Decision, Belief Change and Statistics (1988), Kluwer: Kluwer Dordrecht), 105-134 |
| [18] | Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst., 1, 1, 3-28 (1978) · Zbl 0377.04002 |
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.
