×

zbMATH — the first resource for mathematics

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.

MSC:
68T99 Artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[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, (), 149-194
[4] Rich, E., Default reasoning as likelihood reasoning, (), 348-351
[5] Ginsberg, M.L., Non-monotonic reasoning using Dempster’s rule, (), 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, (), 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, (), 270-276
[13] Prade, H., Reasoning with fuzzy default values, (), 191-197
[14] Shafer, G., A mathematical theory of evidence, (1976), 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’, Inf. sci., 39, 205-210, (1986) · Zbl 0605.03021
[17] Dubois, D.; Prade, H., Combination and propagation of uncertainty with belief functions: A reexamination, (), 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, (), 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., to appear. · 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. 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.