Purchase Solution

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

Not what you're looking for?

Ask Custom Question

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.

Purchase this Solution

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.

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 provided by:
Education
  • BSc (Hons), University of Colombo - Sri Lanka
  • MEngSc, University of Melbourne
  • Certificate IV in Training & Assessment , Australian Business Council
Recent Feedback
  • "Thank you!"
  • "Thank you."
  • "Thanks a lot for you help and support"
  • "Sorry about the late payment but the assignment was sufficient and appreciated. Good work"
  • "Great description! Thank you for your quick response."
Purchase this Solution


Free BrainMass Quizzes
C# variables and classes

This quiz contains questions about C# classes and variables.

Java loops

This quiz checks your knowledge of for and while loops in Java. For and while loops are essential building blocks for all Java programs. Having a solid understanding of these constructs is critical for success in programming Java.

C++ Operators

This quiz tests a student's knowledge about C++ operators.

Inserting and deleting in a linked list

This quiz tests your understanding of how to insert and delete elements in a linked list. Understanding of the use of linked lists, and the related performance aspects, is an important fundamental skill of computer science data structures.

Basic Networking Questions

This quiz consists of some basic networking questions.