Robotics Reference
In-Depth Information
want(at(I,airport))
Meaning
: I want to be at the airport.
The problem-solving process employed by the Advice Taker leads to the
following step-by-step solution:
⊃
at(I,desk)
can(go(desk, car, walking))
Meaning
: I am at my desk implies that I can go from my desk to
my car by walking.
at(I,car)
can(go(home,airport,driving))
Meaning
: I am at my car implies that I can go from my home to
the airport by driving.
did(go(desk, car, walking))
⊃
⊃
at(I, car)
Meaning
: I did go from my desk to my car by walking which im-
plies that I am at my car.
did(go(home, airport, driving))
⊃
at(I, airport)
Meaning
: I did go from my home to the airport by driving which
implies that I am at the airport.
can ultimately achieve (at(I, desk), go(desk,
car, walking),
at(I,car))
Meaning
:IamatmydeskandIcangofrommydesktomycarby
walking, implies that I can ultimately achieve being at my car.
can ultimately achieve (at(I,car), go(home, airport, driving),
at(I,airport))
Meaning
: I am at my car and I can go from my home to the air-
port by driving, implies that I can ultimately achieve being at the
airport.
can ultimately achieve (at(I, desk), action(go(desk, car, walking),
go(home, airport, driving))
at(I, airport))
Meaning
:IamatmydeskandIcangofrommydesktomycarby
walking, following which I can go from my home to the airport by
driving, which together imply that I can ultimately achieve being
at the airport (which is my goal).
⊃
This example of the Advice Taker in action demonstrates how everyday
problems can be expressed in a symbolic form that can be understood
by computer programs based on the rules of classical mathematical logic.
And the example of the Logic Theory Machine demonstrates how com-
puters can manipulate such logic expressions in order to prove theorems,
