×

zbMATH — the first resource for mathematics

Towards a general theory of action and time. (English) Zbl 0567.68025
The author proposes as a general framework a many-sorted predicate calculus with time-intervals, properties and objects as basic sorts with sorts for locations, occurrences, events and processes as subsorts of occurrences, agents, actions, plans,... added later on. The language contains predicate symbols intended to stand for the intuitive relations ”property p holds at time t”, ”event e occurs at time t”, ”process e is occurring at time t” and many more as well as function symbols taking e.g. two events into a composite event or taking an object o and two locations \(L_ 1\), \(L_ 2\) into the event of changing the position of o from \(L_ 1\) to \(L_ 2\). The main part of the paper consists of the discussion of possible postulates among these primitives in the areas of natural language processing and of planning.
Reviewer: H.P.Schmitt

MSC:
68Q65 Abstract data types; algebraic specification
03B45 Modal logic (including the logic of norms)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68Q55 Semantics in the theory of computing
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Charniak, E., A common representation for problem-solving and language-comprehension information, Artificial intelligence, 16, 225-255, (1981)
[2] Allen, J.F.; Perrault, C.R., Analyzing intention in utterances, Artificial intelligence, 15, 143-178, (1980)
[3] Fillmore, C.J., The case for case, ()
[4] McCarthy, J.; Hayes, P.J., Some philosophical problems from the standpoint of artificial intelligence, () · Zbl 0226.68044
[5] McDermott, D., A temporal logic for reasoning about processes and plans, (), Cognitive sci., 6, 2, (1982), also in
[6] Mourelatos, A.P.D., Events, processes, and states, Linguistics and philosophy, 2, 415-434, (1978)
[7] Jackendoff, R., Toward an explanatory semantic representation, Linguistic inquiry, 7, 1, 89-150, (1976)
[8] Goldman, A., ()
[9] Davidson, D., The logical form of action sentences, ()
[10] Allen, J.F., Maintaining knowledge about temporal intervals, (), Comm. ACM, 26, 832-843, (1983), also in · Zbl 0519.68079
[11] Mays, E., A modal temporal logic for reasoning about change, ()
[12] Schank, R.C., ()
[13] Hayes, P.J., Naive physics I: ontology for liquids, ()
[14] ()
[15] Taylor, R., ()
[16] Norman, D.A.; Rumelhart, D.E., ()
[17] Searle, J.R., ()
[18] Cohen, P.R., On knowing what to say: planning speech acts, ()
[19] Moore, R.C., Reasoning about knowledge and action, ()
[20] Haas, A., Planning mental actions, ()
[21] Konolidge, K., A first-order formalization of knowledge and action for a multiagent planning system, ()
[22] Kaplan, D., Quantifying in, Synthese, 19, 178-214, (1968)
[23] Perlis, D., Language, computation, and reality, ()
[24] Fikes, R.E.; Nilsson, N.J., STRIPS: A new approach to the application of theorem proving to problem solving, Artificial intelligence, 2, 189-205, (1971) · Zbl 0234.68036
[25] Sacerdoti, E.D., The nonlinear nature of plans, ()
[26] Allen, J.F.; Koomen, J.A., Planning using a temporal world model, ()
[27] Vere, S., Planning in time: windows and durations for activities and goals, (1981), Jet Propulsion Laboratory, California Institute of Technology
[28] Searle, J.R., The intentionality of intention and action, Cognitive sci., 4, 1, (1980)
[29] Miller, G.A.; Galanter, E.; Pribram, K.H., ()
[30] Davis, L.K., ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.