The assignment of the planning task

Author: Radek Mařík
Edit: Tibor Strašrybka

Upload two files in a single ZIP archive:

1. A file domain.pddl with a specification of the planning domain.
2. A file problem.pddl with a specification of the planning problem.

The following planning domain is shared by all assignments:

1. The goal is to transport cargo/people between different places and towns by cars and airplanes.
2. Vehicles can be loaded with only a single package/person.
3. Aircrafts can be also loaded with only a single package/person.
4. An aircraft can fly only from one airport to another airport.
5. A vehicle can go between selected airports and towns along given roads.
6. The airports are only in Boston, New York, Las Vegas, Paris and Prague.
7. Air connections are only between Boston and New York, New York and Las Vegas, New York and Paris, New York and Prague, Paris and Prague.
8. Roads connect only Prague and Pilsen, Prague and Liberec, Liberec and Kladno, New York and Stamford, New York and Trenton, Lakewood and Trenton, Boston and Newton, Boston and Weymouth, Newton and Weymouth, Las Vegas and Flagstaff, Las Vegas and Henderson, Flagstaff and Prescott, Paris and Vernon, Vernon and Dreux, Paris and Etampes, Etampes and Fontainebleau.
9. Put vehicles into towns so that none of the vehicles is initially in a town with an airport and there are at most two vehicles in the neighborhood of each airport.

The variant is assigned by the number in the students list in timetable https://www.fel.cvut.cz/cz/education/rozvrhy-ng.B152/public/cz/paralelky/C12/81/par12813504.101.html.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen do Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Tubes from Dreux to Stamford.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Avrim from Pilsen to Flagstaff,
  • Betty from Paris to New York,
  • Josef from Paris to Las Vegas,
  • Francis from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Hard disks from Liberec to Prescott.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Computer monitors from Stamford to Vernon.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Las Vegas.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Josef from Paris Flagstaff,
  • Betty from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Mail from Trenton to Prescott.

• Initially, the airplane OK312 is located at the airport in Paris, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Francis from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Backpacks from Etampes to Kladno.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Paris.
• People transportation requests:
  • Betty from Pilsen to Weymouth,
  • Francis from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Josef from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Lawn mowers from Liberec to Lakewood.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Betty from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Shovels from Pilsen to Fontainebleau.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Las Vegas.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Francis from Paris to Las Vegas,
  • Jason from Flagstaff to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in Paris, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Josef from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Betty from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Shovels from Pilsen to Fontainebleau.

• Initially, the airplane OK312 is located at the airport in Paris, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Flagstaff to New York,
  • Alex from Paris to Las Vegas,
  • Francis from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Betty from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Josef from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • Shovels from Pilsen to Fontainebleau.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Francis from Pilsen to Weymouth,
  • Michelle from Flagstaff to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Betty from Paris to Las Vegas,
  • Josef from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • Shovels from Pilsen to Fontainebleau.

• Initially, the airplane OK312 is located at the airport in Paris, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Las Vegas.
• People transportation requests:
  • Josef from Pilsen to Weymouth,
  • Francis from Paris to Flagstaff,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • Lamps from Fontainebleau to Liberec.

• Initially, the airplane OK312 is located at the airport in Paříži, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Francis from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Josef from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Flagstaff.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Shovels from Pilsen to Fontainebleau.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Paris.
• People transportation requests:
  • Betty from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Francis from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • Lamps from Fontainebleau to Liberec.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Las Vegas.
• People transportation requests:
  • Avrim from Pilsen to Flagstaff,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Josef from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Pumps from Plzně to Henderson.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Francis from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood
  • TV sets from Flagstaff to Paris.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in Paris.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Flagstaff to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood ,
  • Pumps from Plzně to Henderson.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Josef from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Francis from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Lamps from Fontainebleau to Liberec.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in Las Vegas.
• People transportation requests:
  • Francis from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Lamps from Fontainebleau to Liberec.

• Initially, the airplane OK312 is located at the airport in New York, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Francis from Flagstaff to New York,
  • Josef from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Pumps from Plzně to Henderson.

• Initially, the airplane OK312 is located at the airport in Prague, airplane DL456 is located at the airport in Paris.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Flagstaff to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Books from Stamford to Etampes.

• Initially, the airplane OK312 is located at the airport in Las Vegas, airplane DL456 is located at the airport in Boston.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Jason from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Notebooks from Flagstaff to Lakewood.

• Initially, the airplane OK312 is located at the airport in Paris, airplane DL456 is located at the airport in New York.
• People transportation requests:
  • Avrim from Pilsen to Weymouth,
  • Michelle from Paris to New York,
  • Alex from Paris to Las Vegas,
  • Francis from Las Vegas to Fontainebleau.
• Cargo transportation requests:
  • Pencils from Prescott to Liberec,
  • Paper from Kladno to Lakewood,
  • Calendars from Vernon to Prague.