Proceedings:
Logic-Based Program Synthesis: State of the Art and Future Trends
Volume
Issue:
Papers from the 2002 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
One mechanism for achieving efficient component synthesis is retrieval and adaptation of existing solutions and architectures. This paper outlines two techniques, feature-based retrieval and adaptation architectures, that that support this synthesis technique. Feature-based retrieval is a cue-based reasoning derivative used to efficiently retrieve potential solutions from a component database. Adaptation architectures are small architectures used to efficiently package components for reused in a black-box fashion. Together these techniques provide an effective, rigorous synthesis technique for component-based systems.
Spring
Papers from the 2002 AAAI Spring Symposium