$$\sigma$$
i o TRUE i o implied io C o o

## 7.3 Adl Pruning Techniques

7.3.1 HELPFUL ACTIONS
actions having an appearing effect that achieves a goal at time step

$$a l l\ a\,p p l i c a\,b l e$$

appears

$$\operatorname{tim}a_{n}\operatorname{at}a_{n}=a_{n}$$
$H$$S$$\{o\mid o\subseteq S,\exists i$$i$$o\subseteq S$$i$$o$$G_{1}$$S$$/$$\emptyset\}$.  
7.3.2 ADDED GOAL DELETION
S

$$a\,c\,t i o\,n s$$
$${\mathfrak{S}}$$

A

$$\frac{A}{B}$$ ......................... 1. 
effects j

$$\mathbf{4}$$
$$\mathbf{j}$$

## 7.4 Adl State Transitions

state transition function 3 Res

S  A S, o   \ D  S, o o  Res S, o
$A$$S,o$$\stackrel{{i}}{{\longrightarrow}}$$D$$S,o$$\stackrel{{i}}{{\longrightarrow}}$$\stackrel{{o}}{{\longrightarrow}}$$\stackrel{{i}}{{\longrightarrow}}$$\stackrel{{o}}{{\longrightarrow}}$$\stackrel{{i}}{{\longrightarrow}}$$\stackrel{{o}}{{\longrightarrow}}$$\stackrel{{i}}{{\longrightarrow}}$$\stackrel{{o}}{{\longrightarrow}}$$\stackrel{{i}}{{\longrightarrow}}$$\stackrel{{o}}{{\longrightarrow}}$\(\stackrel{