1) Discuss the merits and faults of Turing’s criteria for computer software being “intelligent.” (10pts)
2) Describe your own criteria for computer software to be considered “intelligent.” (5pts)
3) Prove that modus ponens is sound for propositional calculus. Hint: use truth tables to enumerate all possible interpretations, then show that wherever the premises are true, the first line in the truth table below, the conclusion is also true. (10pts)
P Q P ⇒ Q P ∧ (P ⇒ Q) (P ∧ (P ⇒ Q)) ⇒ Q 4) Give a heuristics that a block-stacking program might use to solve problems of the form “stack block X on block Y.” (10pts)
a. Explain your answer.
b. Is it admissible?
c. Is it Monotonic? .
5) Explain the difference between a system that uses “dead reckoning” and one that is a “reactive” system. (5pts)
6) Explain why graph searching can be a useful approach to problem solving. Include an example. (10pts)
7) AI researchers often use knowledge and belief interchangeably even though they are technically different. (10pts)
a. Explain the distinction between them, and, when they might be used ignoring the distinction.
b. Then, explain how you (personally) would apply the two terms within an AI system that you were developing?
8) Explain what makes an intelligent agent and how such an agent can be utilized to develop an intelligent system. Include an example. (10pts)
9) Describe a task that can be solved using constraints. (15pts)
a. Distinguish between the hard constraints and the soft constraints of the system.
b. Develop a model of the constraint based solution using a table or a diagram.
10) Develop a planning problem to achieve some goal. (15pts)
a. As there are different kinds of goals, be sure to state what kind of goal you are satisfying.
b. Provide at least 5 states, and
c. Provide at least 5 actions
i. feel free to have more state and actions as necessary to satisfy your goal).
d. Explain the planner approach that you would use; and
e. provide a search space diagram to describe it.
Sample Solution
