caa a22 4500 386364648 CHVBK 20180307111928.0 cr unu---uuuuu 161130e198906 xx s 000 0 eng 10.1017/S0269888900004896 doi S0269888900004896 pii (NATIONALLICENCE)cambridge-10.1017/S0269888900004896 Long Derek Department of Computer Science, University College London, Gower Street, London, UK A review of temporal logics [Elektronische Daten] [Derek Long] A series of temporal reasoning tasks are identified which motivate the consideration and application of temporal logics in artificial intelligence. There follows a discussion of the broad issues involved in modelling time and constructing a temporal logic. The paper then presents a detailed review of the major approaches to temporal logics: first-order logic approaches, modal temporal logics and reified temporal logics. The review considers the most significant exemplars within the various approaches, including logics due to Russell, Hayes and McCarthy, Prior, McDermott, Allen, Kowalski and Sergot. The logics are compared and contrasted, particularly in their treatments of change and action, the roles they seek to fulfil and the underlying models of time on which they rest. The paper concludes with a brief consideration of the problem of granularity—a problem of considerable significance in temporal reasoning, which has yet to be satisfactorily treated in a temporal logic. Copyright © Cambridge University Press 1989 The Knowledge Engineering Review Cambridge University Press 4/2(1989-06), 141-162 0269-8889 4:2<141 1989 4 KER https://doi.org/10.1017/S0269888900004896 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1017/S0269888900004896 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Long Derek Department of Computer Science, University College London, Gower Street, London, UK NATIONALLICENCE 773 0- The Knowledge Engineering Review Cambridge University Press 4/2(1989-06), 141-162 0269-8889 4:2<141 1989 4 KER CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge