Decision Table Analysis

Consider the attached decision table for the controller of the power windows of a car: (i) Is the decision table complete? Justify your answer: If it is complete, state why; if it is not, give examples of missing conditions. (ii) Is the decision table deterministic? Justify your answer: If it is deterministic, state why; if it is not, state which rules are non-deterministic. (iii) Is the decision table consistent in the collecting semantics? Justify your answer: If it is consistent, state why; if it is not, state which rules are conflicting and propose a fix (possibly involving the conflict axiom). (iv) Which rules would be inconsistent if the conflict clause for “Top reached” and “Bottom reached” were removed? What undesirable situation would be caused by the inconsistency? Is the inconsistency problematic in the collecting semantics, in the interleaving semantics, or both?