Knowledge-based problem-solving in AL3

A piece-of-advice suggests what goal should be achievednext while preserving some other condition. If this goal can be achieved in agiven problem-situation (e.g. a given chess position) then we say that the piece-ofadviceis 'satisfiable' in that position. In this way ALI makes it possible to breakthe whole problem of achieving an ultimate goal into a sequence of subproblems,each of them consisting of achievement of a subgoal prescribed by some pieceof-advice. The control structure which chooses what piece-of-advice to applynext consists of a set of 'advice-tables', each of them being specialized in acertain problem-subdomain.In Hayes, J. E., Michie, D., and Pao, Y.-H. (Eds.), Machine Intelligence 10. Ellis Horwood.