Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Michalski’s train problem (4)

  • Background knowledge for train east1 . Cars are uniquely identified by constants of the form car_xy , where x is number of the train to which the car belongs and y is the position of the car in that train. For example car_12 refers to the second car behind the locomotive in the first train
    • short(car_12). short(car_14).
    • long(car_11). long(car_13).
    • closed(car_12).
    • open(car_11). open(car_13). open(car_14).
    • infront(east1,car_11). infront(car_11,car_12).
    • infront(car_12,car_13). infront(car_13,car_14).
    • shape(car_11,rectangle). shape(car_12,rectangle).
    • shape(car_13,rectangle). shape(car_14,rectangle).
    • load(car_11,rectangle,3). load(car_12,triangle,1).
    • load(car_13,hexagon,1). load(car_14,circle,1).
    • wheels(car_11,2). wheels(car_12,2).
    • wheels(car_13,3). wheels(car_14,2).
    • has_car(east1,car_11). has_car(east1,car_12).
    • has_car(east1,car_13). has_car(east1,car_14).

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.