العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolINTERVAL TEMPORAL LOGIC
(Redirected from Interval Temporal Logic)
'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.
★ Duration Calculus
★ Formal methods
★ Temporal Logic of Actions
★ ITL: Interval Temporal Logic
'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.
| Contents |
| See also |
| External link |
See also
★ Duration Calculus
★ Formal methods
★ Temporal Logic of Actions
External link
★ ITL: Interval Temporal Logic
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
