A Second Refinement: Adding a Step

travel(?x, B, ?l)

at(truck, ?x)

connected(?x, B)

fuel(?l) (?l ~= EMPTY)

+at(truck, B)

+fuel(EMPTY)

-at(truck, A)

-fuel(?l)

• Note the unbound variables (least-commitment)

• There is a potential threat to the fuel(FULL) link

Previous slide

Next slide

Back to first slide

View graphic version