메뉴 건너뛰기




Volumn 2, Issue , 1995, Pages 1449-1455

How to infer from inconsistent beliefs without revising0

Author keywords

[No Author keywords available]

Indexed keywords

COMPARATIVES STUDIES; CONSEQUENCE RELATIONS; CONSISTENT SUBSET; MULTIPLE SOURCE; NEW APPROACHES; SOURCES OF INFORMATIONS;

EID: 0003242215     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (79)

References (36)
  • 2
    • 0002892424 scopus 로고
    • Argumentative inference in uncertain and inconsistent knowledge bases
    • S Benferhat D Dubois H Prade (1991a) Argumentative inference in uncertain and inconsistent knowledge bases Proc DAI 91 411 419.
    • (1991) Proc DAI , vol.91 , pp. 411-419
    • Benferhat, S1    Dubois, D2    Prade, H3
  • 3
    • 85168143943 scopus 로고    scopus 로고
    • Inconsistency management and prioritized svnlax based entailment
    • (]993b)
    • S Benferhat C Cayrol D Dubois J Lang H Prade (]993b) Inconsistency management and prioritized svnlax based entailment Proc IJCA193 640 645.
    • Proc IJCA193 , pp. 640645
    • Benferhat, C1    Cayrol, D2    Dubois, J3    Prade, H4
  • 6
    • 0000342173 scopus 로고
    • Preferred sublheoncs An extended logical framework for default reasoning
    • G Brewka (1989) Preferred sublheoncs An extended logical framework for default reasoning Proc IJC Al 89 1041 1048.
    • (1989) Proc IJC Al , vol.89 , pp. 1041-1048
    • Brewka, G1
  • 8
    • 85168142477 scopus 로고
    • Comparison de relations d inference nonmonotone Elude de complexite
    • Research Report IRIT/93 23 R 1R1T Toulouse
    • C Cayrol MC Lagasquie Schiex (1991) Comparison de relations d inference nonmonotone Elude de complexite" Research Report IRIT/93 23 R 1R1T Toulouse.
    • (1991)
    • Cayrol, C1    Lagasquie Schiex, MC2
  • 9
    • 0343676690 scopus 로고
    • Proving theorems in a mulu source environment
    • L Cholvy (1993) Proving theorems in a mulu source environment Proc IJCAI93 66 71.
    • (1993) Proc IJCAI93 , vol.66 , pp. 71
    • Cholvy, L1
  • 10
    • 2342443872 scopus 로고
    • Calculs proposilionnels pour les systemes formels mconsistants Compic
    • N C A Da Costa (1963) Calculs proposilionnels pour les systemes formels mconsistants Compic Rendu Acad des Sciences (Pans) 257 3790 3792.
    • (1963) Rendu Acad des Sciences (Pans) , vol.257 , pp. 3790-3792
    • Da Costa, N C A1
  • 11
    • 0025503543 scopus 로고
    • Using crude probability estimates lo guide diagnosis
    • J De Kleer (1990) Using crude probability estimates lo guide diagnosis Artificial Intelligence 45 381 391.
    • (1990) Artificial Intelligence , vol.45 , pp. 381-391
    • De Kleer, J1
  • 12
    • 85168103891 scopus 로고
    • On the relation between the coherence and foundation theories of belief revision
    • A Del Val (1994) On the relation between the coherence and foundation theories of belief revision Proc AAAI94 909 914.
    • (1994) Proc AAAI94 , pp. 909914
    • Del Val, A1
  • 13
    • 0002404185 scopus 로고
    • Reason maintenance and belief revision foundations vs coherence theories
    • (P Gardenfors ed) Cambridge Univ Press
    • J Doyle (1992) Reason maintenance and belief revision foundations vs coherence theories In Belief Revision (P Gardenfors ed ) Cambridge Univ Press 29 51.
    • (1992) Belief Revision , pp. 2951
    • Doyle, J1
  • 14
    • 0343297209 scopus 로고
    • Inconsistency in possibilistic knowledge bases - To live or not live with it
    • (L A Zadeh J Kacprzyk eds) Wiley
    • D Dubois J Lang H Prade (1992a) Inconsistency in possibilistic knowledge bases - To live or not live with it In Fuzzy Logic for the Management of Uncertainty (L A Zadeh J Kacprzyk eds) Wiley 335 3S1.
    • (1992) Fuzzy Logic for the Management of Uncertainty , vol.335 , pp. 3S1
    • Dubois, D1    Lang, J2    Prade, H3
  • 15
    • 1842828112 scopus 로고
    • Dealing with multi source information in possibilistic logic
    • D Dubois J Lang H Prade (1992b) Dealing with multi source information in possibilistic logic Proc ECAl 92 38-42.
    • (1992) Proc ECAl , vol.92 , pp. 38-42
    • Dubois, D1    Lang, J2    Prade, H3
  • 17
    • 0026187870 scopus 로고
    • Epistemic entrenchment and possibilistic logic
    • D Dubois H Prade (1991) Epistemic entrenchment and possibilistic logic Artificial Intelligence 50 223 239.
    • (1991) Artificial Intelligence , vol.50 , pp. 223-239
    • Dubois, D1    Prade, H2
  • 18
    • 0141474674 scopus 로고
    • Dialectic reaso ning with inconsistent information
    • M Elvang Goransson P Krause J Fox (1993) Dialectic reaso ning with inconsistent information Proc UA1 93 114 121.
    • (1993) Proc UA1 , vol.93 , pp. 114-121
    • Elvang Goransson, M1    Krause, P2    Fox, J3
  • 21
    • 0002428155 scopus 로고
    • The dynamics of belief systems Foundations v coherence theories
    • P Gardenfors (1990) The dynamics of belief systems Foundations v coherence theories Revue Internationale de Philosophic 172 24 46.
    • (1990) Revue Internationale de Philosophic , vol.172 , pp. 2446
    • Gardenfors, P1
  • 23
    • 85168145772 scopus 로고
    • Syntax based default reasoning as probabilistic model based diagnosis
    • J Lang (1994) Syntax based default reasoning as probabilistic model based diagnosis Proc UAS94 391 298.
    • (1994) Proc UAS94 , vol.391 , pp. 298
    • Lang, J1
  • 25
    • 0026867827 scopus 로고
    • What does a conditional knowledge base entail9
    • 1 60
    • D Lehmann M Magidor (1992) What does a conditional knowledge base entail9 Artificial Intelligence 55(1) 1 60.
    • (1992) Artificial Intelligence , vol.55 , Issue.1
    • Lehmann, D1    Magidor, M2
  • 26
    • 0348187473 scopus 로고
    • Consistent belief reasoning in the presence of inconsistency
    • J Lin (1994) Consistent belief reasoning in the presence of inconsistency Proc TARK 94.
    • (1994) Proc TARK , pp. 94
    • Lin, J1
  • 27
    • 0002182507 scopus 로고
    • Belief revision and default reasoning Syntax based approaches
    • B Nebel (1991) Belief revision and default reasoning Syntax based approaches Proc KR9I 417-428.
    • (1991) Proc KR9I , pp. 417-428
    • Nebel, B1
  • 28
    • 0012946141 scopus 로고
    • Base revision operator ans schemes Semantics representation and complexity
    • B Nebel (1994) Base revision operator ans schemes Semantics representation and complexity Proc ECAl 94 341 345.
    • (1994) Proc ECAl , vol.94 , pp. 341-345
    • Nebel, B1
  • 29
    • 0000210652 scopus 로고
    • Defeasible reasoning
    • JL Pollock (1987) Defeasible reasoning Cognitive Science 11 481 518.
    • (1987) Cognitive Science , vol.11 , pp. 481-518
    • Pollock, JL1
  • 30
    • 0002556901 scopus 로고    scopus 로고
    • On the comparison of theories preferring the most specific explanation
    • (I985)
    • D Poole (I985) On the comparison of theories preferring the most specific explanation Proc IJCAI85 144 147.
    • Proc IJCAI85 , pp. 144147
    • Poole, D1
  • 31
    • 0041520870 scopus 로고
    • Formal theories ol belief revision
    • A S Rao N Y Foo (1989) Formal theories ol belief revision Proc KR 89 369 380.
    • (1989) Proc KR , vol.89 , pp. 369-380
    • Rao, A S1    Foo, N Y2
  • 33
    • 0000482243 scopus 로고
    • On inference from inconsistent premises
    • N Rescher R Manor (1970) On inference from inconsistent premises Theory and Decision 1 179 219.
    • (1970) Theory and Decision , vol.1 , pp. 179-219
    • Rescher, N1    Manor, R2
  • 34
    • 0026817743 scopus 로고
    • A mathematical treatment of defeasible reasoning and its implementation
    • GR Siman RP Loui (1992) A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 125 157.
    • (1992) Artificial Intelligence , vol.53 , pp. 125-157
    • Siman, GR1    Loui, RP2
  • 36


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