The problem of coincidence in a theory of temporal multiple recurrence

DOI10.1016/J.JAL.2015.12.001zbMATH Open1436.03119arXiv1705.00969OpenAlexW2207266820MaRDI QIDQ266873FDOQ266873

Authors: B. O. Akinkunmi 

Publication date: 7 April 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Abstract: Logical theories have been developed which have allowed temporal reasoning about eventualities (a la Galton) such as states, processes, actions, events, processes 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 formalising 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 x0, x1,....,xr and y0, y1, ..,ys both recur over an interval k and all eventualities are of fixed durations, is there a sub-interval of k over which the incidence xt and yu for t between 0..r and s between 0..s coincide. The solution presented here formalises the intuition that a solution can be found by temporal projection over a cycle of the multiple recurrence of both sequences.

Full work available at URL: https://arxiv.org/abs/1705.00969

Recommendations

• Temporal properties of repetitive entities
• Representation and reasoning with multi-point events
• Temporal Reasoning about Two Concurrent Sequences of Events
• Reasoning about recurrence
• scientific article; zbMATH DE number 4182845

zbMATH Keywords

interval calculusreified logictemporal reasoning

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Temporal logics in AI: semantical and ontological considerations
• Temporal properties of repetitive entities
• Actions and Events in Interval Temporal Logic
• Title not available (Why is that?)
• A critical examination of Allen's theory of action and time
• Operators vs. arguments: The ins and outs of reification

Cited In (1)

• Temporal properties of repetitive entities

This page was built for publication: The problem of coincidence in a theory of temporal multiple recurrence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q266873)