메뉴 건너뛰기




Volumn 28, Issue 3-4, 1996, Pages 377-402

A two-stage approach to first order default reasoning

Author keywords

Defaults; Generalized Quantifiers; Nonmonotonic Logic; Preferential Models

Indexed keywords

DATA STRUCTURES; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

EID: 0030386740     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1996-283412     Document Type: Article
Times cited : (4)

References (33)
  • 1
    • 77956969818 scopus 로고
    • An introduction to first-order logic
    • Barwise, J. (ed.) Amsterdam: North Holland
    • Barwise, J.: "An introduction to first-order logic". Barwise, J. (ed.) Handbook of Mathematical Logic, Amsterdam: North Holland, 1977, p.5-46
    • (1977) Handbook of Mathematical Logic , pp. 5-46
    • Barwise, J.1
  • 3
    • 0021785464 scopus 로고
    • Saturation, Nonmonotonic Reasoning and the Closed- World Assumption
    • Bossu, G. and Siegel, P.: "Saturation, Nonmonotonic Reasoning and the Closed- World Assumption", Artificial Intelligence 25, 1985, p.13-63
    • (1985) Artificial Intelligence , vol.25 , pp. 13-63
    • Bossu, G.1    Siegel, P.2
  • 4
    • 26444518044 scopus 로고
    • Research Report RR-93-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany
    • Baader, F. and Schlechta, K.: "A semantics for open normal defaults via a modified preferential approach", Research Report RR-93-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrucken, Germany, 1993
    • (1993) A Semantics for Open Normal Defaults via a Modified Preferential Approach
    • Baader, F.1    Schlechta, K.2
  • 5
    • 85157976250 scopus 로고
    • Conditional Logics of Normality as Modal Systems
    • Boston
    • Boutilier, C.: "Conditional Logics of Normality as Modal Systems", AAAI, Boston, 1990, p.594
    • (1990) AAAI , pp. 594
    • Boutilier, C.1
  • 9
    • 0002752749 scopus 로고
    • Theoretical foundations for non-monotonic reasoning in expert systems
    • K.R. Apt (ed.), Berlin: Springer
    • Gabbay, D. M.: "Theoretical foundations for non-monotonic reasoning in expert systems". K.R. Apt (ed.), Logics and Models of Concurrent Systems, Berlin: Springer, 1985, p.439-457
    • (1985) Logics and Models of Concurrent Systems , pp. 439-457
    • Gabbay, D.M.1
  • 10
    • 0007774615 scopus 로고    scopus 로고
    • An analysis of some deontic logics
    • Hansson, B.: "An analysis of some deontic logics", Nous 3, p.373-398.
    • Nous , vol.3 , pp. 373-398
    • Hansson, B.1
  • 12
    • 26444434158 scopus 로고
    • Filter logics on ω
    • Kaufmann, M.: "Filter logics on ω", Journal of Symbolic Logic, 49, (1), 1984, p.241-256
    • (1984) Journal of Symbolic Logic , vol.49 , Issue.1 , pp. 241-256
    • Kaufmann, M.1
  • 13
    • 0002136379 scopus 로고
    • Logic with the quantifier "there exist uncountably many"
    • Keisler, H. J.: "Logic with the quantifier "there exist uncountably many"", Annals of Mathematical Logic 1, 1970, p.1-93
    • (1970) Annals of Mathematical Logic , vol.1 , pp. 1-93
    • Keisler, H.J.1
  • 14
    • 0040950377 scopus 로고
    • Fundamentals of model theory
    • J. Barwise ed., Amsterdam: North Holland
    • Keisler, H. J.: "Fundamentals of model theory", in Handbook of Mathematical Logic, J. Barwise ed., Amsterdam: North Holland, 1977, p.47-104
    • (1977) Handbook of Mathematical Logic , pp. 47-104
    • Keisler, H.J.1
  • 15
    • 0003798201 scopus 로고
    • Berlin: Springer, original edition Princeton
    • Kelley, J. L.: General Topology, Berlin: Springer, 1975 (original edition Princeton 1955)
    • (1955) General Topology
    • Kelley, J.L.1
  • 16
    • 0025462359 scopus 로고
    • Nonmonotonic reasoning, preferential models and cumulative logics
    • Kraus, S., Lehmann, D., and Magidor, M.: "Nonmonotonic reasoning, preferential models and cumulative logics", Artificial Intelligence, 44, (1-2), 1990, p.167-207
    • (1990) Artificial Intelligence , vol.44 , Issue.1-2 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 18
    • 9444278958 scopus 로고
    • Tech.Rept. TR-92-3, Feb. Hebrew University, Jerusalem 91904, Israel
    • Lehmann, D.: "Plausibility Logic", Tech.Rept. TR-92-3, Feb. 1992, Hebrew University, Jerusalem 91904, Israel
    • (1992) Plausibility Logic
    • Lehmann, D.1
  • 20
    • 0026867827 scopus 로고
    • What does a conditional knowledge base entail?
    • Lehmann, D. and Magidor, M.: "What does a conditional knowledge base entail?", Artificial Intelligence, 55, (1), 1992, p. 1-60
    • (1992) Artificial Intelligence , vol.55 , Issue.1 , pp. 1-60
    • Lehmann, D.1    Magidor, M.2
  • 21
    • 0000937409 scopus 로고
    • Five Faces of Minimality
    • Makinson, D.: "Five Faces of Minimality", Studia Logica 52, (1993), p. 339-379
    • (1993) Studia Logica , vol.52 , pp. 339-379
    • Makinson, D.1
  • 23
    • 0002400729 scopus 로고
    • On a generalization of quantifiers
    • Mostowski, A.: "On a generalization of quantifiers", Fundamenta Mathematicae 44, 1957, 12-36
    • (1957) Fundamenta Mathematicae , vol.44 , pp. 12-36
    • Mostowski, A.1
  • 24
    • 49149147322 scopus 로고
    • A logic for default reasoning
    • Reiter, R.: "A logic for default reasoning", Artificial Intelligence 13, (1-2), 1960, p.81-132
    • (1960) Artificial Intelligence , vol.13 , Issue.1-2 , pp. 81-132
    • Reiter, R.1
  • 25
    • 0040092868 scopus 로고
    • Some Results on Classical Preferential Models
    • Oxford
    • Schlechta, K.: "Some Results on Classical Preferential Models", Journal of Logic and Computation, Oxford, 2, (No.6), 1992, p. 675-686 +
    • (1992) Journal of Logic and Computation , vol.2 , Issue.6
    • Schlechta, K.1
  • 26
    • 9444282600 scopus 로고    scopus 로고
    • Research Report RR 6, 03/94, Laboratoire d'Informatique de Marseille, URA CNRS 1787, CMI, 39, rue Joliot-Curie, F-13453 Marseille Cedex 13, France
    • Schlechta, K.: "Limit Preferential Models", Research Report RR 6, 03/94, Laboratoire d'Informatique de Marseille, URA CNRS 1787, CMI, 39, rue Joliot-Curie, F-13453 Marseille Cedex 13, France
    • Limit Preferential Models
    • Schlechta, K.1
  • 27
    • 0040686373 scopus 로고
    • Defaults as Generalized Quantifiers
    • Oxford, No.92-27:4
    • Schlechta, K.: "Defaults as Generalized Quantifiers", Journal of Logic and Computation, Oxford, 5, (No.92-27:4), 1995, pp.1-22
    • (1995) Journal of Logic and Computation , vol.5 , pp. 1-22
    • Schlechta, K.1
  • 28
    • 0003922749 scopus 로고
    • Preferential Choice Representation Theorems for Branching Time Structures
    • Oxford
    • Schlechta, K.: "Preferential Choice Representation Theorems for Branching Time Structures", Journal of Logic and Computation, Oxford, 5, 1995, pp.783-800
    • (1995) Journal of Logic and Computation , vol.5 , pp. 783-800
    • Schlechta, K.1
  • 29
    • 0040686370 scopus 로고    scopus 로고
    • Some Completeness Results for Stoppered and Ranked Classical Preferential Models
    • Oxford, No. 93-13
    • Schlechta, K.: "Some Completeness Results for Stoppered and Ranked Classical Preferential Models", Journal of Logic and Computation, Oxford, 6, (No. 93-13), 1996, pp.1-24
    • (1996) Journal of Logic and Computation , vol.6 , pp. 1-24
    • Schlechta, K.1
  • 32
    • 0023168460 scopus 로고
    • A semantical approach to nonmonotonic logics
    • Ithaca, N.Y.
    • Shoham, Y.: "A semantical approach to nonmonotonic logics". In Proc. Logics in Computer Science, Ithaca, N.Y., 1987, p.275-279
    • (1987) Proc. Logics in Computer Science , pp. 275-279
    • Shoham, Y.1
  • 33
    • 0000551963 scopus 로고
    • Combinations of Tense and Modality
    • Gabbay, D. and Guenthner, F. (eds.), Dordrecht: Reidel
    • Thomason, R. H.: "Combinations of Tense and Modality", Gabbay, D. and Guenthner, F. (eds.), Handbook of Philosophical Logic, Vol.II, Dordrecht: Reidel, 1984, p.135-165
    • (1984) Handbook of Philosophical Logic , vol.2 , pp. 135-165
    • Thomason, R.H.1


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