Do all parts of exercise 6 from section 6.8 of the textbook (http://artint.info/2e/html/ArtInt2e.Ch6.S8.html). Label your answers (a) through (f). There are several references to operators ‘mc’ and ‘mcc’ in this exercise (d-f) as given in the text. You should reread Example 6.6 of Section 6.1.2, and for purposes of understanding and answering exercise 6 of section 6.8, you should assume that ‘mc’ is ‘mc_cs’ and that ‘mcc’ is ‘mcc_off’.
For (d) through (f), give specific answers as sets of conditions. For example, for (d), give Pre(puc; mc_cs) = { … } and Eff(puc; mc_cs) = {…}. For (a) through (c), which are more abstract, you can use set operators like set difference (‘-‘) on Pre(a1), Eff(a1), Pre(a2), Eff(a2), etc
Note that in Example 6.1 of the text, which describes the Robot delivery environment, the text says that the effect of the dc (deliver coffee) operator is to make RHC (Rob Has Coffee) true. this is an error. The effect of the dc operator is to make RHC false (and swc false, which the text correctly states). The effects of dc are correctly stated in Example 6.5.
Submit all answers as one PDF file to the A-w3 folder on BrightSpace. Include your name at the top of the file.