Q$2.$ Consider the state diagram below:

a$)$ Fill in the state transition table

b$)$ Suppose that there are three primitive propositions $(p,q,r)$ associated with the state machine

with their truth values in the various states given below

Find the interpretation functions I$($p$),$ I$($q$),$ I$($r$)$ on these propositions

c$)$ Suppose there are two observers Bar and Foo. Both have faulty knowledge. When machine is in

state A$,$ Bar believes it to be in state D and vice$-$versa. Foo believes that machine is in state C when it is actuall$)$

d$)$ Suppose x and x$$ are two observers. Using the state transition table from part a$),$ find J$($x$)$ and

J$($x$).$ For example, J$($x$)=\{($A$,$B$),...\}$

Q$3$: Complete Exercise $2\mathrm{.}3\mathrm{.}1$ on page $28$ of the ACST textbook. The textbook can be accessed from

Syracuse University Library website.

xy in state B$.$ It perceives the other three states correctly. Find J$($Bar$)$ and J$($Foo$)$

d$)$ Suppose x and x$$ are two observers. Using the state transition table from part a$),$ find J$($x$)$ and

J$($x$).$ For example, J$($x$)=\{($A$,$B$),...\}$

Q$3$: Complete Exercise $2\mathrm{.}3\mathrm{.}1$ on page $28$ of the ACST textbook. The textbook can be accessed from

Syracuse University Library website.

x