1. What are the contributions in "Inductive logic program synthesis with dialogs" ?
The DIALOGS system this paper is a schema-guided synthesizer of recursive logic programs that takes the initiative and queries a ( possibly computationally naive ) specifier for evidence in a conceptual language.
read more
2. What are the future works in "Inductive logic program synthesis with dialogs" ?
The CLINT [ 6 ] and CLINT/CIA systems [ 7 ], aJthough they are model-based inductive synthesizers [ 9 ], are also related to DIALOGS, in the sense that they are also interactive, sometimes guided by ( mono-clansal ) templates, and have an extended evidence language ( full clauses, called integrity constraints ).. Future work will also aim at increased schema independence ( it 's already largely achieved in the second phase, except for the hardwired verification of the constraints ), at least via the coverage of an even more powerful divide-andconquer schema ( with support of compound induction parameters,... ) and of other schemata ( tupling generalization [ 14 ], descending generalization [ 14 ],... ).. Another plan is to integrate DIALOGS with a post-synthesis transformation/optimization tool ; the preference will of course go to using schema-guided transformers [ 14 ], as these can exploit much of the additional information ( such as `` what is the instance of each operator ? '' ) generated by DIALOGS.
read more