CSE560 Homework 8 CSE560 Homework 8 Question 1 Draw all possible worlds that capture the different combinations of P, Q, R being true or false. Label the world with all three being true as w0. Right now, we have not imposed the seriality constraint. Verify that for John, explain with the use of your possible worlds, that there are no worlds that are accessible from the worlds accessible from world w0.
P can both be true.
Be specific as to what the i's knowledge base and inference procedure is assumed to be. What did they have to assume to make their solution work. If the seriality constraint holds, prove that the agent cannot believe false. John knows that Mary has a phone number. John doesn't know Mary's phone number.