UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Getting to the Airport: the Oldest Planning Problem in AI (2000)
Vladimir Lifschitz
,
Norman McCain
, Emilio Remolina and Armando Tacchella
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 walk 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.
View:
PS
Citation:
In
Logic-Based Artificial Intelligence
, Jack Minker (Eds.), pp. 147-165 2000. Kluwer.
Bibtex:
@incollection{lif00a, title={Getting to the Airport: the Oldest Planning Problem in AI}, author={Vladimir Lifschitz and Norman McCain and Emilio Remolina and Armando Tacchella}, booktitle={Logic-Based Artificial Intelligence}, editor={Jack Minker}, publisher={Kluwer}, pages={147-165}, url="http://www.cs.utexas.edu/users/ai-lab?lif00a", year={2000} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Norman McCain
Ph.D. Alumni
nmccain [at] sunflower com
Areas of Interest
Action Languages
Automated Reasoning
Common Sense Reasoning
Control
Nonmonotonic Reasoning
Planning
Reasoning about Actions