problem

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

(defproblem problem logistics
 (
  (airplane-at plane1 LOC1-1)
  (airplane-at plane2 LOC4-1)
  (airplane-at plane3 LOC5-1)
  (AIRPORT LOC1-1)
  (TRUCK truck1-1 city1)
  (truck-at truck1-1 LOC1-1)
  (IN-CITY LOC1-1 city1)
  (IN-CITY LOC1-2 city1)
  (IN-CITY LOC1-3 city1)
  (AIRPORT LOC2-1)
  (TRUCK truck2-1 city2)
  (truck-at truck2-1 LOC2-1)
  (IN-CITY LOC2-1 city2)
  (IN-CITY LOC2-2 city2)
  (IN-CITY LOC2-3 city2)
  (AIRPORT LOC3-1)
  (TRUCK truck3-1 city3)
  (truck-at truck3-1 LOC3-1)
  (IN-CITY LOC3-1 city3)
  (IN-CITY LOC3-2 city3)
  (IN-CITY LOC3-3 city3)
  (AIRPORT LOC4-1)
  (TRUCK truck4-1 city4)
  (truck-at truck4-1 LOC4-1)
  (IN-CITY LOC4-1 city4)
  (IN-CITY LOC4-2 city4)
  (IN-CITY LOC4-3 city4)
  (AIRPORT LOC5-1)
  (TRUCK truck5-1 city5)
  (truck-at truck5-1 LOC5-1)
  (IN-CITY LOC5-1 city5)
  (IN-CITY LOC5-2 city5)
  (IN-CITY LOC5-3 city5)
  (AIRPORT LOC6-1)
  (TRUCK truck6-1 city6)
  (truck-at truck6-1 LOC6-1)
  (IN-CITY LOC6-1 city6)
  (IN-CITY LOC6-2 city6)
  (IN-CITY LOC6-3 city6)
  (AIRPORT LOC7-1)
  (TRUCK truck7-1 city7)
  (truck-at truck7-1 LOC7-1)
  (IN-CITY LOC7-1 city7)
  (IN-CITY LOC7-2 city7)
  (IN-CITY LOC7-3 city7)
  (AIRPORT LOC8-1)
  (TRUCK truck8-1 city8)
  (truck-at truck8-1 LOC8-1)
  (IN-CITY LOC8-1 city8)
  (IN-CITY LOC8-2 city8)
  (IN-CITY LOC8-3 city8)
  (obj-at package1 loc8-3)
  (obj-at package2 loc1-1)
  (obj-at package3 loc2-2)
  (obj-at package4 loc6-3)
  (obj-at package5 loc5-1)
  (obj-at package6 loc2-3)
  (obj-at package7 loc1-2)
  (obj-at package8 loc6-3)
  (obj-at package9 loc5-2)
  (obj-at package10 loc7-1)
  (obj-at package11 loc2-3)
  (obj-at package12 loc2-2)
  (obj-at package13 loc7-2)
  (obj-at package14 loc7-1)
  (obj-at package15 loc8-2)
 )

 (:unordered
  (obj-at package1 loc8-1)
  (obj-at package2 loc2-1)
  (obj-at package3 loc2-3)
  (obj-at package4 loc6-2)
  (obj-at package5 loc1-1)
  (obj-at package6 loc6-2)
  (obj-at package7 loc6-3)
  (obj-at package8 loc1-1)
  (obj-at package9 loc4-2)
  (obj-at package10 loc8-3)
  (obj-at package11 loc3-2)
  (obj-at package12 loc3-3)
  (obj-at package13 loc3-2)
  (obj-at package14 loc6-3)
  (obj-at package15 loc5-1)
 )
)