메뉴 건너뛰기




Volumn 122, Issue 1, 2000, Pages 1-69

Belief functions and default reasoning

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC;

EID: 0034270568     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00041-2     Document Type: Article
Times cited : (64)

References (66)
  • 1
    • 0001793498 scopus 로고
    • Probability and the logic of conditionals
    • J. Hintikka, & P. Suppes. Amsterdam: North-Holland
    • Adams E.W. Probability and the logic of conditionals. Hintikka J., Suppes P. Aspects of Inductive Logic. 1966;253-316 North-Holland, Amsterdam.
    • (1966) Aspects of Inductive Logic , pp. 253-316
    • Adams, E.W.1
  • 3
    • 84990602723 scopus 로고
    • Combining knowledge bases consisting in first order theories
    • Baral C., Kraus S., Minker J., Subrahmanian V.S. Combining knowledge bases consisting in first order theories. Comput. Intelligence. Vol. 8:(1):1992;45-71.
    • (1992) Comput. Intelligence , vol.8 , Issue.1 , pp. 45-71
    • Baral, C.1    Kraus, S.2    Minker, J.3    Subrahmanian, V.S.4
  • 7
    • 0033319827 scopus 로고    scopus 로고
    • Possibilistic and standard probabilistic semantics of conditional knowledge bases
    • Benferhat S., Dubois D., Prade H. Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. Logic Comput. Vol. 9:1999;873-895.
    • (1999) J. Logic Comput. , vol.9 , pp. 873-895
    • Benferhat, S.1    Dubois, D.2    Prade, H.3
  • 10
    • 0000342173 scopus 로고
    • Preferred subtheories: An extended logical framework for default reasoning
    • Brewka G. Preferred subtheories: An extended logical framework for default reasoning. Proc. IJCAI'89, Detroit, MI. 1989;1043-1048.
    • (1989) Proc. IJCAI'89, Detroit, MI , pp. 1043-1048
    • Brewka, G.1
  • 13
    • 0343297209 scopus 로고
    • Inconsistency in possibilistic knowledge bases - To live or not live with it
    • L.A. Zadeh, & J. Kacprzyk. New York: Wiley
    • Dubois D., Lang J., Prade H. Inconsistency in possibilistic knowledge bases - To live or not live with it. Zadeh L.A., Kacprzyk J. Fuzzy Logic for the Management of Uncertainty. 1992;335-351 Wiley, New York.
    • (1992) Fuzzy Logic for the Management of Uncertainty , pp. 335-351
    • Dubois, D.1    Lang, J.2    Prade, H.3
  • 15
    • 0037753879 scopus 로고
    • Conditional objects, possibility theory and default rules
    • G. Crocco, L. Farinas del Cerro, & A. Herzig. Oxford University Press
    • Dubois D., Prade H. Conditional objects, possibility theory and default rules. Crocco G., Farinas del Cerro L., Herzig A. Conditionals: From Philosophy to Computer Sciences. 1995;311-346 Oxford University Press.
    • (1995) Conditionals: From Philosophy to Computer Sciences , pp. 311-346
    • Dubois, D.1    Prade, H.2
  • 18
    • 0025503543 scopus 로고
    • Using crude probability estimates to guide diagnosis
    • de Kleer J. Using crude probability estimates to guide diagnosis. Artificial Intelligence. Vol. 45:1990;381-391.
    • (1990) Artificial Intelligence , vol.45 , pp. 381-391
    • De Kleer, J.1
  • 19
    • 0002752749 scopus 로고
    • Theoretical foundations for non-monotonic reasoning in expert systems
    • K.R. Apt. Berlin: Springer
    • Gabbay D.M. Theoretical foundations for non-monotonic reasoning in expert systems. Apt K.R. Logics and Models of Concurrent Systems. 1985;439-457 Springer, Berlin.
    • (1985) Logics and Models of Concurrent Systems , pp. 439-457
    • Gabbay, D.M.1
  • 20
    • 0028379075 scopus 로고
    • Nonmonotonic inference based on expectations
    • Gärdenfors P., Makinson D. Nonmonotonic inference based on expectations. Artificial Intelligence. Vol. 65:1994;197-245.
    • (1994) Artificial Intelligence , vol.65 , pp. 197-245
    • Gärdenfors, P.1    Makinson, D.2
  • 24
    • 85028699559 scopus 로고
    • + : A formalism for reasoning with variable-strength defaults
    • + : A formalism for reasoning with variable-strength defaults. Proc. AAAI-91, Anaheim, CA. 1991;399-404.
    • (1991) Proc. AAAI-91, Anaheim, CA , pp. 399-404
    • Goldszmidt, M.1    Pearl, J.2
  • 25
    • 0030190238 scopus 로고    scopus 로고
    • Qualitative probabilities for default reasoning, belief revision, and causal modeling
    • Goldszmidt M., Pearl J. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence. Vol. 84:1996;57-112.
    • (1996) Artificial Intelligence , vol.84 , pp. 57-112
    • Goldszmidt, M.1    Pearl, J.2
  • 28
    • 0342862287 scopus 로고
    • Evidential reasoning in a categorial perspective: Conjunction and disjunction of belief functions
    • Kennes R. Evidential reasoning in a categorial perspective: Conjunction and disjunction of belief functions. Proc. 7th Conf. on Uncertainty in AI, Los Angeles, CA. 1991;174-181.
    • (1991) Proc. 7th Conf. on Uncertainty in AI, Los Angeles, CA , pp. 174-181
    • Kennes, R.1
  • 29
    • 0342862286 scopus 로고
    • The dynamics of belief in the transferable belief model
    • San Mateo, CA: Morgan Kaufmann
    • Klawonn F., Smets Ph. The dynamics of belief in the transferable belief model. Proc. 8th Conf. on Uncertainty in AI. 1991;130-137 Morgan Kaufmann, San Mateo, CA.
    • (1991) Proc. 8th Conf. on Uncertainty in AI , pp. 130-137
    • Klawonn, F.1    Smets, Ph.2
  • 31
    • 0025462359 scopus 로고
    • Non-monotonic reasoning, preferential models and cumulative logics
    • Kraus S., Lehmann D., Magidor M. Non-monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence. Vol. 44:1990;167-207.
    • (1990) Artificial Intelligence , vol.44 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 32
    • 0342427663 scopus 로고
    • Syntax-based default reasoning as probabilistic model-based diagnosis
    • Lang J. Syntax-based default reasoning as probabilistic model-based diagnosis. Proc. UAI'94, Seattle, WA. 1994;391-398.
    • (1994) Proc. UAI'94, Seattle, WA , pp. 391-398
    • Lang, J.1
  • 34
    • 21844498889 scopus 로고
    • Another perspective on default reasoning
    • Lehmann D. Another perspective on default reasoning. Ann. Math. Artificial Intelligence. Vol. 15:1995;61-82.
    • (1995) Ann. Math. Artificial Intelligence , vol.15 , pp. 61-82
    • Lehmann, D.1
  • 35
    • 0026867827 scopus 로고
    • What does a conditional knowledge base entail?
    • Lehmann D., Magidor M. What does a conditional knowledge base entail? Artificial Intelligence. Vol. 55:1992;1-60.
    • (1992) Artificial Intelligence , vol.55 , pp. 1-60
    • Lehmann, D.1    Magidor, M.2
  • 36
    • 84910776762 scopus 로고
    • General theory of cumulative inference
    • M. Reinfrank, J. de Kleer, M.L. Ginsberg, & E. Sandewall. Berlin: Springer Non-Monotonic Reasoning, Proc. of the 2nd Internat. Workshop, Grassau, FRG, June 1988
    • Makinson D. General theory of cumulative inference. Reinfrank M., de Kleer J., Ginsberg M.L., Sandewall E. Non-Monotonic Reasoning, Proc. of the 2nd Internat. Workshop, Grassau, FRG, June 1988. Lecture Notes in Artif. Intell. Vol. 346:1989;1-18 Springer, Berlin.
    • (1989) Lecture Notes in Artif. Intell. , vol.346 , pp. 1-18
    • Makinson, D.1
  • 37
    • 84956085576 scopus 로고
    • Internal set theory: A new approach to non-standard analysis
    • Nelson E. Internal set theory: A new approach to non-standard analysis. Bull. Amer. Math. Soc. Vol. 83:1977;1165-1198.
    • (1977) Bull. Amer. Math. Soc. , vol.83 , pp. 1165-1198
    • Nelson, E.1
  • 41
    • 0006411640 scopus 로고
    • Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities
    • Poole D. Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities. Proc. IJCAI-93, Chambéry, France. 1993;606-612.
    • (1993) Proc. IJCAI-93, Chambéry, France , pp. 606-612
    • Poole, D.1
  • 42
    • 0003385351 scopus 로고
    • Propositional nonmonotonic reasoning and inconsistency in symmetric neural networks
    • San Mateo, CA: Morgan Kaufmann
    • Pinkas G. Propositional nonmonotonic reasoning and inconsistency in symmetric neural networks. Proc. IJCAI-91, Sydney, Australia. 1991;525-530 Morgan Kaufmann, San Mateo, CA.
    • (1991) Proc. IJCAI-91, Sydney, Australia , pp. 525-530
    • Pinkas, G.1
  • 43
    • 49149147322 scopus 로고
    • A logic for default reasoning
    • Reiter R. A logic for default reasoning. Artificial Intelligence. Vol. 13:1980;81-132.
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1
  • 46
    • 0032091641 scopus 로고    scopus 로고
    • Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
    • Schurz G. Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic. Artificial Intelligence. Vol. 102:1998;81-95.
    • (1998) Artificial Intelligence , vol.102 , pp. 81-95
    • Schurz, G.1
  • 49
    • 0002286737 scopus 로고
    • Belief functions
    • Ph. Smets, E.H. Mamdani, D. Dubois, & H. Prade. New York: Academic Press
    • Smets Ph. Belief functions. Smets Ph., Mamdani E.H., Dubois D., Prade H. Non-Standard Logics for Automated Reasoning. 1988;253-286 Academic Press, New York.
    • (1988) Non-Standard Logics for Automated Reasoning , pp. 253-286
    • Smets, Ph.1
  • 50
    • 0025434991 scopus 로고
    • The combination of evidence in the transferable belief model
    • Smets Ph. The combination of evidence in the transferable belief model. IEEE Trans. Pattern Anal. Machine Intelligence. Vol. 12:1990;447-458.
    • (1990) IEEE Trans. Pattern Anal. Machine Intelligence , vol.12 , pp. 447-458
    • Smets, Ph.1
  • 52
    • 0031141157 scopus 로고    scopus 로고
    • The normative representation of quantified beliefs by belief functions
    • Smets Ph. The normative representation of quantified beliefs by belief functions. Artificial Intelligence. Vol. 92:1997;229-242.
    • (1997) Artificial Intelligence , vol.92 , pp. 229-242
    • Smets, Ph.1
  • 53
    • 84947764442 scopus 로고    scopus 로고
    • The α -junctions: Combination operators applicable to belief functions
    • D. Gabbay, R. Kruse, A. Nonnengart, & H.J. Ohlbach. Berlin: Springer
    • Smets Ph. The α -junctions: Combination operators applicable to belief functions. Gabbay D., Kruse R., Nonnengart A., Ohlbach H.J. Qualitative and Quantitative Practical Reasoning. 1997;131-153 Springer, Berlin.
    • (1997) Qualitative and Quantitative Practical Reasoning , pp. 131-153
    • Smets, Ph.1
  • 54
    • 0001099497 scopus 로고    scopus 로고
    • The transferable belief model for quantified belief representation
    • D.M. Gabbay, Smets Ph. Dordrecht: Kluwer
    • Smets Ph. The transferable belief model for quantified belief representation. Gabbay D.M., Smets Ph. Handbook of Defeasible Reasoning and Uncertainty Management Systems. Vol. 1:1998;267-301 Kluwer, Dordrecht.
    • (1998) Handbook of Defeasible Reasoning and Uncertainty Management Systems , vol.1 , pp. 267-301
    • Smets, Ph.1
  • 55
    • 0041462838 scopus 로고
    • Default reasoning and the transferable belief model
    • P. Bonissone, M. Henrion, L. Kanal, & J. Lemmer. Amsterdam: North-Holland
    • Smets Ph., Hsia Y.-T. Default reasoning and the transferable belief model. Bonissone P., Henrion M., Kanal L., Lemmer J. Uncertainty in Artificial Intelligence 6. 1991;495-504 North-Holland, Amsterdam.
    • (1991) Uncertainty in Artificial Intelligence 6 , pp. 495-504
    • Smets, Ph.1    Hsia, Y.-T.2
  • 58
    • 0033189058 scopus 로고    scopus 로고
    • Diverse confidence levels in a probabilistic semantics for conditional logics
    • Snow P. Diverse confidence levels in a probabilistic semantics for conditional logics. Artificial Intelligence. Vol. 113:1999;269-279.
    • (1999) Artificial Intelligence , vol.113 , pp. 269-279
    • Snow, P.1
  • 59
    • 0000731447 scopus 로고
    • Ordinal conditional functions: A dynamic theory of epistemic states
    • W.L. Harper, & B. Skyrms. Dordrecht, Netherlands: Kluwer Academic Publishers
    • Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states. Harper W.L., Skyrms B. Causation in Decision, Belief Change, and Statistics. 1988;105-134 Kluwer Academic Publishers, Dordrecht, Netherlands.
    • (1988) Causation in Decision, Belief Change, and Statistics , pp. 105-134
    • Spohn, W.1
  • 60
    • 0021002007 scopus 로고
    • Implicit ordering of defaults in inheritance systems
    • Touretzky D. Implicit ordering of defaults in inheritance systems. Proc. AAAI-84, Austin, TX. 1984;322-325.
    • (1984) Proc. AAAI-84, Austin, TX , pp. 322-325
    • Touretzky, D.1
  • 66
    • 49349133217 scopus 로고
    • Fuzzy sets as a basis for a theory of possibility
    • Zadeh L.A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Systems. Vol. 1:1978;3-28.
    • (1978) Fuzzy Sets Systems , vol.1 , pp. 3-28
    • Zadeh, L.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.