Give an English and pictorial description of the interval that corresponds to each of the following...

 

Transcribed Image Text:

Give an English and pictorial description of the interval that corresponds to each of the following Interval Temporal Logic formulae. a) PA (fin P) A skip³ (6 marks) (7 marks) b) skip² AA 2 A (A gets -A) (7 marks) c) (skip A fin(A = 0)); (B = 1 A skip) d) (PA empty); skip; skip² (8 marks) (8 marks) e) A 1 A (A gets A + 2) ^ halt (A = 7) (9 marks) f) len(4)^(Q; (skip ⇒ O¬Q) *) Give an English and pictorial description of the interval that corresponds to each of the following Interval Temporal Logic formulae. a) PA (fin P) A skip³ (6 marks) (7 marks) b) skip² AA 2 A (A gets -A) (7 marks) c) (skip A fin(A = 0)); (B = 1 A skip) d) (PA empty); skip; skip² (8 marks) (8 marks) e) A 1 A (A gets A + 2) ^ halt (A = 7) (9 marks) f) len(4)^(Q; (skip ⇒ O¬Q) *)