Give for each of the following intervals the corresponding Interval Temporal Logic formula
● | ● | ● |
¬P,¬Q | P,Q | P,Q |
● | ● | ● | ● |
P | P | ¬P | ¬P |
● | ● | ● | ● | ● |
P,¬Q | ¬P,Q | P,¬Q | ¬P,Q | P,¬Q |
● | ● | ● | ● |
I = 1 | I = 3 | I = 9 | I = 27 |
Give an English description of the interval that correspond to each of the following Interval Temporal Logic formulae
(halt Q) ∧skip4
(P ∧skip2 ∧fin(Q)) ; (¬P ∧skip ∧fin(Q))
(( Q) ; (skip3 ∧halt P)) ∧skip5
(skip3)∗
Give the informal semantics (picture) of following formulae:
Given informal specification
Give the corresponding ITL formula.
Given the following informal specification
An interval where in the initial state the value of variable I is 6 and the value of variable Q is false. The value of I in each next state is decremented by 1 until the value of I reaches 0 whereas the value of Q in each next state is the negation of the value of Q in the current state.
Give its corresponding Interval Temporal Logic formula.
Give its corresponding semantics in pictorial form.
Determine which of the following formula is satisfiable or valid. Explain why.