Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
Interval temporal logics find application in computer science, artificial intelligence and linguistics. First-order interval temporal logic was initially developed in 1980s for the specification and verification of hardware protocols. Interval Temporal Logic (ITL) is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University. It is useful in the formal description of hardware and software for computer-based systems. Tools are available to aid in this process. Tempura provides an executable ITL framework. Compositionality is a significant issue and consideration in the design of ITL.
Notable derivatives of interval temporal logic are graphical interval logic, signed interval logic and future interval logic.
Famous quotes containing the words interval, temporal and/or logic:
“[I have] been in love with one princess or another almost all my life, and I hope I shall go on so, till I die, being firmly persuaded, that if ever I do a mean action, it must be in some interval betwixt one passion and another.”
—Laurence Sterne (1713–1768)
“What’s this, Aurora Leigh,
You write so of the poets and not laugh?
Those virtuous liars, dreamers after dark,
Exaggerators of the sun and moon,
And soothsayers in a tea-cup? I write so
Of the only truth-tellers, now left to God,—
The only speakers of essential truth,
Opposed to relative, comparative,
And temporal truths;...
The only teachers who instruct mankind,
From just a shadow on a charnel-wall.”
—Elizabeth Barrett Browning (1806–1861)
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)