Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

915 questions

1k answers

1.4k comments

441 users

0 votes

How to approach such questions? I am really now able to understand how to start for such questions?

in * TF "Vis. and Sci. Comp." by (870 points)

1 Answer

0 votes
There is no general recipe here. The question asks for your understanding of the temporal logic formulas, i.e., you need to read and understand them, and think about their potential difference. If they are different, you can find an example to distinguish them, otherwise, there is a way to rewrite one into the other.

As discussed in various threads about the same topics, you may think about what the formulas demand for the current point of time, and what they may ask for next points of time by unrolling the formulas using the recursive definitions of the temporal operators. That may, however, become difficult is therefore not a general recipe.

In many cases the classic difference shown by the example on slide 42 of the temporal logic chapter is hidden, as in the case above. Slide 42 shows that EGFp and EGEFp are different, and by negating both, you can use the same example to show that AFG!p and AFAG!p are different. Then you are almost there.
by (142k points)
Thank you :)

Related questions

0 votes
1 answer
asked Aug 14, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
0 votes
1 answer
asked Aug 13, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
asked Aug 13, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
asked Aug 13, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
Imprint | Privacy Policy
...