Default reasoning and possibility theory. (English) Zbl 0645.68108

This note discusses an approach, recently outlined by R. R. Yager [ibid. 31, 99-112 (1987; Zbl 0624.68083)], to default reasoning based on possibility theory. Some limitations of his technique are pointed out, and remedied in the same theoretical framework. The proposed approach leads to address the question of fusing a default value with a piece of incomplete but certain information which may only partially contradict the default value.


68T99 Artificial intelligence


Zbl 0624.68083
Full Text: DOI


[1] Yager, R. R., Using approximate reasoning to represent default knowledge, Artificial Intelligence, 31, 99-112 (1987) · Zbl 0624.68083
[2] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst., 1, 3-28 (1978) · Zbl 0377.04002
[3] Zaheh, L. A., A theory of approximate reasoning, (Hayes, J. E.; Michie, D.; Mikulich, L. I., Machine Intelligence, 9 (1979), Wiley: Wiley New York), 149-194
[4] Rich, E., Default reasoning as likelihood reasoning, (Proceedings AAAI-83. Proceedings AAAI-83, Washington, DC (1983)), 348-351
[5] Ginsberg, M. L., Non-monotonic reasoning using Dempster’s rule, (Proceedings AAAI-84. Proceedings AAAI-84, Austin, TX (1984)), 126-129
[6] Michalski, R. S.; Winston, P. H., Variable precision logic, Artificial Intelligence, 29, 121-146 (1986) · Zbl 0623.68077
[7] Farreny, H.; Prade, H., Default and inexact reasoning with possibility degrees, IEEE Trans. Syst. Man Cybern., 16, 270-276 (1986) · Zbl 0591.68086
[8] Reiter, R., A logic for default reasoning, Artificial Intelligence, 13, 81-132 (1980) · Zbl 0435.68069
[9] Prade, H., A synthetic view of approximate reasoning techniques, (Proceedings IJCAI-83. Proceedings IJCAI-83, Karlsruhe, F.R.G. (1983)), 130-136
[10] Dubois, D.; Prade, H., Fuzzy logics and the generalized modus ponens revisited, Cybern. Syst., 15, 293-331 (1984) · Zbl 0595.03016
[11] Cayrol, M.; Farreny, H.; Prade, H., Fuzzy pattern matching, Kybernetes, 11, 103-116 (1982)
[12] Reiter, R.; Criscuolo, G., On interacting defaults, (Proceedings IJCAI-81. Proceedings IJCAI-81, Vancouver, BC (1981)), 270-276
[13] Prade, H., Reasoning with fuzzy default values, (Proceedings 15th IEEE International Symposium on Multiple-Valued Logic. Proceedings 15th IEEE International Symposium on Multiple-Valued Logic, Kingston, Ont. (1985)), 191-197
[14] Shafer, G., A Mathematical Theory of Evidence (1976), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 0359.62002
[15] Dubois, D.; Prade, H., Necessity measures and the resolution principle, IEEE Trans. Syst. Man Cybern., 17, 474-478 (1987) · Zbl 0643.94053
[16] Dubois, D.; Prade, H., Weighted minimum and maximum operations, An addendum to ‘A review of fuzzy set aggregation connectives’. An addendum to ‘A review of fuzzy set aggregation connectives’, Inf. Sci., 39, 205-210 (1986) · Zbl 0605.03021
[17] Dubois, D.; Prade, H., Combination and propagation of uncertainty with belief functions: A reexamination, (Proceedings IJCAI-85. Proceedings IJCAI-85, Los Angeles, CA (1985)), 111-113
[18] Doyle, J., Methodological simplicity in expert system construction: The case of judgements and reasoned assumptions, AI Mag., 4, 2, 39-43 (1983)
[19] Cohen, P. R., Numeric and symbolic reasoning in expert systems, (Proceedings ECAI-86. Proceedings ECAI-86, Brighton, England (1986)), 413-427
[20] Zadeh, L. A., Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Syst. Man Cybern., 15, 754-763 (1985) · Zbl 0593.03033
[21] Dubois, D. and Prade, H., On fuzzy syllogisms, Comput. Intell.; Dubois, D. and Prade, H., On fuzzy syllogisms, Comput. Intell. · Zbl 0935.03039
[22] Delgrande, J. P., A first-order conditional logic for prototypical properties, Artificial Intelligence, 33, 105-130 (1987) · Zbl 0654.68106
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.