AI knowledge base

I want to create a structure that will hold information about the below environment,a knowledge base.So I'm trying to define predicates to encode every state of
the problem; some of them will be atemporal predicates, which don't change as
time progresses, and some will be
uent predicates whose values depend on the
current situation.

I"m writting predicates that will specify
the rooms, the lifts, and the paths between them and to
represent the direction the agent specfies when taking the lift.

I've attached the image
> A map which shows the structure of the
> building. Each node either represent a
> room (Rn) or a lift (Ln). The robot
> can either move between rooms (solid
> lines), or move between oors (dashed
> lines). The robots needs to specify
> the direction (up/down) when taking
> the lift.

1.
2. **in(x,y)-specifies if the robot is
inside(assuming that if the robot
enters the room then a clean state
will be a logical consequence)
visited(x)-specifies the state of
the room,if true then the room is
clean false otherwise
up(x)-specifies the direction of the
robot down(x)-specifies the
direction of the robot
GFloor(x)-specifies the floor
location of the robot
FFloor(x)-specifies the floor
location of the robot
SFloor(x)-specifies the floor
location of the robot
MeetingRoom(x) ConferenceRoom(x)
Office(x) Kitchen(x) Lounge(x)
Toilets(x) Labs(x) Lift1(x)
Lift2(x) Liftg(x)**

**My Questions are**:
1.Is my set of predicates correct?If not what should I change or add?

2.I'm using the unary predicate *visited(x)* to quliafy a clean room?Is this a good strategy?Should I add another binary predicate cleaning(x,y) to express the process?

3.How should I keep track of the position of the agent at any given moment?