|
Interval temporal logic - Definition |
| Related Words: Aperture, Breach, Break, Broaching, Caesura, Caliber, Check, Clearing, Cleft, Comma, Compass, Crack, Cut, Day, Defalcation, Defect, Deficiency, Deficit |
|
|
|
Interval temporal logic (also Interval logic) is a temporal logic for representing both propositional and first-order reasoning about periods of time that is capable of handling both sequetntial 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 initialy developed in 1980s for specification and verification of hardware protocols.
Notable derivatives of interval temporal logic are Graphical interval logic, Signed interval logic and Future interval logic.
|
|
|
