메뉴 건너뛰기




Volumn 93, Issue 1-2, 1997, Pages 103-167

Dynamic reasoning with qualified syllogisms

Author keywords

Default reasoning; Dynamic reasoning systems; Fuzzy likelihood; Fuzzy probabilities; Fuzzy quantifiers; Multiple inheritance; Nonmonotonic reasoning; Qualified syllogisms; The frame problem; Unless

Indexed keywords

FORMAL LOGIC; FUZZY SETS; PROBABILITY;

EID: 0031164253     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00020-9     Document Type: Article
Times cited : (41)

References (238)
  • 1
    • 0011425184 scopus 로고
    • The logic of conditionals
    • E. Adams, The logic of conditionals, Inquiry 8 (1965) 166-197.
    • (1965) Inquiry , vol.8 , pp. 166-197
    • Adams, E.1
  • 2
    • 77956967804 scopus 로고
    • Probability and the logic of conditionals
    • J. Hintikka and P. Suppes, eds., North-Holland, Amsterdam
    • E. Adams, Probability and the logic of conditionals, in: J. Hintikka and P. Suppes, eds., Aspects of Inductive Logic (North-Holland, Amsterdam, 1966) 265-316.
    • (1966) Aspects of Inductive Logic , pp. 265-316
    • Adams, E.1
  • 3
    • 11544329596 scopus 로고
    • The logic of "almost all"
    • E. Adams, The logic of "almost all", J. Philos. Logic 3 (1974) 3-17.
    • (1974) J. Philos. Logic , vol.3 , pp. 3-17
    • Adams, E.1
  • 10
    • 0008806977 scopus 로고
    • Lp, a logic for representing and reasoning with statistical knowledge
    • F. Bacchus, Lp, a logic for representing and reasoning with statistical knowledge, Computational Intelligence 6 (1990) 209-231.
    • (1990) Computational Intelligence , vol.6 , pp. 209-231
    • Bacchus, F.1
  • 13
    • 0001287652 scopus 로고
    • Generalized quantifiers and natural language
    • J. Barwise and R. Cooper, Generalized quantifiers and natural language, Linguistics and Philosophy 4 (1981) 159-219.
    • (1981) Linguistics and Philosophy , vol.4 , pp. 159-219
    • Barwise, J.1    Cooper, R.2
  • 16
    • 11544336405 scopus 로고
    • On the semantics of stable inheritance reasoning
    • C. Boutilier, On the semantics of stable inheritance reasoning, Computational Intelligence 9 (1) (1993) 73-110.
    • (1993) Computational Intelligence , vol.9 , Issue.1 , pp. 73-110
    • Boutilier, C.1
  • 17
    • 0020832319 scopus 로고
    • What IS-A is and isn't: An analysis of taxonomic links in semantic networks
    • R.J. Brachman, What IS-A is and isn't: an analysis of taxonomic links in semantic networks, IEEE Computer (October 1983) 30-36.
    • (1983) IEEE Computer , Issue.OCTOBER , pp. 30-36
    • Brachman, R.J.1
  • 18
    • 0013104724 scopus 로고
    • I lied about the trees or defaults and definitions in knowledge representation
    • R.J. Brachman, I lied about the trees or defaults and definitions in knowledge representation, AI Magazine 6 (3) (1985) 80-93.
    • (1985) AI Magazine , vol.6 , Issue.3 , pp. 80-93
    • Brachman, R.J.1
  • 21
    • 0004250958 scopus 로고
    • Ph.D. Dissertation, Department of Computer Science, Stanford University, Stanford, CA
    • A.Y. Darwiche, A symbolic generalization of probability theory, Ph.D. Dissertation, Department of Computer Science, Stanford University, Stanford, CA (1993).
    • (1993) A Symbolic Generalization of Probability Theory
    • Darwiche, A.Y.1
  • 22
    • 0026960711 scopus 로고
    • A symbolic generalization of probability theory
    • San Jose, CA MIT Press, Cambridge, MA
    • A.Y. Darwiche and M.L. Ginsberg, A symbolic generalization of probability theory, in: Proceedings AAAI-92, San Jose, CA (MIT Press, Cambridge, MA, 1992) 622-627.
    • (1992) Proceedings AAAI-92 , pp. 622-627
    • Darwiche, A.Y.1    Ginsberg, M.L.2
  • 23
    • 0004134067 scopus 로고
    • A. Machí and A. Smith, translators Wiley, New York
    • B. DeFinetti, Theory of Probability, Vois. 1 and 2, A. Machí and A. Smith, translators (Wiley, New York, 1974).
    • (1974) Theory of Probability , vol.1-2
    • DeFinetti, B.1
  • 24
    • 0003717511 scopus 로고
    • Cambridge University Press, New York
    • K. Devlin, Logic and Information (Cambridge University Press, New York, 1991).
    • (1991) Logic and Information
    • Devlin, K.1
  • 25
    • 0018544688 scopus 로고
    • A truth maintenance system
    • J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231-272; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 259-279.
    • (1979) Artificial Intelligence , vol.12 , pp. 231-272
    • Doyle, J.1
  • 26
    • 0018544688 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231-272; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 259-279.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 259-279
    • Ginsberg, M.L.1
  • 28
    • 24444447386 scopus 로고
    • On the probabilities of conditionals
    • F. Döring, On the probabilities of conditionals, Philos. Reviews 103 (1994) 689-700.
    • (1994) Philos. Reviews , vol.103 , pp. 689-700
    • Döring, F.1
  • 29
    • 0001000564 scopus 로고
    • Fuzzy cardinality and the modeling of imprecise quantification
    • D. Dubois and H. Prade, Fuzzy cardinality and the modeling of imprecise quantification, Fuzzy Sets and Systems 16 (1985) 199-230.
    • (1985) Fuzzy Sets and Systems , vol.16 , pp. 199-230
    • Dubois, D.1    Prade, H.2
  • 32
    • 0026187870 scopus 로고
    • Epistemic entrenchment and possibilistic logic (Research note)
    • D. Dubois and H. Prade, Epistemic entrenchment and possibilistic logic (Research Note), Artificial Intelligence 50 (1991) 223-239.
    • (1991) Artificial Intelligence , vol.50 , pp. 223-239
    • Dubois, D.1    Prade, H.2
  • 34
    • 0012930273 scopus 로고
    • Conditioning, nonmonotonic logic and nonstandard uncertainty models
    • I.R. Goodman, M.M. Gupta, H.T. Nguyen and G.S. Rogers, eds., Elsevier, New York
    • D. Dubois and H. Prade, Conditioning, nonmonotonic logic and nonstandard uncertainty models, in: I.R. Goodman, M.M. Gupta, H.T. Nguyen and G.S. Rogers, eds., Conditional Logic in Expert Systems (Elsevier, New York, 1991) 115-158.
    • (1991) Conditional Logic in Expert Systems , pp. 115-158
    • Dubois, D.1    Prade, H.2
  • 35
    • 0041110156 scopus 로고
    • Ph.D. Dissertation, Tech. Rept. CS-TR-2156 and UMIACS-TR-88-94, Department of Computer Science, University of Maryland, College Park, MD
    • J.J. Elgot-Drapkin, Step logic: reasoning situated in time, Ph.D. Dissertation, Tech. Rept. CS-TR-2156 and UMIACS-TR-88-94, Department of Computer Science, University of Maryland, College Park, MD (1988).
    • (1988) Step Logic: Reasoning Situated in Time
    • Elgot-Drapkin, J.J.1
  • 36
    • 30244511695 scopus 로고
    • Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD
    • J.J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirke and D. Perlis, Calibrating, counting, grounding, grouping, Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD (1994); also in: Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents, New Orleans, LA (1994).
    • (1994) Calibrating, Counting, Grounding, Grouping
    • Elgot-Drapkin, J.J.1    Gordon, D.2    Kraus, S.3    Miller, M.4    Nirke, M.5    Perlis, D.6
  • 37
    • 30244552201 scopus 로고
    • New Orleans, LA
    • J.J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirke and D. Perlis, Calibrating, counting, grounding, grouping, Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD (1994); also in: Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents, New Orleans, LA (1994).
    • (1994) Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents
  • 39
    • 0043050060 scopus 로고
    • Memory, reason and time: The step-logic approach
    • R. Cummins and J. Pollock, eds., MIT Press, Cambridge, MA
    • J.J. Elgot-Drapkin, M. Miller and D. Perlis, Memory, reason and time: the step-logic approach, in: R. Cummins and J. Pollock, eds., Philosophy and AI: Essays at the Interface (MIT Press, Cambridge, MA, 1991) 79-103.
    • (1991) Philosophy and AI: Essays at the Interface , pp. 79-103
    • Elgot-Drapkin, J.J.1    Miller, M.2    Perlis, D.3
  • 41
    • 11544289596 scopus 로고
    • More on inheritance hierarchies with exceptions: Default theories and inferential distance
    • Seattle, WA
    • D.W. Etherington, More on inheritance hierarchies with exceptions: default theories and inferential distance, in: Proceedings AAAI-87, Seattle, WA (1987) 352-357.
    • (1987) Proceedings AAAI-87 , pp. 352-357
    • Etherington, D.W.1
  • 45
    • 0020904272 scopus 로고
    • On inheritance hierarchies with exceptions
    • Washington, DC Morgan Kaufmann, Los Altos, CA
    • D.W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (Morgan Kaufmann, Los Altos, CA, 1983) 104-108; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 101-105.
    • (1983) Proceedings AAAI-83 , pp. 104-108
    • Etherington, D.W.1    Reiter, R.2
  • 46
    • 0020904272 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • D.W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (Morgan Kaufmann, Los Altos, CA, 1983) 104-108; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 101-105.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 101-105
    • Ginsberg, M.L.1
  • 47
    • 0023842375 scopus 로고
    • Belief, awareness and limited reasoning
    • R. Fagin and J.H. Halpern, Belief, awareness and limited reasoning, Artificial Intelligence 34 (1988) 39-76.
    • (1988) Artificial Intelligence , vol.34 , pp. 39-76
    • Fagin, R.1    Halpern, J.H.2
  • 52
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 198-208.
    • (1971) Artificial Intelligence , vol.2 , pp. 198-208
    • Fikes, R.E.1    Nilsson, N.J.2
  • 56
    • 0028558318 scopus 로고
    • Conditional logics of belief change
    • Seattle, WA MIT Press, Cambridge, MA
    • N. Friedman and J.Y. Halpern, Conditional logics of belief change, in: Proceedings AAAI-94, Seattle, WA (MIT Press, Cambridge, MA, 1994) 915-921.
    • (1994) Proceedings AAAI-94 , pp. 915-921
    • Friedman, N.1    Halpern, J.Y.2
  • 61
    • 0004255375 scopus 로고
    • Cambridge University Press, New York
    • P. Gärdenfors, ed., Belief Revision (Cambridge University Press, New York, 1992).
    • (1992) Belief Revision
    • Gärdenfors, P.1
  • 63
    • 11544317604 scopus 로고
    • Does probability have a place in non-monotonic reasoning?
    • Los Angeles, CA
    • M.L. Ginsberg, Does probability have a place in non-monotonic reasoning?, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 107-110.
    • (1985) Proceedings IJCAI-85 , pp. 107-110
    • Ginsberg, M.L.1
  • 65
    • 84990616630 scopus 로고
    • Multivalued logics: A uniform approach to reasoning in artificial intelligence
    • M.L. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988) 265-316.
    • (1988) Computational Intelligence , vol.4 , pp. 265-316
    • Ginsberg, M.L.1
  • 67
    • 30244485427 scopus 로고    scopus 로고
    • Interpreting presuppositions using active logic: From contexts to utterances
    • to appear
    • J. Gurney, K. Purang and D. Perlis, Interpreting presuppositions using active logic: from contexts to utterances, Computational Intelligence (to appear).
    • Computational Intelligence
    • Gurney, J.1    Purang, K.2    Perlis, D.3
  • 68
    • 0025535649 scopus 로고
    • An analysis of first-order logics of probability
    • J.Y. Halpern, An analysis of first-order logics of probability, Artificial Intelligence 46 (1990) 311-350.
    • (1990) Artificial Intelligence , vol.46 , pp. 311-350
    • Halpern, J.Y.1
  • 71
    • 0028400910 scopus 로고
    • Modeling a dynamic and uncertain world I: Symbolic and probabilistic reasoning about change
    • S. Hanks and D. McDermott, Modeling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change, Artificial Intelligence 66 (1994) 1-55.
    • (1994) Artificial Intelligence , vol.66 , pp. 1-55
    • Hanks, S.1    McDermott, D.2
  • 72
    • 0344937614 scopus 로고
    • The frame problem and related problems in artificial intelligence
    • A. Elithorn and D. Jones, eds., Jossey-Bass, San Francisco/Elsevier Science, Amsterdam
    • P.J. Hayes, The frame problem and related problems in artificial intelligence, in: A. Elithorn and D. Jones, eds., Artificial and Human Thinking (Jossey-Bass, San Francisco/Elsevier Science, Amsterdam, 1973) 45-59.
    • (1973) Artificial and Human Thinking , pp. 45-59
    • Hayes, P.J.1
  • 73
    • 0001906440 scopus 로고
    • The naive physics manifesto I
    • D. Michie, ed., Edinburgh University Press, Edinburgh, Scotland
    • P.J. Hayes, The naive physics manifesto I, in: D. Michie, ed., Expert Systems in the Microelectronic Age (Edinburgh University Press, Edinburgh, Scotland, 1978).
    • (1978) Expert Systems in the Microelectronic Age
    • Hayes, P.J.1
  • 74
    • 0037807113 scopus 로고
    • The logic of frames
    • D. Metzing, ed., Walter de Gruyter, Berlin
    • P.J. Hayes, The logic of frames, in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 46-61.
    • (1980) Frame Conceptions and Text Understanding , pp. 46-61
    • Hayes, P.J.1
  • 75
    • 0001782174 scopus 로고
    • The second naive physics manifesto
    • J.R. Hobbs and R.C. Moore, eds., Ablex, Norwood, NJ
    • P.J. Hayes, The second naive physics manifesto, in: J.R. Hobbs and R.C. Moore, eds., Formal Theories of the Common Sense World (Ablex, Norwood, NJ, 1985) 1-36.
    • (1985) Formal Theories of the Common Sense World , pp. 1-36
    • Hayes, P.J.1
  • 78
    • 0001774746 scopus 로고
    • Turing test considered harmful
    • Montreal, Que.
    • P.J. Hayes and K. Ford, Turing test considered harmful, in: Proceedings IJCAI-95, Montreal, Que. (1995) 972-977.
    • (1995) Proceedings IJCAI-95 , pp. 972-977
    • Hayes, P.J.1    Ford, K.2
  • 80
    • 0004153536 scopus 로고
    • Cornell University Press, Ithaca, NY
    • J. Hintikka, Knowledge and Belief (Cornell University Press, Ithaca, NY, 1962).
    • (1962) Knowledge and Belief
    • Hintikka, J.1
  • 81
    • 84985119087 scopus 로고
    • Mixing strict and defeasible inheritance
    • St. Paul, MN
    • J.F. Horty and R.H. Thomason, Mixing strict and defeasible inheritance, in: Proceedings AAAI-88, St. Paul, MN (1988) 427-432.
    • (1988) Proceedings AAAI-88 , pp. 427-432
    • Horty, J.F.1    Thomason, R.H.2
  • 82
    • 0025404066 scopus 로고
    • A skeptical theory of inheritance in nonmonotonic semantic networks
    • J.F. Horty, R.H. Thomason and D.S. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42 (1990) 311-348.
    • (1990) Artificial Intelligence , vol.42 , pp. 311-348
    • Horty, J.F.1    Thomason, R.H.2    Touretzky, D.S.3
  • 85
    • 85047933831 scopus 로고
    • Probability quantifiers
    • J. Barwise and S. Feferman, eds., Springer, New York
    • H.J. Keisler, Probability quantifiers, in: J. Barwise and S. Feferman, eds., Model-Theoretic Logics (Springer, New York, 1985) 509-556.
    • (1985) Model-Theoretic Logics , pp. 509-556
    • Keisler, H.J.1
  • 86
  • 88
    • 0002977725 scopus 로고
    • A completeness theorem in modal logic
    • S. Kripke, A completeness theorem in modal logic, J. Symbolic Logic 24 (1959) 1-14.
    • (1959) J. Symbolic Logic , vol.24 , pp. 1-14
    • Kripke, S.1
  • 89
    • 0001972488 scopus 로고
    • Semantical considerations on modal logic
    • S. Kripke, Semantical considerations on modal logic, Acta Philos. Fenn. 16 (1963) 83-94.
    • (1963) Acta Philos. Fenn. , vol.16 , pp. 83-94
    • Kripke, S.1
  • 90
    • 0000573784 scopus 로고
    • Critical decisions under uncertainty: Representation and structure
    • B.J. Kuipers, A.J. Moskowitz and J.P. Kassirer, Critical decisions under uncertainty: representation and structure, Cognitive Sci. 12 (1988) 177-210.
    • (1988) Cognitive Sci. , vol.12 , pp. 177-210
    • Kuipers, B.J.1    Moskowitz, A.J.2    Kassirer, J.P.3
  • 96
    • 70949096908 scopus 로고
    • Probabilities of conditionals and conditional probabilities
    • D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
    • (1976) Philos. Reviews , vol.85 , pp. 297-315
    • Lewis, D.K.1
  • 97
    • 0041066414 scopus 로고
    • Reidel, Dordrecht
    • D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
    • (1981) Ifs: Conditionals, Beliefs, Decision, Chance and Time , pp. 129-147
    • Harper, W.L.1    Stalnaker, R.2    Pearce, G.3
  • 98
    • 0347834161 scopus 로고
    • Oxford University Press, Oxford, England
    • D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
    • (1986) Philosophical Papers , vol.2 , pp. 133-156
    • Lewis, D.K.1
  • 99
    • 0007227553 scopus 로고
    • Oxford University Press, Oxford, England
    • D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
    • (1991) Conditionals , pp. 76-101
    • Jackson, F.1
  • 100
    • 84990602539 scopus 로고
    • Making default inferences from logic programs
    • L. Li and J.H. You, Making default inferences from logic programs, Computational Intelligence 7 (1991) 142-153.
    • (1991) Computational Intelligence , vol.7 , pp. 142-153
    • Li, L.1    You, J.H.2
  • 101
    • 0001884486 scopus 로고
    • Computing circumscription
    • Los Angeles, CA Morgan Kaufmann, Los Altos, CA
    • V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 167-173.
    • (1985) Proceedings IJCAI-85 , pp. 121-127
    • Lifschitz, V.1
  • 102
    • 0004277312 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 167-173.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 167-173
    • Ginsberg, M.L.1
  • 103
    • 0042549129 scopus 로고
    • Pointwise circumscription
    • Stanford Preprint; M.L. Ginsberg, ed., Morgan Kaufmann, Los Altos, CA
    • V. Lifschitz, Pointwise circumscription, Stanford Preprint; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 179-193.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 179-193
    • Lifschitz, V.1
  • 104
    • 2442559798 scopus 로고
    • Circumscriptive theories: A logic-based framework for knowledge representation (Preliminary report)
    • Seattle, WA
    • V. Lifschitz, Circumscriptive theories: A logic-based framework for knowledge representation (Preliminary report) in: 6th Nat. Conference on Artificial Intelligence, AAAI-87, Seattle, WA (1987) 364-368.
    • (1987) 6th Nat. Conference on Artificial Intelligence, AAAI-87 , pp. 364-368
    • Lifschitz, V.1
  • 106
    • 0001875061 scopus 로고
    • Programs with common sense
    • M.L. Minsky, MIT Press, Cambridge, MA
    • J. McCarthy, Programs with common sense, in: M.L. Minsky, Semantic Information Processing (MIT Press, Cambridge, MA, 1968) 403-418.
    • (1968) Semantic Information Processing , pp. 403-418
    • McCarthy, J.1
  • 107
    • 37349044608 scopus 로고
    • Circumscription - A form of nonmonotonic reasoning
    • J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39, 171-172; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 145-152.
    • (1980) Artificial Intelligence , vol.13 , pp. 27-39
    • McCarthy, J.1
  • 108
    • 37349044608 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39, 171-172; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 145-152.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 145-152
    • Ginsberg, M.L.1
  • 109
    • 0022661717 scopus 로고
    • Applications of circumscription to formalizing common-sense knowledge
    • J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 153-166.
    • (1986) Artificial Intelligence , vol.28 , pp. 89-116
    • McCarthy, J.1
  • 110
    • 0022661717 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 153-166.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 153-166
    • Ginsberg, M.L.1
  • 112
    • 38249004496 scopus 로고
    • History of circumscription
    • J. McCarthy, History of circumscription. Artificial Intelligence 59 (1993) 23-26.
    • (1993) Artificial Intelligence , vol.59 , pp. 23-26
    • McCarthy, J.1
  • 113
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • B. Meltzer and D. Michie, eds., Edinburgh University Press, Edinburgh, Scotland
    • J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.J.2
  • 114
    • 0014638440 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 26-45
    • Ginsberg, M.L.1
  • 115
    • 0014638440 scopus 로고
    • Ablex, Norwood, NJ
    • J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
    • (1990) Formalizing Common Sense: Papers by John McCarthy , pp. 21-63
    • Lifschitz, V.1
  • 116
    • 84976844782 scopus 로고
    • Non-monotonic logic - II
    • D. McDermott, Non-monotonic logic - II, J. ACM 29 (1982) 33-57.
    • (1982) J. ACM , vol.29 , pp. 33-57
    • McDermott, D.1
  • 117
    • 0042453040 scopus 로고
    • We've been framed: Or, why AI is innocent of the frame problem
    • Z.W. Pylyshyn, ed., Ablex, Norwood, NJ
    • D. McDermott, We've been framed: or, why AI is innocent of the frame problem, in: Z.W. Pylyshyn, ed., The Robot's Dilemma: The Frame Problem in Artificial Intelligence (Ablex, Norwood, NJ, 1987) 113-122.
    • (1987) The Robot's Dilemma: The Frame Problem in Artificial Intelligence , pp. 113-122
    • McDermott, D.1
  • 118
    • 49149141138 scopus 로고
    • Non-monotonic logic - I
    • D. McDermott and J. Doyle, Non-monotonic logic - I, Artificial Intelligence 13 (1980) 41-72; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 111-126.
    • (1980) Artificial Intelligence , vol.13 , pp. 41-72
    • McDermott, D.1    Doyle, J.2
  • 119
    • 49149141138 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • D. McDermott and J. Doyle, Non-monotonic logic - I, Artificial Intelligence 13 (1980) 41-72; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 111-126.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 111-126
    • Ginsberg, M.L.1
  • 120
    • 77949936271 scopus 로고
    • Conditional probabilities and compounds of conditionals
    • V. McGee, Conditional probabilities and compounds of conditionals, Philosopical Reviews 98 (1989) 485-541.
    • (1989) Philosopical Reviews , vol.98 , pp. 485-541
    • McGee, V.1
  • 121
    • 0003882507 scopus 로고
    • Ph.D. Dissertation, Tech. Rept. CS-TR-3107 and UMIACS-TR-93-66, Department of Computer Science, University of Maryland, College Park, MD
    • M.J. Miller, A view of one's past and other aspects of reasoned change in belief, Ph.D. Dissertation, Tech. Rept. CS-TR-3107 and UMIACS-TR-93-66, Department of Computer Science, University of Maryland, College Park, MD (1993).
    • (1993) A View of One's Past and Other Aspects of Reasoned Change in Belief
    • Miller, M.J.1
  • 122
    • 0030211349 scopus 로고    scopus 로고
    • Avoiding triviality: Fuzzy implications and conditional events
    • P. Milne, Avoiding triviality: fuzzy implications and conditional events, Internat. J. Approximate Reasoning 15 (1996) 123-143.
    • (1996) Internat. J. Approximate Reasoning , vol.15 , pp. 123-143
    • Milne, P.1
  • 123
    • 0022212922 scopus 로고
    • Computing protected circumscription
    • J. Minker and D. Perils, Computing protected circumscription, J. Logic Programming 2 (1985) 235-249.
    • (1985) J. Logic Programming , vol.2 , pp. 235-249
    • Minker, J.1    Perils, D.2
  • 124
    • 0003015874 scopus 로고
    • A framework for representing knowledge
    • P.H. Winston, ed., McGraw-Hill, New York
    • M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision (McGraw-Hill, New York, 1975) 211-277; a condensed version appeared in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 1-25.
    • (1975) The Psychology of Computer Vision , pp. 211-277
    • Minsky, M.1
  • 125
    • 0002576197 scopus 로고
    • Walter de Gruyter, Berlin
    • M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision (McGraw-Hill, New York, 1975) 211-277; a condensed version appeared in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 1-25.
    • (1980) Frame Conceptions and Text Understanding , pp. 1-25
    • Metzing, D.1
  • 126
    • 11544347399 scopus 로고
    • Fuzzy conditional inferences and fuzzy inferences with fuzzy quantifiers
    • Tokyo, Japan
    • M. Mizumoto, S. Fukami and K. Tanaka, Fuzzy conditional inferences and fuzzy inferences with fuzzy quantifiers, in: Proceedings IJCAI-79, Tokyo, Japan (1979) 589-591.
    • (1979) Proceedings IJCAI-79 , pp. 589-591
    • Mizumoto, M.1    Fukami, S.2    Tanaka, K.3
  • 127
    • 0021819131 scopus 로고
    • Semantical considerations on nonmonotonic logic
    • [114 ] R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
    • (1985) Artificial Intelligence , vol.25 , pp. 75-94
    • Moore, R.C.1
  • 128
    • 0042143760 scopus 로고
    • Autoepistemic logic
    • P. Smets, E.H. Mamdani, D. Dubois and H. Prade, eds., Academic Press, San Diego, CA
    • R.C. Moore, Autoepistemic logic, in: P. Smets, E.H. Mamdani, D. Dubois and H. Prade, eds., Non-Standard Logics for Automated Reasoning (Academic Press, San Diego, CA, 1988) 105-136.
    • (1988) Non-Standard Logics for Automated Reasoning , pp. 105-136
    • Moore, R.C.1
  • 129
    • 38249006170 scopus 로고
    • Autoepistemic logic revisited
    • R.C. Moore, Autoepistemic logic revisited, Artificial Intelligence 59 (1993) 27-30.
    • (1993) Artificial Intelligence , vol.59 , pp. 27-30
    • Moore, R.C.1
  • 130
    • 84972511825 scopus 로고
    • Quantifying probabilistic expressions
    • F. Mosteller and C. Youtz, Quantifying probabilistic expressions, Statist Sci. 5 (1990) 2-34.
    • (1990) Statist Sci. , vol.5 , pp. 2-34
    • Mosteller, F.1    Youtz, C.2
  • 131
    • 0002400729 scopus 로고
    • On a generalization of quantifiers
    • A. Mostowski, On a generalization of quantifiers, Fund. Math. 44 (1957) 12-36.
    • (1957) Fund. Math. , vol.44 , pp. 12-36
    • Mostowski, A.1
  • 132
    • 11544299452 scopus 로고
    • Semantically sound inheritance for a formally defined frame language with defaults
    • Seattle, WA
    • R. Nado and R.E. Fikes, Semantically sound inheritance for a formally defined frame language with defaults, in: Proceedings AAAI-87, Seattle, WA (1987) 443-448.
    • (1987) Proceedings AAAI-87 , pp. 443-448
    • Nado, R.1    Fikes, R.E.2
  • 133
    • 0027149029 scopus 로고
    • A decision-making approach to a syllogistic reasoning problem with consistency maintenance in a knowledge base
    • San Francisco, CA
    • H. Narazaki and I.B. Turksen, A decision-making approach to a syllogistic reasoning problem with consistency maintenance in a knowledge base, in: Proceedings 2nd IEEE International Conference on Fuzzy Systems (FUZZIEEE-93), San Francisco, CA (1993) 76-81.
    • (1993) Proceedings 2nd IEEE International Conference on Fuzzy Systems (FUZZIEEE-93) , pp. 76-81
    • Narazaki, H.1    Turksen, I.B.2
  • 134
    • 0028406926 scopus 로고
    • An integrated approach for syllogistic reasoning and knowledge consistency level maintenance
    • H. Narazaki and I.B. Turksen, An integrated approach for syllogistic reasoning and knowledge consistency level maintenance, IEEE Trans. Systems Man Cybernet. 24 (4) (1994) 548-563.
    • (1994) IEEE Trans. Systems Man Cybernet. , vol.24 , Issue.4 , pp. 548-563
    • Narazaki, H.1    Turksen, I.B.2
  • 136
    • 77956779728 scopus 로고
    • Quantifiers as fuzzy concepts
    • T. Zétényi, ed., Elsevier Science, Amsterdam
    • S.E. Newstead, Quantifiers as fuzzy concepts, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 51-72.
    • (1988) Fuzzy Sets in Psychology , pp. 51-72
    • Newstead, S.E.1
  • 137
    • 0022659563 scopus 로고
    • Probabilistic logic
    • N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 680-688.
    • (1986) Artificial Intelligence , vol.28 , pp. 71-87
    • Nilsson, N.J.1
  • 138
    • 0022659563 scopus 로고
    • Morgan Kaufmann, San Mateo, CA
    • N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 680-688.
    • (1990) Readings in Uncertain Reasoning , pp. 680-688
    • Shafer, G.1    Pearl, J.2
  • 143
    • 0006665530 scopus 로고
    • Defeasible logic and the frame problem
    • H.E. Kyburg Jr, R.P. Loui and G.N. Carlson, eds., Kluwer, Dordrecht
    • D. Nute, Defeasible logic and the frame problem, in: H.E. Kyburg Jr, R.P. Loui and G.N. Carlson, eds., Knowledge Representation and Defeasible Reasoning (Kluwer, Dordrecht, 1990) 3-21.
    • (1990) Knowledge Representation and Defeasible Reasoning , pp. 3-21
    • Nute, D.1
  • 144
    • 77956949047 scopus 로고
    • A decidable quantified defeasible logic
    • D. Prawitz, B. Skyrms and D. Westerstahl, eds., Elsevier, New York
    • D. Nute, A decidable quantified defeasible logic, in: D. Prawitz, B. Skyrms and D. Westerstahl, eds., Logic, Methodology and Philosophy of Science IX (Elsevier, New York, 1994) 263-284.
    • (1994) Logic, Methodology and Philosophy of Science , vol.9 , pp. 263-284
    • Nute, D.1
  • 145
    • 0006516312 scopus 로고
    • Basic defeasible logic
    • L.F. del Cerro and M. Penttonen, eds., Clarendon Press, Oxford, England
    • D. Nute, Basic defeasible logic, in: L.F. del Cerro and M. Penttonen, eds., Intensional Logics for Programming (Clarendon Press, Oxford, England, 1992) 125-154.
    • (1992) Intensional Logics for Programming , pp. 125-154
    • Nute, D.1
  • 146
    • 0002458809 scopus 로고
    • Defeasible logic
    • D. Gabbay and C. Hogger, eds., Oxford University Press, New York
    • D. Nute, Defeasible logic, in: D. Gabbay and C. Hogger, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. III (Oxford University Press, New York, 1993) 353-395.
    • (1993) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.3 , pp. 353-395
    • Nute, D.1
  • 148
    • 0002634765 scopus 로고
    • System Z: A natural ordering of defaults with tractable applications to default reasoning
    • M. Vardi, ed., Morgan Kaufmann, San Mateo, CA
    • J. Pearl, System Z: a natural ordering of defaults with tractable applications to default reasoning, in: M. Vardi, ed., Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-90) (Morgan Kaufmann, San Mateo, CA, 1990) 121-135.
    • (1990) Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-90) , pp. 121-135
    • Pearl, J.1
  • 149
    • 84990604261 scopus 로고
    • On the consistency of commonsense reasoning
    • D. Perlis, On the consistency of commonsense reasoning, Computational Intelligence 2 (1986) 180-190 ; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 56-66 .
    • (1986) Computational Intelligence , vol.2 , pp. 180-190
    • Perlis, D.1
  • 150
    • 84990604261 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • D. Perlis, On the consistency of commonsense reasoning, Computational Intelligence 2 (1986) 180-190 ; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 56-66 .
    • (1987) Readings in Nonmonotonic Reasoning , pp. 56-66
    • Ginsberg, M.L.1
  • 151
    • 0023291595 scopus 로고
    • Circumscribing with sets
    • D. Perlis, Circumscribing with sets, Artificial Intelligence 31 (1987) 201-211.
    • (1987) Artificial Intelligence , vol.31 , pp. 201-211
    • Perlis, D.1
  • 152
  • 154
    • 11544328249 scopus 로고
    • Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD
    • D. Perlis, J.J. Elgot-Drapkin and M. Miller, Stop the world - I want to think, Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD (1990); also in: K. Ford and F. Anger, eds., Internat. J. Intelligent Systems 6 (1991) 443-456, Special Issue on Temporal Reasoning.
    • (1990) Stop the World - I Want to Think
    • Perlis, D.1    Elgot-Drapkin, J.J.2    Miller, M.3
  • 155
    • 30244544390 scopus 로고
    • Temporal Reasoning
    • D. Perlis, J.J. Elgot-Drapkin and M. Miller, Stop the world - I want to think, Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD (1990); also in: K. Ford and F. Anger, eds., Internat. J. Intelligent Systems 6 (1991) 443-456, Special Issue on Temporal Reasoning.
    • (1991) Internat. J. Intelligent Systems , vol.6 , Issue.SPEC. ISSUE , pp. 443-456
    • Ford, K.1    Anger, F.2
  • 156
    • 38249042333 scopus 로고
    • Completeness results for circumscription
    • D. Perlis and J. Minker, Completeness results for circumscription, Artificial Intelligence 28 (1986) 29-42.
    • (1986) Artificial Intelligence , vol.28 , pp. 29-42
    • Perlis, D.1    Minker, J.2
  • 158
    • 84972545783 scopus 로고
    • On the logic of "few", "many", and "most"
    • P.L. Peterson, On the logic of "few", "many", and "most", Notre Dame J. Formal Logic XX (1979) 155-179.
    • (1979) Notre Dame J. Formal Logic , vol.20 , pp. 155-179
    • Peterson, P.L.1
  • 159
    • 0000210652 scopus 로고
    • Defeasible reasoning
    • J.L. Pollock, Defeasible reasoning, Cognitive Sci. 11 (1987) 481-518.
    • (1987) Cognitive Sci. , vol.11 , pp. 481-518
    • Pollock, J.L.1
  • 162
    • 0024066001 scopus 로고
    • A logical framework for default reasoning
    • D.L. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-48.
    • (1988) Artificial Intelligence , vol.36 , pp. 27-48
    • Poole, D.L.1
  • 167
    • 49149147322 scopus 로고
    • A logic for default reasoning
    • R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 68-93.
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1
  • 168
    • 49149147322 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 68-93.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 68-93
    • Ginsberg, M.L.1
  • 169
    • 11544347401 scopus 로고
    • A probabilistic approach to modal logic
    • N. Rescher, A probabilistic approach to modal logic, Acta Philos. Fenn. XVI (1963) 215-226.
    • (1963) Acta Philos. Fenn. , vol.16 , pp. 215-226
    • Rescher, N.1
  • 170
    • 0020920299 scopus 로고
    • Default reasoning as likelihood reasoning
    • Washington, DC
    • E. Rich, Default reasoning as likelihood reasoning, in: Proceedings AAAI-83, Washington, DC (1983) 348-351.
    • (1983) Proceedings AAAI-83 , pp. 348-351
    • Rich, E.1
  • 171
    • 0006517592 scopus 로고
    • An approach to the frame problem and its implementation
    • B. Meltzer and D. Michie, eds., Edinburgh University Press, Edinburgh, Scotland
    • E. Sandewall, An approach to the frame problem and its implementation, in: B. Meltzer and D. Michie, eds., Machine Intelligence 7 (Edinburgh University Press, Edinburgh, Scotland, 1972) 195-204.
    • (1972) Machine Intelligence , vol.7 , pp. 195-204
    • Sandewall, E.1
  • 172
    • 0022794748 scopus 로고
    • Nonmonotonic inference rules for multiple inheritance systems with exceptions
    • E. Sandewall, Nonmonotonic inference rules for multiple inheritance systems with exceptions, in: Proc. IEEE 74 (1986) 1345-1353.
    • (1986) Proc. IEEE , vol.74 , pp. 1345-1353
    • Sandewall, E.1
  • 173
    • 0006704198 scopus 로고
    • The range of applicability of nonmonotonic logics for the inertia problem
    • Chambéry, France
    • E. Sandewall, The range of applicability of nonmonotonic logics for the inertia problem, in: Proceedings IJCAI-93, Chambéry, France (1993) 738-743.
    • (1993) Proceedings IJCAI-93 , pp. 738-743
    • Sandewall, E.1
  • 174
    • 0027640964 scopus 로고
    • The complexity of path-based defeasible inheritance
    • B. Selman and H.J. Levesque, The complexity of path-based defeasible inheritance, Artificial Intelligence 62 (1993) 303-339.
    • (1993) Artificial Intelligence , vol.62 , pp. 303-339
    • Selman, B.1    Levesque, H.J.2
  • 175
    • 84985057025 scopus 로고
    • Chronological ignorance: Time, nonmonotonicity, necessity and causal theories
    • Philadelphia, PA
    • Y. Shoham, Chronological ignorance: time, nonmonotonicity, necessity and causal theories, in: Proceedings AAAI-86, Philadelphia, PA (1986) 389-393.
    • (1986) Proceedings AAAI-86 , pp. 389-393
    • Shoham, Y.1
  • 177
    • 0027560432 scopus 로고
    • Agent-oriented programming
    • Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92.
    • (1993) Artificial Intelligence , vol.60 , pp. 51-92
    • Shoham, Y.1
  • 178
    • 0029244437 scopus 로고
    • On social laws for artificial agent societies: Off-line design
    • Y. Shoham and M. Tennenholtz, On social laws for artificial agent societies: off-line design, Artificial Intelligence 73 (1995) 231-252.
    • (1995) Artificial Intelligence , vol.73 , pp. 231-252
    • Shoham, Y.1    Tennenholtz, M.2
  • 179
    • 0026817743 scopus 로고
    • A mathematical treatment of defeasible reasoning and its implementation
    • G.R. Simari and R.P. Loui, A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence 53 (1992) 125-157.
    • (1992) Artificial Intelligence , vol.53 , pp. 125-157
    • Simari, G.R.1    Loui, R.P.2
  • 180
    • 0030259023 scopus 로고    scopus 로고
    • On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exception
    • G. Simonet, On Sandewall's paper: nonmonotonic inference rules for multiple inheritance with exception, Artificial Intelligence 86 (1996) 359-374.
    • (1996) Artificial Intelligence , vol.86 , pp. 359-374
    • Simonet, G.1
  • 183
    • 30244506313 scopus 로고
    • L. Sombé, Reasoning under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example (Wiley, New York, 1990); also appeared as: Internat. J. Intelligent Systems 5 (1990).
    • (1990) Internat. J. Intelligent Systems , vol.5
  • 186
    • 18044397772 scopus 로고
    • Probability and conditionals
    • W.L. Harper, R. Stalnaker and G. Pearce, eds., Reidel, Dordrecht
    • R.C. Stalnaker, Probability and conditionals, in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 107-128.
    • (1981) Ifs: Conditionals, Beliefs, Decision, Chance and Time , pp. 107-128
    • Stalnaker, R.C.1
  • 187
    • 0026882014 scopus 로고
    • Resolving ambiguity in nonmonotonic inheritance hierarchies
    • L.A. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence 55 (1992) 259-310.
    • (1992) Artificial Intelligence , vol.55 , pp. 259-310
    • Stein, L.A.1
  • 188
    • 30244437877 scopus 로고
    • The interpretation of frequency adjectives
    • G.T. Stump, The interpretation of frequency adjectives, Linguistics and Philosophy 4 (1980) 221-257.
    • (1980) Linguistics and Philosophy , vol.4 , pp. 221-257
    • Stump, G.T.1
  • 191
    • 0027555073 scopus 로고
    • A theory of nonmonotonic inheritance based on annotated logic
    • K. Thirunarayan and M. Kifer, A theory of nonmonotonic inheritance based on annotated logic, Artificial Intelligence 60 (1993) 23-50.
    • (1993) Artificial Intelligence , vol.60 , pp. 23-50
    • Thirunarayan, K.1    Kifer, M.2
  • 192
    • 38249014842 scopus 로고
    • NETL and subsequent path-based inheritance theories
    • R.H. Thomason, NETL and subsequent path-based inheritance theories, Comput. Math. Appl. 23 (1992) 179-204.
    • (1992) Comput. Math. Appl. , vol.23 , pp. 179-204
    • Thomason, R.H.1
  • 193
    • 0039938493 scopus 로고
    • Book review of: Reasoning agents in a dynamic world: The frame problem
    • (K.M. Ford and P.J. Hayes, eds.)
    • J.A. Toth, Book Review of: Reasoning Agents in a Dynamic World: The Frame Problem (K.M. Ford and P.J. Hayes, eds.), Artificial Intelligence 73 (1995) 323-369.
    • (1995) Artificial Intelligence , vol.73 , pp. 323-369
    • Toth, J.A.1
  • 194
    • 0021002007 scopus 로고
    • Implicit ordering of defaults in inheritance systems
    • Austin, TX Morgan Kaufmann, Los Altos, CA
    • D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
    • (1984) Proceedings AAAI-84 , pp. 322-325
    • Touretzky, D.S.1
  • 195
    • 0021002007 scopus 로고
    • Morgan Kaufmann, Los Altos, CA
    • D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
    • (1987) Readings in Nonmonotonic Reasoning , pp. 106-109
    • Ginsberg, M.L.1
  • 196
    • 0021002007 scopus 로고
    • Morgan Kaufmann, San Mateo, CA
    • D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
    • (1990) Readings in Uncertain Reasoning , pp. 668-671
    • Shafer, G.1    Pearl, J.2
  • 198
    • 85167868807 scopus 로고
    • A clash of intuitions: The current state of nonmonotonic multiple inheritance systems
    • Milan, Italy
    • D.S. Touretzky, J.E. Horty and R.H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: Proceedings IJCAI-87, Milan, Italy (1987) 476-482.
    • (1987) Proceedings IJCAI-87 , pp. 476-482
    • Touretzky, D.S.1    Horty, J.E.2    Thomason, R.H.3
  • 199
    • 0002988210 scopus 로고
    • Computing machinery and intelligence
    • A.M. Turing, Computing machinery and intelligence, Mind 59 (1950) 433-460.
    • (1950) Mind , vol.59 , pp. 433-460
    • Turing, A.M.1
  • 201
    • 10644227369 scopus 로고
    • Questions about quantifiers
    • J. van Benthem, Questions about quantifiers, J. Symbolic Logic 49 (1984) 443-466.
    • (1984) J. Symbolic Logic , vol.49 , pp. 443-466
    • Van Benthem, J.1
  • 204
    • 0342271709 scopus 로고
    • Center for the Study of Language and Information (CLSI), Stanford CA, 2nd ed.
    • J. van Benthem, A Manual of Intensional Logic (Center for the Study of Language and Information (CLSI), Stanford CA, 2nd ed., 1988).
    • (1988) A Manual of Intensional Logic
    • Van Benthem, J.1
  • 206
    • 6144288033 scopus 로고
    • Generalized quantifiers and traditional logic
    • J. van Benthem and A. ter Meulen, eds., Foris Publications, Dordrecht
    • J. van Eijck, Generalized quantifiers and traditional logic, in: J. van Benthem and A. ter Meulen, eds., Generalized Quantifiers in Natural Language (Foris Publications, Dordrecht, 1984) 1-19.
    • (1984) Generalized Quantifiers in Natural Language , pp. 1-19
    • Van Eijck, J.1
  • 208
    • 0001598111 scopus 로고
    • Comparing the calibration and coherence of numerical and verbal probability judgments
    • T.S. Wallsten, D.W. Budescu and R. Zwick, Comparing the calibration and coherence of numerical and verbal probability judgments, Management Sci. 39 (1993) 176-190.
    • (1993) Management Sci. , vol.39 , pp. 176-190
    • Wallsten, T.S.1    Budescu, D.W.2    Zwick, R.3
  • 211
    • 0020799573 scopus 로고
    • Quantified propositions in a linguistic logic
    • R.R. Yager, Quantified propositions in a linguistic logic, Internat. J. Man-Machine Studies 19 (1983) 195-227.
    • (1983) Internat. J. Man-Machine Studies , vol.19 , pp. 195-227
    • Yager, R.R.1
  • 212
    • 0020844503 scopus 로고
    • Quantifiers in the formulation of multiple objective decision functions
    • R.R. Yager, Quantifiers in the formulation of multiple objective decision functions. Inform. Sci. 31 (1983) 107-139.
    • (1983) Inform. Sci. , vol.31 , pp. 107-139
    • Yager, R.R.1
  • 213
    • 0022249197 scopus 로고
    • Reasoning with fuzzy quantified statements: Part I
    • R.R. Yager, Reasoning with fuzzy quantified statements: Part I, Kybernetes 14 (1985) 233-240.
    • (1985) Kybernetes , vol.14 , pp. 233-240
    • Yager, R.R.1
  • 214
    • 0141809395 scopus 로고
    • Reasoning with fuzzy quantified statements: Part II
    • R.R. Yager, Reasoning with fuzzy quantified statements: Part II, Kybernetes 15 (1986) 111-120.
    • (1986) Kybernetes , vol.15 , pp. 111-120
    • Yager, R.R.1
  • 215
    • 0023855863 scopus 로고
    • On ordered weighted averaging operators in multi-criteria decision making
    • R.R. Yager, On ordered weighted averaging operators in multi-criteria decision making, IEEE Trans. on Systems, Man and Cybernetics 18 (1988) 183-190.
    • (1988) IEEE Trans. on Systems, Man and Cybernetics , vol.18 , pp. 183-190
    • Yager, R.R.1
  • 216
    • 44949280565 scopus 로고
    • Connectives and quantifiers in fuzzy sets
    • R.R. Yager, Connectives and quantifiers in fuzzy sets, Fuzzy Sets and Systems 40 (1991) 39-75.
    • (1991) Fuzzy Sets and Systems , vol.40 , pp. 39-75
    • Yager, R.R.1
  • 217
    • 30244482521 scopus 로고
    • Tech. Rept. MII-1117, Machine Intelligence Institute, Iona College, New Rochelle, NY
    • R.R. Yager, Interpreting linguistically quantified propositions, Tech. Rept. MII-1117, Machine Intelligence Institute, Iona College, New Rochelle, NY (1992).
    • (1992) Interpreting Linguistically Quantified Propositions
    • Yager, R.R.1
  • 218
    • 0027676898 scopus 로고
    • Families of OWA operators
    • R.R. Yager, Families of OWA operators, Fuzzy Sets and Systems 59 (1993) 125-148.
    • (1993) Fuzzy Sets and Systems , vol.59 , pp. 125-148
    • Yager, R.R.1
  • 220
    • 34250406938 scopus 로고
    • Fuzzy logic and approximate reasoning (in memory of Grigore Moisil)
    • L.A. Zadeh, Fuzzy logic and approximate reasoning (in memory of Grigore Moisil) Synthese 30 (1975) 407-428.
    • (1975) Synthese , vol.30 , pp. 407-428
    • Zadeh, L.A.1
  • 221
    • 0016458950 scopus 로고
    • The concept of a linguistic variable and its application to approximate reasoning, Part I
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
    • (1975) Inform. Sci. , vol.8 , pp. 199-249
    • Zadeh, L.A.1
  • 222
    • 0016459349 scopus 로고
    • The concept of a linguistic variable and its application to approximate reasoning, Part II
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
    • (1975) Inform. Sci. , vol.8 , pp. 301-357
  • 223
    • 0016631726 scopus 로고
    • The concept of a linguistic variable and its application to approximate reasoning, Part III
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
    • (1975) Inform. Sci. , vol.9 , pp. 43-80
  • 224
    • 0016458950 scopus 로고
    • Wiley, New York
    • L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
    • (1987) Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh , pp. 219-269
    • Yager, R.R.1    Ovchinnikov, S.2    Tong, R.M.3    Nguyen, H.T.4
  • 225
    • 0017985349 scopus 로고
    • PRUF - A meaning representation language for natural languages
    • L.A. Zadeh, PRUF - A meaning representation language for natural languages, Internat. J. ManMachine Studies 10 (1978) 395-460; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 499-568.
    • (1978) Internat. J. Manmachine Studies , vol.10 , pp. 395-460
    • Zadeh, L.A.1
  • 227
    • 49049122961 scopus 로고
    • A computational approach to fuzzy quantifiers in natural languages
    • L.A. Zadeh, A computational approach to fuzzy quantifiers in natural languages, Comput. and Math. 9 (1983) 149-184.
    • (1983) Comput. and Math. , vol.9 , pp. 149-184
    • Zadeh, L.A.1
  • 229
    • 0022270417 scopus 로고
    • Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions
    • L.A. Zadeh, Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Systems, Man and Cybernetics 15 (1985) 754-763; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 443-466.
    • (1985) IEEE Trans. Systems, Man and Cybernetics , vol.15 , pp. 754-763
    • Zadeh, L.A.1
  • 231
    • 11544257814 scopus 로고
    • Outline of a theory of usuality based on fuzzy logic
    • A. Jones, A. Kaufmann and H.-J. Zimmerman, eds., Reidel, Dordrecht
    • L.A. Zadeh, Outline of a theory of usuality based on fuzzy logic, in: A. Jones, A. Kaufmann and H.-J. Zimmerman, eds., Fuzzy Sets Theory and Applications (Reidel, Dordrecht, 1986) 79-97.
    • (1986) Fuzzy Sets Theory and Applications , pp. 79-97
    • Zadeh, L.A.1
  • 232
    • 0000652465 scopus 로고
    • Local and fuzzy logics
    • J.M. Dunn and G. Epstein, eds., Reidel, Dordrecht
    • L.A. Zadeh and R.E. Bellman, Local and fuzzy logics, in: J.M. Dunn and G. Epstein, eds., Modern Uses of Multiple-Valued Logic (Reidel, Dordrecht, 1977) 103-165.
    • (1977) Modern Uses of Multiple-Valued Logic , pp. 103-165
    • Zadeh, L.A.1    Bellman, R.E.2
  • 233
    • 30244457095 scopus 로고
    • Schemata in everyday reasoning
    • A.C. Zimmer, Schemata in everyday reasoning, Gestalt Theory 7 (1985) 155-169.
    • (1985) Gestalt Theory , vol.7 , pp. 155-169
    • Zimmer, A.C.1
  • 234
    • 0022856417 scopus 로고
    • What uncertainty judgements can tell about the underlying subjective probabilities
    • L.N. Kanal and J.F. Lemmer, eds., Elsevier Science, Amsterdam
    • A.C. Zimmer, What uncertainty judgements can tell about the underlying subjective probabilities, in: L.N. Kanal and J.F. Lemmer, eds., Uncertainty in Artificial Intelligence (Elsevier Science, Amsterdam, 1986) 249-258.
    • (1986) Uncertainty in Artificial Intelligence , pp. 249-258
    • Zimmer, A.C.1
  • 235
    • 0343968881 scopus 로고
    • A fuzzy model for the accumulation of judgements by human experts
    • W. Karwowski and A. Mital, eds., Elsevier Science, Amsterdam
    • A.C. Zimmer, A fuzzy model for the accumulation of judgements by human experts, in: W. Karwowski and A. Mital, eds., Applications of Fuzzy Set Theory in Human Factors (Elsevier Science, Amsterdam, 1986).
    • (1986) Applications of Fuzzy Set Theory in Human Factors
    • Zimmer, A.C.1
  • 236
    • 77956765862 scopus 로고
    • A common framework for colloquial quantifiers and probability terms
    • T. Zétényi, ed., Elsevier Science, Amsterdam
    • A.C. Zimmer, A common framework for colloquial quantifiers and probability terms, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 73-89.
    • (1988) Fuzzy Sets in Psychology , pp. 73-89
    • Zimmer, A.C.1
  • 237
    • 77956740848 scopus 로고
    • An empirical study of the integration of linguistic probabilities
    • T. Zétényi, ed., Elsevier Science, Amsterdam
    • R. Zwick, D.V. Budescu and T.S. Wallsten, An empirical study of the integration of linguistic probabilities, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 91-125.
    • (1988) Fuzzy Sets in Psychology , pp. 91-125
    • Zwick, R.1    Budescu, D.V.2    Wallsten, T.S.3
  • 238
    • 0024302101 scopus 로고
    • Combining stochastic uncertainty and linguistic inexactness: Theory and experimental evaluation of four fuzzy probability models
    • R. Zwick and T.S. Wallsten, Combining stochastic uncertainty and linguistic inexactness: Theory and experimental evaluation of four fuzzy probability models, Internat. J. Man-Machine Studies 30 (1989) 69-111.
    • (1989) Internat. J. Man-Machine Studies , vol.30 , pp. 69-111
    • Zwick, R.1    Wallsten, T.S.2


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