Towards a general theory of action and time

Artificial Intelligence - Tập 23 Số 2 - Trang 123-154 - 1984
James F. Allen1
1University of Rochester, Rochester, NY

Tóm tắt

Từ khóa


Tài liệu tham khảo

Charniak, 1981, A common representation for problem-solving and language-comprehension information, Artificial Intelligence, 16, 225, 10.1016/0004-3702(81)90001-1

Allen, 1980, Analyzing intention in utterances, Artificial Intelligence, 15, 143, 10.1016/0004-3702(80)90042-9

Fillmore, 1968, The case for case

McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 4

McDermott, 1981, A temporal logic for reasoning about processes and plans, 10.1207/s15516709cog0602_1

1982, Cognitive Sci., 6

Mourelatos, 1978, Events, processes, and states, Linguistics and Philosophy, 2, 415, 10.1007/BF00149015

Jackendoff, 1976, Toward an explanatory semantic representation, Linguistic Inquiry, 7, 89

Goldman, 1970

Davidson, 1967, The logical form of action sentences

Allen, 1981, Maintaining knowledge about temporal intervals, 10.1145/182.358434

1983, Comm. ACM, 26, 832, 10.1145/182.358434

Mays, 1983, A modal temporal logic for reasoning about change

Schank, 1975

Hayes, 1978, Naive physics I: Ontology for liquids

1975

Taylor, 1966

Norman, 1975

Searle, 1969

Cohen, 1978, On knowing what to say: Planning speech acts

Moore, 1979, Reasoning about knowledge and action

Haas, 1982, Planning mental actions

Konolidge, 1980, A first-order formalization of knowledge and action for a multiagent planning system

Kaplan, 1968, Quantifying in, Synthese, 19, 178, 10.1007/BF00568057

Perlis, 1981, Language, computation, and reality

Fikes, 1971, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, 2, 189, 10.1016/0004-3702(71)90010-5

Sacerdoti, 1975, The nonlinear nature of plans

Allen, 1983, Planning using a temporal world model

Vere, 1981

Searle, 1980, The intentionality of intention and action, Cognitive Sci., 4, 10.1207/s15516709cog0401_3

Miller, 1960

Davis, 1979