×

zbMATH — the first resource for mathematics

Temporal logics in AI: semantical and ontological considerations. (English) Zbl 0633.68014
Two temporal formalisms in AI are examined and problems for application are shown. A new formalism, interval logic, is presented with syntax similar to meta-syntax and semantics similar Kripke-semantics. Some ontological definitions are given on this formal basis.
Reviewer: E.Melis

MSC:
68Q65 Abstract data types; algebraic specification
68T99 Artificial intelligence
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Allen, J.F., Towards a general theory of action and time, Artificial intelligence, 23, 123-154, (1984) · Zbl 0567.68025
[2] Halpern, J.Y.; Shoham, Y., A propositional modal logic of time intervals, () · Zbl 0799.68175
[3] Humberstone, I.L., Interval semantics for tense logics: some remarks, J. philos. logic, 8, 171-196, (1979) · Zbl 0409.03012
[4] Kripke, S., Semantical considerations on modal logic, Acta philos. fenn., 16, 83-94, (1963) · Zbl 0131.00602
[5] McCarthy, J.M.; Hayes, P.J., Some philosophical problems from the standpoint of artificial intelligence, (), 431-450 · Zbl 0226.68044
[6] McDermott, D.V., A temporal logic for reasoning about processes and plans, Cognitive sci., 6, 101-155, (1982)
[7] Moszkowski, B.C., Executing temporal logic programs, () · Zbl 0658.68014
[8] Roper, P., Intervals and tenses, J. philos. logic, 9, (1980) · Zbl 0451.03007
[9] Shoham, Y., Ten requirements for a theory of change, New generation computing, 3, (1985)
[10] Shoham, Y., Reasoning about change: time and causation from the standpoint of artificial intelligence, ()
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.