Multiagent Systems

of. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 673/731
9. Agents based on FOL 4. (Con-)Golog
The following procedure wspdf(n) finds plans of
length at most n by forward search (Reiter et al.
2000):
proc wspdf(n)
goal? | [n > 0?] ; (πa)(primitive_action(a)?; a);
¬badSituation? ; wspdf(n − 1)
badSituation(s) is a domain dependent predicate used to
define when a situation s should be discarded from further
consideration (important for pruning the search space).
For simple definitions of badSituation, this can solve
problems with plans of length around 20.