Logic programming with temporal constraints

Abstract

In this work we combine logic programming and temporal constraint processing techniques. We propose TCLP, which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in Temporal Constraint Networks are applied. We identify a decidable fragment called, Simple TCLP, which can be viewed as extending Datalog with limited functions to accommodate intervals of occurrence and temporal constraints between them. Some of the restrictions introduced by Simple TCLP are overcome by a syntactic structure which provides with the benefits of reihcation. The latter allows quantification on tem poral occurrences and relation symbols.

Weighted strategies to guide a multi-objective evolutionary algorithm for multi-UAV mission planning

“…When we add time to the problem, then we have a temporal constraint satisfaction problem (TCSP). It is a particular class of CSP where variables represent times (time points, time intervals or durations) and constraints establish allowed temporal relations between them [25].…”

PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG

“…time ; (node1,('2016-11-25T12:30:00', '2016-11-25T13:00:00', '2016-11-25T13:30:00', '2016-11-25T14:00:00')), (node1,node2, (12,14,16,18)…”

“…Finally, it is possible to include comments in two different ways: % Temporal constraints detected between % the earlier facts time(juan) ; (pain,('2016-11-25T12:30:00', '2016-11-25T13:00:00', '2016-11-25T13:30:00', '2016-11-25T14:00:00')), (pain,cyan, (12,14,16,18) % Temporal constraints detected between % the earlier facts time(manolo) ; (pain,('2016-11-25T14:30:00', '2016-11-25T15:00:00', '2016-11-25T15:30:00', '2016-11-25T16:00:00')), (pain,cyan,(10,12,14,16) minutes), (cyan,crep,(3,4,6,7) minutes), (crep,tach,(0,1,3,4) minutes).…”

“…Extending PROLOG to deal with uncertain events [10] or mixing logic programming and temporal constraints [17,18] is not a new topic. However, PROLogic is the first language that includes all the possibilities of the FTCN model.…”