The purpose of this assignment is to gain experience in building a knowledge-based system (KBS), and in analyzing knowledge representation issues.  Because using Otter and getting the situation calculus to work is so hard, we will not be using The Tale of Peter Rabbit by Beatrix Potter (abridged).  Instead, the task is just this: axiomatize the Yale shooting domain successfully using first-order logic as automated by the theorem-prover Otter.  If possible, show sample queries that illustrate multiple types of question-answering and problem-solving.

Feel free to cooperate with other teams when figuring out how to use Otter.  Otter is easy to install on personal computers, and you are encouraged to use it elsewhere as well as on ieng9.

In your report, describe your approach and make clear to what extent you have been successful.  Explain the high-level difficulties you have encountered, and how you have overcome them.  Use the section notes as a starting point.  Some of the issues that you should consider while designing and implementing your knowledge base are as follows:

• What ontological choices do you have to make? 
  
• Do you have "unique names" axioms?  If yes, how do these work?
• Do you use any sort of "closed world" assumption?  If yes, how?
• Is your knowledge base reusable for different types of question-answering and problem-solving?
  
• Can you explain the proofs found by Otter?
• Are soundness and completeness useful concepts here?  To what extent can they be achieved and verified? and useful?
• Can you exploit the ability of Otter to do extensive search in order to solve non-obvious problems?
• On the other hand, can you guarantee that Otter will always give answers quickly, at least to some questions?
• Based on your experience, what features would you want in a knowledge representation language and system better than Otter?

• The first part should explain your approach to solvinge the frame problem, including some discussion of the limitations of this approach.
  
• The second part should discuss other interesting aspects of representing knowledge in the Yale shooting domain.
• The third part should discuss lessons learned from building the KBS.  Specifically, you should answer most of the questions above, in a nuanced way.