{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T16:33:45Z","timestamp":1771000425884,"version":"3.50.1"},"reference-count":46,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T00:00:00Z","timestamp":1265846400000},"content-version":"vor","delay-in-days":10178,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Science"],"published-print":{"date-parts":[[1982,4]]},"abstract":"<jats:p>Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first\u2010order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It may be possible to implement a temporal\u2010inference machine based on this logic, which keeps track of several \u201cmaps\u201d of a time line, one per possible history.<\/jats:p>","DOI":"10.1207\/s15516709cog0602_1","type":"journal-article","created":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T13:32:12Z","timestamp":1120656732000},"page":"101-155","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":446,"title":["A Temporal Logic for Reasoning about Processes and Plans*"],"prefix":"10.1111","volume":"6","author":[{"given":"Drew","family":"McDermott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,2,11]]},"reference":[{"key":"e_1_2_1_2_1","unstructured":"Allen J.Maintaining knowledge about temporal intervals(Technical Report TR86). University of Rochester Department of Computer Science 1981."},{"key":"e_1_2_1_3_1","unstructured":"Charniak E.A framed PAINTING: the representation of a common sense knowledge fragment. Working Paper 28 Fondazione Dalle Molle 1976."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90001-1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.2307\/jj.13027259.6","volume-title":"The logical form of action sentences","author":"Davidson D.","year":"1967"},{"key":"e_1_2_1_6_1","unstructured":"Davis E.Organizing Spatial Knowledge(Technical Report 193). Yale University Computer Science Department 1981."},{"key":"e_1_2_1_7_1","volume-title":"A truth maintenance system (Memo 521)","author":"Doyle J.","year":"1979"},{"key":"e_1_2_1_8_1","volume-title":"A model for deliberation, action, and introspection (TR 581)","author":"Doyle J.","year":"1980"},{"key":"e_1_2_1_9_1","volume-title":"GPS: A Case Study in Generality and Problem Solving","author":"Ernst G. W.","year":"1969"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2019988"},{"key":"e_1_2_1_12_1","volume-title":"The Naive Physics Manifesto","author":"Hayes P.","year":"1979"},{"key":"e_1_2_1_13_1","volume-title":"Ontology for Liquids","author":"Hayes P.","year":"1979"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(73)90010-6"},{"key":"e_1_2_1_15_1","unstructured":"Hewitt C.Description and theoretical analysis (using schemata) of PLANNER: a language for proving theorems and manipulating models in a robot(Technical Report 258). MIT AI Laboratory 1972."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0401_4"},{"key":"e_1_2_1_17_1","volume-title":"Counterfactuals","author":"Lewis D. K.","year":"1973"},{"key":"e_1_2_1_18_1","volume-title":"Programs with common sense","author":"McCarthy J.","year":"1968"},{"issue":"1","key":"e_1_2_1_19_1","article-title":"Circumscription: a non\u2010monotonic inference rule","volume":"13","author":"McCarthy J.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_20_1","unstructured":"McDermott D. V.Flexibility and efficiency in a computer program for designing circuits(Technical Report 402). MIT AI Laboratory 1977."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0203_5"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0202_1"},{"issue":"1","key":"e_1_2_1_23_1","article-title":"Non\u2010monotonic logic 1","volume":"13","author":"McDermott D. V.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_24_1","volume-title":"Spatial inferences with ground, metric formulas on simple objects","author":"McDermott Drew V.","year":"1980"},{"key":"e_1_2_1_25_1","article-title":"Non\u2010monotonic logic II: non\u2010monotonic modal theories","author":"McDermott D. V.","year":"1981","journal-title":"Journal of ACM"},{"key":"e_1_2_1_26_1","unstructured":"McDermott D. V.Contexts and data dependencies: a synthesis. Submitted to IEEE Transactions on Pattern Analysis and Machine Intelligence 1981. (b)"},{"key":"e_1_2_1_27_1","unstructured":"McDermott D. V.&Davis E.Planning and executing routes through uncertain territory. Submitted to Artificial Intelligence 1981. (c)"},{"key":"e_1_2_1_28_1","unstructured":"McDermott D. V.Finding objects with given spatial properties. (Technical Report 195). Yale University Computer Science Department 1981. (d)"},{"key":"e_1_2_1_29_1","volume-title":"Introduction to Mathematical Logic","author":"Mendelson E.","year":"1964"},{"key":"e_1_2_1_30_1","volume-title":"A Theory of Programming Language Semantics","author":"Milne R.","year":"1976"},{"key":"e_1_2_1_31_1","volume-title":"Semantic Information Processing","author":"Minsky M.","year":"1968"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5840\/monist19695327"},{"key":"e_1_2_1_33_1","volume-title":"Formal Philosophy","author":"Montague R.","year":"1974"},{"key":"e_1_2_1_34_1","unstructured":"Moore R.Reasoning about knowledge and action(Technical Report 191). SRI AI Center 1980."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"issue":"1","key":"e_1_2_1_36_1","article-title":"A logic for default reasoning","volume":"13","author":"Reiter R.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_37_1","volume-title":"The Logic of Decision and Action","author":"Rescher N.","year":"1967"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"e_1_2_1_39_1","volume-title":"Proc. Theoretical Issues in Nat. Lang. Processing Workshop","author":"Rieger C.","year":"1975"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Rieger C.An organization of knowledge for problem solving and language comprehension.Artificial Intelligence 1976 1.","DOI":"10.1016\/0004-3702(76)90001-1"},{"key":"e_1_2_1_41_1","volume-title":"A Structure for Plans and Behavior","author":"Sacerdoti E.","year":"1977"},{"key":"e_1_2_1_42_1","volume-title":"Conceptual Information Processing","author":"Schank R. C.","year":"1975"},{"key":"e_1_2_1_43_1","volume-title":"Scripts, Plans, Goals, and Understanding","author":"Schank R. C.","year":"1977"},{"key":"e_1_2_1_44_1","volume-title":"Computer\u2010Based Medical Consultations\u2014MYCIN","author":"Shortliffe E. H.","year":"1976"},{"key":"e_1_2_1_45_1","article-title":"From planning to conniving\u2014a genetic approach","volume":"41","author":"Sussman G. J.","year":"1972","journal-title":"Proc. FJCC"},{"key":"e_1_2_1_46_1","volume-title":"A Computer Model of Skill Acquisition","author":"Sussman G. J.","year":"1975"},{"key":"e_1_2_1_47_1","volume-title":"Metaplanning. (Memo UCB\/ERL M80\/33","author":"Wilensky R.","year":"1980"}],"container-title":["Cognitive Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1207%2Fs15516709cog0602_1","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1207\/s15516709cog0602_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T11:00:38Z","timestamp":1735815638000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1207\/s15516709cog0602_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,4]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,4]]}},"alternative-id":["10.1207\/s15516709cog0602_1"],"URL":"https:\/\/doi.org\/10.1207\/s15516709cog0602_1","archive":["Portico"],"relation":{},"ISSN":["0364-0213","1551-6709"],"issn-type":[{"value":"0364-0213","type":"print"},{"value":"1551-6709","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,4]]},"assertion":[{"value":"2010-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}