- #1
AkilMAI
- 77
- 0
Homework Statement
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
fluent 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.
Homework Equations
The image is attached below.Description.
> 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 doors (dashed
> lines). The robots needs to specify
> the direction (up/down) when taking
> the lift.
The Attempt at a Solution
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 qualify a clean room...Is this a good strategy?Should I add another binary predicate cleaning(x,y) to express the process and instead of the unary predicate visited(x) to use the clean(x) predicate?
3.How can I keep track of the position of the agent at any given moment?