An MSG-method for inductive logic program synthesis. Erdem, E. 1996. Senior Project Final ReportN abstract bibtex SYNAPSE2 is an upgraded version of SYNAPSE (developed by Flener [1995]), which is an implementation of an inductive synthesis mechanism that semi-automatically synthesizes divide-and-conquer logic algorithms in a schema-guided way, from non-incrementally given examples and properties of an intended relation. SYNAPSE2 goes through six steps, instantiating the place-holders of a chosen divide-and-conquer logic algorithm schema. At Step 5, the MSG-Method is used as a tool. The MSG-Method is used to infer a logic algorithm of an intended relation, if it is possible to get a logic algorithm using only =/2 predicate in the body. In this project, our aim is to simplify and extend the existing MSG-Method (introduced by Flener [1995]) independent of the place-holder and its schema, and to re-implement Step 5 of SYNAPSE2, which corresponds to the steps 5 and 6 of SYNAPSE. In this report, the main concepts are introduced as preliminaries in Section 1, the synthesis mechanism is explained with an example (in SYNAPSE2) in Section 2, the MSG-Method is focused on in Section 3, after then Step 5 is explained in Section 4, finally the project is discussed in Section 5.
@misc{senior,
author = {Esra Erdem},
title = {An {MSG}-method for inductive logic program synthesis},
note = {Senior Project Final Report},
year = {1996},
urlN = {senior_project.pdf},
abstract = {SYNAPSE2 is an upgraded version of SYNAPSE (developed by Flener [1995]),
which is an implementation of an inductive synthesis mechanism that
semi-automatically synthesizes divide-and-conquer logic algorithms in a
schema-guided way, from non-incrementally given examples and properties of
an intended relation. SYNAPSE2 goes through six steps, instantiating the
place-holders of a chosen divide-and-conquer logic algorithm schema. At
Step 5, the MSG-Method is used as a tool. The MSG-Method is used to infer
a logic algorithm of an intended relation, if it is possible to get a
logic algorithm using only =/2 predicate in the body.
In this project, our aim is to simplify and extend the existing MSG-Method
(introduced by Flener [1995]) independent of the place-holder and its
schema, and to re-implement Step 5 of SYNAPSE2, which corresponds to the
steps 5 and 6 of SYNAPSE. In this report, the main concepts are introduced
as preliminaries in Section 1, the synthesis mechanism is explained with
an example (in SYNAPSE2) in Section 2, the MSG-Method is focused on in
Section 3, after then Step 5 is explained in Section 4, finally the
project is discussed in Section 5.
},
}
Downloads: 0
{"_id":{"_str":"53424e050e946d920a0006a3"},"__v":4,"authorIDs":["5456f0758b01c81930000081","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Erdem, E."],"bibbaseid":"erdem-anmsgmethodforinductivelogicprogramsynthesis-1996","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]}],"title":"An MSG-method for inductive logic program synthesis","note":"Senior Project Final Report","year":"1996","urln":"senior_project.pdf","abstract":"SYNAPSE2 is an upgraded version of SYNAPSE (developed by Flener [1995]), which is an implementation of an inductive synthesis mechanism that semi-automatically synthesizes divide-and-conquer logic algorithms in a schema-guided way, from non-incrementally given examples and properties of an intended relation. SYNAPSE2 goes through six steps, instantiating the place-holders of a chosen divide-and-conquer logic algorithm schema. At Step 5, the MSG-Method is used as a tool. The MSG-Method is used to infer a logic algorithm of an intended relation, if it is possible to get a logic algorithm using only =/2 predicate in the body. In this project, our aim is to simplify and extend the existing MSG-Method (introduced by Flener [1995]) independent of the place-holder and its schema, and to re-implement Step 5 of SYNAPSE2, which corresponds to the steps 5 and 6 of SYNAPSE. In this report, the main concepts are introduced as preliminaries in Section 1, the synthesis mechanism is explained with an example (in SYNAPSE2) in Section 2, the MSG-Method is focused on in Section 3, after then Step 5 is explained in Section 4, finally the project is discussed in Section 5. ","bibtex":"@misc{senior,\nauthor = {Esra Erdem},\ntitle = {An {MSG}-method for inductive logic program synthesis},\nnote = {Senior Project Final Report},\nyear = {1996},\nurlN = {senior_project.pdf},\nabstract = {SYNAPSE2 is an upgraded version of SYNAPSE (developed by Flener [1995]),\nwhich is an implementation of an inductive synthesis mechanism that\nsemi-automatically synthesizes divide-and-conquer logic algorithms in a\nschema-guided way, from non-incrementally given examples and properties of\nan intended relation. SYNAPSE2 goes through six steps, instantiating the\nplace-holders of a chosen divide-and-conquer logic algorithm schema. At\nStep 5, the MSG-Method is used as a tool. The MSG-Method is used to infer\na logic algorithm of an intended relation, if it is possible to get a\nlogic algorithm using only =/2 predicate in the body.\n\nIn this project, our aim is to simplify and extend the existing MSG-Method\n(introduced by Flener [1995]) independent of the place-holder and its\nschema, and to re-implement Step 5 of SYNAPSE2, which corresponds to the\nsteps 5 and 6 of SYNAPSE. In this report, the main concepts are introduced\nas preliminaries in Section 1, the synthesis mechanism is explained with\nan example (in SYNAPSE2) in Section 2, the MSG-Method is focused on in\nSection 3, after then Step 5 is explained in Section 4, finally the\nproject is discussed in Section 5.\n},\n}\n\n","author_short":["Erdem, E."],"key":"senior","id":"senior","bibbaseid":"erdem-anmsgmethodforinductivelogicprogramsynthesis-1996","role":"author","urls":{"N":"http://193.255.135.175/papers/senior_project.pdf"},"downloads":0,"html":""},"bibtype":"misc","biburl":"http://193.255.135.175/papers/krrpublications.bib","downloads":0,"keywords":[],"search_terms":["msg","method","inductive","logic","program","synthesis","erdem"],"title":"An MSG-method for inductive logic program synthesis","year":1996,"dataSources":["WeBGfagwiP89ve7hM"]}