The problem of coincidence in a theory of temporal multiple recurrence. (English) Zbl 1436.03119
Summary: Logical theories have been developed which have allowed temporal reasoning about eventualities (à la Galton) such as states, processes, actions, events and complex eventualities such as sequences and recurrences of other eventualities. This paper presents the problem of coincidence within the framework of a first order logical theory formalizing temporal multiple recurrence of two sequences of fixed duration eventualities and presents a solution to it.
The coincidence problem is described as: if two complex eventualities (or eventuality sequences) consisting respectively of component eventualities \(x_0, x_1, \dots, x_r\) and \(y_0, y_1, \dots, y_s\) both recur over an interval \(k\) and all eventualities are of fixed durations, is there a subinterval of \(k\) over which the incidence \(x_t\) and \(y_u\) for \(0 \leq t \leq r\) and \(0 \leq u \leq s\) coincide? The solution presented here formalizes the intuition that a solution can be found by temporal projection over a cycle of the multiple recurrence of both sequences.
The coincidence problem is described as: if two complex eventualities (or eventuality sequences) consisting respectively of component eventualities \(x_0, x_1, \dots, x_r\) and \(y_0, y_1, \dots, y_s\) both recur over an interval \(k\) and all eventualities are of fixed durations, is there a subinterval of \(k\) over which the incidence \(x_t\) and \(y_u\) for \(0 \leq t \leq r\) and \(0 \leq u \leq s\) coincide? The solution presented here formalizes the intuition that a solution can be found by temporal projection over a cycle of the multiple recurrence of both sequences.
MSC:
| 03B44 | Temporal logic |
References:
| [1] | Akinkunmi, B. O.; Osofisan, A. O., Temporal properties of repetitive entities, Artif. Intell. Rev., 22, 4, 297-338 (2004) · Zbl 1099.68109 |
| [2] | Allen, J. F., Maintaining knowledge about temporal intervals, Commun. ACM, 26, 11, 832-843 (1983) · Zbl 0519.68079 |
| [3] | Allen, J. F., Towards a general theory of action and time, Artif. Intell., 23, 2, 123-154 (1984) · Zbl 0567.68025 |
| [4] | Allen, J. F.; Ferguson, G. M., Actions and events in interval temporal logic, J. Log. Comput., 4, 5, 531-579 (1994) · Zbl 0815.68100 |
| [5] | Dean, T. L.; McDermott, D. V., Temporal database management, Artif. Intell., 32, 2, 1-55 (1987) |
| [6] | Galton, A., Operators vs arguments: the ins and outs of reification, Synthese, 150, 3, 415-441 (2006) · Zbl 1108.03022 |
| [7] | Galton, A., Eventualities, (Fisher, M.; Gabbay, D.; Vila, L., Handbook of Temporal Reasoning in Artificial Intelligence (2005), Elsevier) · Zbl 1099.68106 |
| [8] | Galton, A., Time and continuity in philosophy, mathematics, and artificial intelligence, Ars Semeiot., 19, 1-2, 101-119 (1996) |
| [9] | Galton, A., A critical examination of Allen’s theory of action and time, Artif. Intell., 42, 159-188 (1990) · Zbl 0733.03017 |
| [10] | Koomen, J., Reasoning about recurrence (1989), Department of Computer Science, University of Rochester: Department of Computer Science, University of Rochester Rochester, Ph.D. thesis |
| [11] | Linehan, M. H.; Barkmeyer, E.; Hendryx, S., The date-time vocabulary, (Donelly, M.; Guizzardi, G., Proceedings of the Seventh International Conference on Formal Ontology and Information Systems. Proceedings of the Seventh International Conference on Formal Ontology and Information Systems, FOIS 2012 (2012)), 265-278 |
| [12] | McDermott, D., A temporal logic for reasoning about processes and plans, Cogn. Sci., 6, 101-155 (1982) |
| [13] | Pan, F., Representing complex temporal phenomena for the semantic web and natural language (December 2007), University of Southern California, Ph.D. Dissertation |
| [14] | Pan, F.; Hobbs, J. R., Temporal aggregates in OWL-time, (Proceedings of the FLAIRS 2005 Conference (2005)), 560-565 |
| [15] | Pinto, J., Temporal reasoning in the situational calculus (1994), Department of Computer Science, University of Toronto: Department of Computer Science, University of Toronto Toronto, Ph.D. thesis |
| [16] | Shoham, Y., Temporal logics in AI: semantical and ontological considerations, Artif. Intell., 33, 1, 89-104 (1987) · Zbl 0633.68014 |
| [17] | Vila, L., Formal theories of time and temporal incidence, (Fisher, M.; Gabbay, D.; Vila, L., Handbook of Temporal Reasoning in Artificial Intelligence (2005), Elsevier) · Zbl 1099.68106 |
| [18] | Vila, L., A survey of temporal reasoning in artificial intelligence, AI Commun., 7, 1, 4-28 (1994) |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
