Task 4 - EN - SitCalc

This exercise aims at knowledge representation, reasoning and planning in first-order logic. You will apply situation calculus in order to plan in a dynamic task in terms of first-order logical deductions.

The task is simple — Alice wants to obtain a treasure that is in the room D. However, Alice is in the room A and there are a locked door (in fig. shown in grey) between her and the treasure. She needs Bob to help her. Bob is in the room B where is also the key from the locked door. He needs to pick up the key and open the door, so Alice can get the treasure.

Your goal is to use situation calculus formalism to resolve the planning task using the first-order logic (FOL). The assignment is to complete the provided template in the language used in TPTP.

The assignment is worth 8 points. Implementation of the actions' effect axioms is worth 3 points, Implementation of the actions' frame axioms is worth 5 points. In order to complete the assignment you have to get at least 4 points.

The existence of proofs themselves helps to evaluate the solutions but it is not directly graded. Do not try to reach them at any cost (intentional mistakes that make Prover9 exit as expected).

You can use the online interface available at SystemOnTPTP, note that the computational resources are limited and if you leave the assignment to the last minute, you can have problems with running tasks there.

Submit in the upload system. You are supposed to upload a zip file containing the solution.

Modify the solution template only at the places where told otherwise your solution might be problematic to grade (and in worst case won't be graded), especially do not remove the block (you'll know what is meant when you look into the template).

The deadline is Tuesday 30.4.2019 23:59 CEST

• implement the required steps one by one and often check whether it does what you expect (by using custom conjectures)
• the sooner you start working on the assignment, the more time you’ll have

for potential questions

The template together with the assignment description in pdf is available here.

This action describes the move of agent $A$ from location $X$ to a reachable location $Y$. The action start in state $S$ and at that state the location $Y$ must be reachable from location $X$ and agent $A$ has to be capable of moving.

The action does not influence the location of agents and objects not involved in the action. It does not change the abilities to move, to pick up objects or to be picked up of any agent or object. It also does not modify the door or that an agents has something.

The action is that the agent A picked up an object K at the location X in the state S. The agent A has to be capable of picking up an object in the state, both the agent A and the object K has to be at the same location, and the object K can be picked up. The agent A has the object K at the end of the action.

The action does not influence the location of agents and objects not involved in the action, the object K no longer needs a location as it always is with the agent A. It does not change the abilities to move, to pick up objects or to be picked up of any agent or object. It also does not modify the door or that an agents has something.

The agent A can open the door D leading from room R1 to room R2 using the key K in the state S. The key has to be able to open the door from location R1 and the agent has to be at that location. The agent has to have (has(…)) the key K and the door has to be closed.

The action does not influence the door state of doors not involved in the action. It does not change the abilities to move, to pick up objects or to be picked up of any agent or object. It also does not modify any location or that an agents has something.

An agent or an object O is in the room R in the state S.

This describes that there is a door named D leading from room R1 to room R2 and is in the door state DS in the state S. The available door states DS are open and closed.

The axiom named bidirectional_doors makes all the doors bidirectional, i.e., if a door leads from room R1 to room R2, then it also leads from room R2 to room R1.

It says that the location Y is reachable from location Y in the state S, i.e. there is a path of open doors connecting the locations X and Y in the state S.

The agent A can move in the state S. Note that the agent can lose the ability to move (e.g. the agent can get too sick to move) as the ability is defined for individual states.

The agent A can pick up objects in the state S. Note that the agent can lose the ability to pick up object (e.g. the agent can get too tired to pick up objects) as the ability is defined for individual states.

An agent A has an object O in the state S.

It says that the key K can open the door D leading from the room R1 to the room R2. The key can open the door only from the room R1. This ability is permanent because if a door has a lock that can be opened with a certain key, they cannot lose the lock.

The object O can be picked up, i.e. it is not a permanent component of unmovable parts such as the rooms or the doors.