Search
This exercise aims at knowledge representation and reasoning in first-order logic. You will apply situation calculus in order to plan in terms of first-order logical deductions.
Monkey-banana problem is a simple task in which a monkey is in a room. A banana hangs from the ceiling. The monkey stands just below the banana but it is beyond the monkey's reach. The monkey is able to walk, move and climb objects. The room is just the right height so that the monkey can move a box, climb it and grasp the banana. The goal is to generate this plan (i.e., a sequence of simple actions) automatically.
The problem will be solved in Prover9 system. Utilize the situation calculus formalism to resolve the following subtasks:
Sunday 7.5.2017 23:59 CEST
Submission form
The solution has two parts: the implementation (the simple one and the final one) and a short report (approx. 2 pages without the assignment instructions and code listing, see the report template), the report motivates the individual steps, describes the code testing (goals and digests of their proofs) and discusses time complexity issues.
Submit in the upload system, a zip file is allowed, it contains both the code as well as the pdf report.
Notes on efficiency and generality
Evaluation
10 point assignment, min 5 points needed to pass it.