메뉴 건너뛰기




Volumn 111, Issue 1-2, 1999, Pages 73-130

A commonsense language for reasoning about causation and rational action

Author keywords

Agency; Causation; Commonsense reasoning; Reasoning about action

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL LINGUISTICS;

EID: 0033165330     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(99)00041-7     Document Type: Article
Times cited : (17)

References (76)
  • 1
    • 0021466185 scopus 로고
    • Towards a general theory of action and time
    • J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1984) 123-154.
    • (1984) Artificial Intelligence , vol.23 , pp. 123-154
    • Allen, J.F.1
  • 2
    • 0003596240 scopus 로고
    • Cornell University Press, Ithaca, NY
    • G.E.M. Anscombe, Intention, Cornell University Press, Ithaca, NY, 1963.
    • (1963) Intention
    • Anscombe, G.E.M.1
  • 3
    • 0009352045 scopus 로고
    • Ifs and cans
    • Oxford University Press, Oxford
    • J.L. Austin, Ifs and cans, in: Philosophical Papers, Oxford University Press, Oxford, 1961.
    • (1961) Philosophical Papers
    • Austin, J.L.1
  • 4
    • 0003305744 scopus 로고
    • A plea for excuses
    • Oxford University Press, Oxford
    • J.L. Austin, A plea for excuses, in: Philosophical Papers, Oxford University Press, Oxford, 1961.
    • (1961) Philosophical Papers
    • Austin, J.L.1
  • 5
    • 26444566410 scopus 로고
    • Three ways of spilling ink
    • Oxford University Press, Oxford
    • J.L. Austin, Three ways of spilling ink, in: Philosophical Papers, Oxford University Press, Oxford, 1961.
    • (1961) Philosophical Papers
    • Austin, J.L.1
  • 7
    • 0009352571 scopus 로고
    • Modeling act-type relations in collaborative activity
    • Harvard University, Cambridge, MA
    • C.T. Balkanski, Modeling act-type relations in collaborative activity, Technical Report, Harvard University, Cambridge, MA, 1990.
    • (1990) Technical Report
    • Balkanski, C.T.1
  • 10
    • 20444493480 scopus 로고
    • Killing and letting die
    • S.M. McMurrin (Ed.), University of Utah Press
    • J. Bennett, Killing and letting die, in: S.M. McMurrin (Ed.), The Tanner Lectures on Human Values, Vol II, University of Utah Press, 1981, pp. 47-72.
    • (1981) The Tanner Lectures on Human Values , vol.2 , pp. 47-72
    • Bennett, J.1
  • 12
    • 0009454435 scopus 로고
    • The language of not doing
    • M. Brand, The language of not doing, Amer. Philos. Quarterly 8 (1) (1971).
    • (1971) Amer. Philos. Quarterly , vol.8 , Issue.1
    • Brand, M.1
  • 14
    • 84938049656 scopus 로고
    • Intensionality and identity in human action and philosophical method
    • H.-N. Castaneda, Intensionality and identity in human action and philosophical method, Nous 13 (1979) 235-259.
    • (1979) Nous , vol.13 , pp. 235-259
    • Castaneda, H.-N.1
  • 16
    • 0026201866 scopus 로고
    • Causes versus enabling conditions
    • P.W. Cheng, L.R. Novick, Causes versus enabling conditions, Cognition 40 (1991) 83-120.
    • (1991) Cognition , vol.40 , pp. 83-120
    • Cheng, P.W.1    Novick, L.R.2
  • 17
    • 0025403233 scopus 로고
    • Intention is choice with commitment
    • P. Cohen, H. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990) 213-261.
    • (1990) Artificial Intelligence , vol.42 , pp. 213-261
    • Cohen, P.1    Levesque, H.2
  • 18
    • 0004110062 scopus 로고
    • P. Cohen, J. Morgan, M. Pollack (Eds.), MIT Press, Cambridge, MA
    • P. Cohen, J. Morgan, M. Pollack (Eds.), Intentions in Communication, MIT Press, Cambridge, MA, 1990.
    • (1990) Intentions in Communication
  • 20
    • 0009189570 scopus 로고
    • Actions, reasons, and causes
    • Clarendon Press, Oxford, Originally published in 1963.
    • D. Davidson, Actions, reasons, and causes, in: Actions and Events, Clarendon Press, Oxford, 1989, pp. 3-20. Originally published in 1963.
    • (1989) Actions and Events , pp. 3-20
    • Davidson, D.1
  • 21
    • 0010952683 scopus 로고
    • Intending
    • Clarendon Press, Oxford, Originally published in 1978.
    • D. Davidson, Intending, in: Actions and Events, Clarendon Press, Oxford, 1989, pp. 83-102. Originally published in 1978.
    • (1989) Actions and Events , pp. 83-102
    • Davidson, D.1
  • 22
    • 0009290231 scopus 로고
    • The logical form of action sentences
    • Clarendon Press, Oxford
    • D. Davidson, The logical form of action sentences, in: Actions and Events, Clarendon Press, Oxford, 1989, pp. 105-148.
    • (1989) Actions and Events , pp. 105-148
    • Davidson, D.1
  • 23
    • 0004120307 scopus 로고
    • N. Rescher (Ed.), University of Pittsburg Press
    • Originally published in: N. Rescher (Ed.), The Logic of Decision and Action, University of Pittsburg Press, 1967.
    • (1967) The Logic of Decision and Action
  • 26
    • 0026940077 scopus 로고
    • On the complexity of prepositional knowledge base revision, updates, and counterfactuals
    • T. Eiter, G. Gottlob, On the complexity of prepositional knowledge base revision, updates, and counterfactuals, Artificial Intelligence 57 (1992) 227-270.
    • (1992) Artificial Intelligence , vol.57 , pp. 227-270
    • Eiter, T.1    Gottlob, G.2
  • 27
    • 0000348043 scopus 로고
    • Three reasons for not deriving 'kill' from 'cause to die'
    • J.A. Fodor, Three reasons for not deriving 'kill' from 'cause to die', Linguistic Inquiry 1 (4) (1970).
    • (1970) Linguistic Inquiry , vol.1 , Issue.4
    • Fodor, J.A.1
  • 28
    • 0003466885 scopus 로고
    • Intensional Logic and Logical Grammar, University of Chicago Press, Chicago, IL
    • L.T.F. Gamut, Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar, University of Chicago Press, Chicago, IL, 1991.
    • (1991) Logic, Language, and Meaning , vol.2
    • Gamut, L.T.F.1
  • 31
    • 0000439452 scopus 로고
    • Action, causation, and unity
    • This is a reply to Castaneda's paper in the same issue.
    • A. Goldman, Action, causation, and unity, Nous 13 (1979) 261-270. This is a reply to Castaneda's paper in the same issue.
    • (1979) Nous , vol.13 , pp. 261-270
    • Goldman, A.1
  • 33
    • 0003891112 scopus 로고
    • A guide to the modal logics of knowledge and belief: A preliminary report
    • IBM Research Laboratory
    • J.Y. Halpern, Y. Moses, A guide to the modal logics of knowledge and belief: A preliminary report, Technical Report, IBM Research Laboratory, 1985.
    • (1985) Technical Report
    • Halpern, J.Y.1    Moses, Y.2
  • 34
    • 0004176779 scopus 로고
    • MIT Press, Cambridge, MA
    • G. Harman, Change in View, MIT Press, Cambridge, MA, 1986.
    • (1986) Change in View
    • Harman, G.1
  • 36
    • 0000689115 scopus 로고
    • Short time periods
    • Milan, Italy
    • P.J. Hayes, Short time periods, in: Proc. IJCAI-87, Milan, Italy, 1987, pp. 981-983.
    • (1987) Proc. IJCAI-87 , pp. 981-983
    • Hayes, P.J.1
  • 38
    • 0002072545 scopus 로고
    • Actions and movements
    • Sydney, Australia
    • D. Israel, J. Perry, S. Tutiya, Actions and movements, in: Proc. IJCAI-91, Sydney, Australia, 1991, pp. 1060-1065.
    • (1991) Proc. IJCAI-91 , pp. 1060-1065
    • Israel, D.1    Perry, J.2    Tutiya, S.3
  • 41
    • 0009360582 scopus 로고
    • Causes and counterfactuals
    • J. Kirn, Causes and counterfactuals, J. Philos. LXX (17) (1973) 570-572.
    • (1973) J. Philos. , vol.70 , Issue.17 , pp. 570-572
    • Kirn, J.1
  • 42
    • 0003112688 scopus 로고
    • Noncausal connections
    • J. Kirn, Noncausal connections, Nous 8 (1974) 41-52.
    • (1974) Nous , vol.8 , pp. 41-52
    • Kirn, J.1
  • 43
    • 0001993031 scopus 로고
    • Belief and incompleteness
    • Ablex Publishing Corporation, Norwood, NJ
    • K. Konolige, Belief and incompleteness, in: Formal Theories of the Commonsense World, Ablex Publishing Corporation, Norwood, NJ, 1985, pp. 359-404.
    • (1985) Formal Theories of the Commonsense World , pp. 359-404
    • Konolige, K.1
  • 44
    • 0004178922 scopus 로고
    • Harvard University Press, Cambridge, MA
    • S.A. Kripke, Naming and Necessity, Harvard University Press, Cambridge, MA, 1980.
    • (1980) Naming and Necessity
    • Kripke, S.A.1
  • 45
    • 0003574035 scopus 로고
    • Cambridge University Press, Cambridge, UK
    • S.C. Levinson, Pragmatics, Cambridge University Press, Cambridge, UK, 1983.
    • (1983) Pragmatics
    • Levinson, S.C.1
  • 46
    • 0004271399 scopus 로고
    • Harvard University Press, Cambridge, MA
    • D. Lewis, Counterfactuals, Harvard University Press, Cambridge, MA, 1973.
    • (1973) Counterfactuals
    • Lewis, D.1
  • 47
    • 0000623977 scopus 로고
    • Causal explanation
    • Oxford University Press, Oxford
    • D. Lewis, Causal explanation, in: Philosophical Papers, Oxford University Press, Oxford, 1986, pp. 214-240.
    • (1986) Philosophical Papers , pp. 214-240
    • Lewis, D.1
  • 48
    • 0001601727 scopus 로고
    • Events
    • Oxford University Press, Oxford
    • D. Lewis, Events, in: Philosophical Papers, Oxford University Press, Oxford, 1986, pp. 241-269.
    • (1986) Philosophical Papers , pp. 241-269
    • Lewis, D.1
  • 49
    • 0004102473 scopus 로고
    • The Cement of the Universe
    • Oxford University Press, Oxford
    • J.L. Mackie, The Cement of the Universe, A Study of Causation, Oxford University Press, Oxford, 1988.
    • (1988) A Study of Causation
    • Mackie, J.L.1
  • 50
    • 0001928537 scopus 로고
    • Notes on formalizing context
    • Chambery, France
    • J. McCarthy, Notes on formalizing context, in: Proc. IJCAI-93, Chambery, France, 1993, pp. 555-560.
    • (1993) Proc. IJCAI-93 , pp. 555-560
    • McCarthy, J.1
  • 51
    • 0001445808 scopus 로고
    • A temporal logic for reasoning about processes and plans
    • D. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Sci. 6 (1982) 101-155.
    • (1982) Cognitive Sci. , vol.6 , pp. 101-155
    • McDermott, D.1
  • 52
    • 84936628426 scopus 로고
    • Temporal ontology and temporal reference
    • M. Moens, M. Steedman, Temporal ontology and temporal reference, Comput. Linguistics 14 (2) (1988) 15-28.
    • (1988) Comput. Linguistics , vol.14 , Issue.2 , pp. 15-28
    • Moens, M.1    Steedman, M.2
  • 53
    • 0001870364 scopus 로고
    • A formal theory of knowledge and action
    • Ablex Publishing Corporation, Norwood, NJ
    • R.C. Moore, A formal theory of knowledge and action, in: Formal Theories of the Commonsense World, Ablex Publishing Corporation, Norwood, NJ, 1985.
    • (1985) Formal Theories of the Commonsense World
    • Moore, R.C.1
  • 55
    • 0002673832 scopus 로고    scopus 로고
    • G.M.P. O'Hare, N.R. Jennings (Eds.), Wiley, New York
    • G.M.P. O'Hare, N.R. Jennings (Eds.), Foundations of Distributed Artificial Intelligence, Wiley, New York, 1996, pp. 169-186.
    • (1996) Foundations of Distributed Artificial Intelligence , pp. 169-186
  • 56
    • 0027708862 scopus 로고
    • The semantics of event prevention
    • Washington, DC
    • C.L. Ortiz, The semantics of event prevention, in: Proc. AAAI-93, Washington, DC, 1993, pp. 683-688.
    • (1993) Proc. AAAI-93 , pp. 683-688
    • Ortiz, C.L.1
  • 57
    • 0028585009 scopus 로고
    • Causal pathways of rational action
    • Seatle, WA
    • C.L. Ortiz, Causal pathways of rational action, in: Proc. AAAI-94, Seatle, WA, 1994, pp. 1061-1066.
    • (1994) Proc. AAAI-94 , pp. 1061-1066
    • Ortiz, C.L.1
  • 58
    • 0003454340 scopus 로고    scopus 로고
    • Ph.D. Dissertation, University of Pennsylvania, Department of Computer and Information Science
    • C.L. Ortiz, Worlds of change: Counterfactual reasoning and causation, Ph.D. Dissertation, University of Pennsylvania, Department of Computer and Information Science, 1996.
    • (1996) Worlds of Change: Counterfactual Reasoning and Causation
    • Ortiz, C.L.1
  • 59
    • 0033620275 scopus 로고    scopus 로고
    • Explanatory update theory: Applications of counterfactual reasoning to causation
    • C.L. Ortiz, Explanatory update theory: Applications of counterfactual reasoning to causation, Artificial Intelligence 108 (1999) 125-178.
    • (1999) Artificial Intelligence , vol.108 , pp. 125-178
    • Ortiz, C.L.1
  • 61
    • 0016962994 scopus 로고
    • An organization of knowledge for problem solving and language comprehension
    • C. Rieger, An organization of knowledge for problem solving and language comprehension, Artificial Intelligence 7 (1976) 89-127.
    • (1976) Artificial Intelligence , vol.7 , pp. 89-127
    • Rieger, C.1
  • 66
    • 0028543198 scopus 로고
    • Motivated action theory: A formal theory of causal reasoning
    • L.A. Stein, L. Morgenstern, Motivated action theory: A formal theory of causal reasoning, Artificial Intelligence 71 (1994) 1-42.
    • (1994) Artificial Intelligence , vol.71 , pp. 1-42
    • Stein, L.A.1    Morgenstern, L.2
  • 67
    • 0002207220 scopus 로고
    • Semantic causative types
    • Vol. 6, Academic Press, New York
    • L. Talmy, Semantic causative types, in: Syntax and Semantics, Vol. 6, Academic Press, New York, 1976.
    • (1976) Syntax and Semantics
    • Talmy, L.1
  • 68
    • 34248875622 scopus 로고
    • Force dynamics in language and cognition
    • L. Talmy, Force dynamics in language and cognition, Cognitive Sci. 12 (1988) 49-100.
    • (1988) Cognitive Sci. , vol.12 , pp. 49-100
    • Talmy, L.1
  • 70
    • 33645713056 scopus 로고
    • Counterfactual analysis of causation and Kirn's examples
    • T. Yagisawa, Counterfactual analysis of causation and Kirn's examples, Analysis 39 (2) (1979).
    • (1979) Analysis , vol.39 , Issue.2
    • Yagisawa, T.1
  • 71
    • 0009460176 scopus 로고
    • Causal relations
    • Z. Vendler, Causal relations, J. Philos. LXIV (21) (1967) 704-713.
    • (1967) J. Philos. , vol.64 , Issue.21 , pp. 704-713
    • Vendler, Z.1
  • 72
    • 0009460177 scopus 로고
    • Facts and events
    • Cornell University Press, Ithaca, NY
    • Z. Vendler, Facts and events, in: Linguistics in Philosophy, Cornell University Press, Ithaca, NY, 1967, pp. 122-146.
    • (1967) Linguistics in Philosophy , pp. 122-146
    • Vendler, Z.1
  • 73
    • 0009461166 scopus 로고
    • Negative acts
    • B. Vermazen, M. Hintikka (Eds.), Clarendon Press, Oxford, See also Davidson's reply to Vermazen in the same volume.
    • B. Vermazen, Negative acts, in: B. Vermazen, M. Hintikka (Eds.), Essays on Davidson, Clarendon Press, Oxford, 1985. See also Davidson's reply to Vermazen in the same volume.
    • (1985) Essays on Davidson
    • Vermazen, B.1
  • 74
    • 0009354101 scopus 로고
    • On the logic and epistemology of the causal relation
    • E. Sosa (Ed.), Oxford University Press, Oxford
    • G.H. von Wright, On the logic and epistemology of the causal relation, in: E. Sosa (Ed.), Causation and Conditionals, Oxford University Press, Oxford, 1975, pp. 105-124.
    • (1975) Causation and Conditionals , pp. 105-124
    • Von Wright, G.H.1
  • 76
    • 85156267281 scopus 로고
    • Reasoning about actions using a possible models approach
    • St. Paul, MM
    • M. Winslett, Reasoning about actions using a possible models approach, in: Proc. AAAI-88, St. Paul, MM, 1988, pp. 89-93.
    • (1988) Proc. AAAI-88 , pp. 89-93
    • Winslett, M.1


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