{"type":"ScholarlyArticle","title":"The Abstraction/Implementation Model of Problem Reformulation","authors":[{"name":"Michael R. Lowry","slug":"michael-r-lowry","given":"Michael R.","family":"Lowry","affiliation":""}],"abstract":"A good problem repre,entation incorporate\" important problem con,traint, while hiding \"uperftuou\" detail. This paper presents methods for abstracting a problem representation by making implicit problem properties into explicit properties of the representation. The mathematics of the abstraction search space are given in terms of model theory and universal algebra. The Behavioral Abstraction method uses predefined representation maps to lift a problem representation to an abstract theory. The Behavioral Congruence method generate\" abstract theories and representation maps which incorporate problem constraints expressed as Behavioral Equivalences. Two meta-level methods for generating Behavioral Equivalence theorems are given. The STRATA automatic programming system described in this paper is currently being implemented.","doi":null,"url":"https://ijcai.org/proceedings/1987/207","pdf":"https://ijcai.org/proceedings/1987/0207.pdf","markdown":"https://ijcai.org/proceedings/1987/207.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/207","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Reasoning","track":"Reasoning","number":207,"pages":{"first":1004,"last":1009},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}