{"type":"ScholarlyArticle","title":"EGS: A Transformational Approach to Automatic Example Generation","authors":[{"name":"Myung W. Kim","slug":"myung-w-kim","given":"Myung W.","family":"Kim","affiliation":""}],"abstract":"Tht.9 paper describes a con.•t raint transformation approach to antomlltic example generation and its implementation . Tn this approach example.• are generated as the result of successive tran.•formations of the cons train t formulas . Such transformation.• are car ri ed out. based on various forms of knowledge. Systematic global simpli fi cat ion, largely based on drclarative knowl~dge, mitigates the impact of applying problemspec ific and e ff icient procedural knowledge, with a uniform problem representation scheme . The approach suggests a general framework for example generation in which a language for denribing exampl e.• can be defined . Tt also combine.• a general formal reasoning capacity and problem- specific procedural knowledge, to achieve both gPnerality and efficiency . The impl~mented .9yslem has proven tf1 be e:rpres.•ively powerful and e fficient f or a varirty of applications .","doi":null,"url":"https://ijcai.org/proceedings/1985/28","pdf":"https://ijcai.org/proceedings/1985/0028.pdf","markdown":"https://ijcai.org/proceedings/1985/28.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/28","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":28,"pages":{"first":155,"last":160},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}