Towards a general theory of action and time. (English) Zbl 0567.68025

Allen, James F.

Artif. Intell. 23, 123-154 (1984).

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

Keywords:

temporal logic; many-sorted predicate calculus; actions; natural language processing; planning

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., ()