CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design

@inproceedings{Steier1987CYPRESSSoarAC,
  title={CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design},
  author={David M. Steier},
  booktitle={IJCAI},
  year={1987}
}
This paper describes a partial reimplementation of Doug Smith's CYPRESS algorithm design system within the Soar problem-solving architecture. The system, CYPRESS-SOAR, reproduces most of CYPRESS' behavior in the synthesis of three divide-and-conquer sorting algorithms from formal specifications. CYPRESS-Soar is based on heuristic search of problem spaces, and uses search to compensate for missing knowledge in some instances. CYPRESS-Soar also learns as it designs algorithms, exhibiting… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Analogy in program development

  • S. R. Dietzen, W. L. Scherlis
  • Proceedings of the Second Conference on the Role…
  • 1986
1 Excerpt

The chunking of goal hierarchies

  • P. S. Rosenbloom
  • Universal subgoaling and chunking : The automatic…
  • 1986

The chunking of goal hierarchies. In Universal subgoaling and chunking: The automatic generation and learning of goal hierarchies

  • P. S. Rosenbloom
  • 1986
1 Excerpt

Universal subgoaling

  • J. E. Laird
  • Universal Subgoaling and Chunking : The Automatic…
  • 1986

Universal subgoaling. In Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies, Kluwer Academic Publishing

  • J. E. Laird
  • 1986
2 Excerpts

Similar Papers

Loading similar papers…