How to progress a database

摘要

One way to think about a STRIPS operator is as a mapping from databases to databases, in the following sense: suppose we want to know what the world would be like if an action, represented by the STRIPS operator α, were done in some world, represented by the STRIPS database D0. To find out, simply perform the operator α on D0 (by applying α's elementary add and delete revision operators to D0). We describe this process as progressing the databaseD0 in response to the action α.