Additive AND/OR Graphs

Abstract

Additive AND/OR graphs are defined as AND/ OR graphs without circuits, which can be considered as folded AND/OR trees; i. e. the cost of a common subproblem is added to the cost as many times as the subproblem occurs, but it is computed only once. Additive AND/OR graphs are naturally obtained by reinterpreting the dynamic programming method in the light of the problem-reduction approach. An example of this reduction is given. A top-down and a bottom-up method are proposed for searching additive AND/OR graphs. These methods are, respectively, extensions of the arrow method proposed by Nilsson for searching AND/OR trees and Dijkstra's algorithm for finding the shortest path. A proof is given that the two methods find an optimal solution whenever a solution exists.

Cite

Text

Martelli and Montanari. "Additive AND/OR Graphs." International Joint Conference on Artificial Intelligence, 1973.

Markdown

[Martelli and Montanari. "Additive AND/OR Graphs." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/martelli1973ijcai-additive/)

BibTeX

@inproceedings{martelli1973ijcai-additive,
  title     = {{Additive AND/OR Graphs}},
  author    = {Martelli, Alberto and Montanari, Ugo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {1-11},
  url       = {https://mlanthology.org/ijcai/1973/martelli1973ijcai-additive/}
}