Share
Explore BrainMass

Planning a route for a robot to take from one city to another (situation/event calculus)

Consider the problem of planning a route for a robot to take from one city to another. The basic action taken by the robot is Go (x,y), which takes it from city x to city y if there is a direct route between those cities. DirectRoute(x,y) is true if an only if there is a direct route from x to y; you can assume that all such facts are already in the knowledge base. The robot begins in New York and must reach Los Angeles.

Write a suitable logical description of the initial situation of the Robot.

Write a suitable logical query whose solutions will provide possible paths to the goal.

Write a sentence describing the Go action. Use a successor-state axiom.

Solution Preview

Dear Student,

1) Logical description of the initial situation of the Robot:

Moving from Room R1 to R2,

initiates(go_to_room(R1,R2),in(R2),T) :- (A1)
holds_at(in(R1),T).

2) Logical query whose solutions will provide possible paths to the ...

Solution Summary

The planning for a route for a robot to take from one city to another is determined. The expert writes a suitable logical query whose solution will provide possible paths to the goal.

$2.19