## Abstract

The authors present a general top-down procedure, GAO* , for searching acyclic AND/OR graphs with monotone cost functions. This procedure is a generalization of the AO* algorithm and can be viewed as a branch and bound procedure. Since monotone cost functions are very general, GAO* is applicable to a very large number of problems. For example, GAO* can be used to find the minimax value of a game tree. Furthermore, many existing game tree search procedures can be considered as special cases or slight variations of GAO* . The proof of correctness of GAO* is quite simple, which simplifies the correctness proof of AO* .

Original language | English (US) |
---|---|

Title of host publication | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference |

Publisher | IEEE |

Pages | 76-80 |

Number of pages | 5 |

ISBN (Print) | 0818606436 |

State | Published - Dec 1 1985 |