Agents controlled by a contingent planner seek to generate a robust plan, that accounts for and handles all eventualities, in advance of execution. Thus a contingent plan may include sensing actions which gather information that is later used to select between different plan branches. SGP uses an action model with clear semantics. SGP is complete. And SGP is substantially faster than previous contingent planners.
Most users are unable to customize their applications to their tasks.
Applications that do support customization provide it either as preferences and configuration options, or less frequently as a powerful end-user programming language. In any case, the degree of customizability is inversely proportional to the number of users who can benefit. In contrast to macro recording facilities, PBD systems generate programs with loops and conditionals. Our work generalizes previous heursitic approaches with a foundation based on inductive logic programming.