The problem discussed in this paper is described in a 1959 paper by John McCarthy as follows: Assume that I am seated at my desk at home and I wish to go to the airport. My car is at my home also. The solution of the problem is to wall; to the car and drive the car to the airport. In the spirit of what is now known as the logic approach to AI, McCarthy proposed to address this problem by first giving ``a formal statement of the premises'' that a reasoning program would use to draw the relevant conclusions. Our goal here is to take a careful look at this episode from the early history of AI and to identify some of the logical and algorithmic ideas related to the airport problem that have emerged over the years.
File in questo prodotto:
Non ci sono file associati a questo prodotto.