Inductive logic program synthesis with dialogs
International Conference on Inductive Logic Programming 6th International Workshop, ILP-96
175 - 198
Item Usage Stats
DIALOGS (Dialogue-based Inductive and Abductive LOGic program Synthesizer) is a schema-guided synthesizer of recursive logic programs; it takes the initiative and queries a (possibly computationally naive) specifier for evidence in her/his conceptual language. The specifier must know the answers to such simple queries, because otherwise s/he wouldn't even feel the need for the synthesized program. DIALOGS call be used by any learner (including itself) that detects, or merely conjectures, the necessity of invention of a new predicate. Due to its foundation on a powerful codification of a “recursion-theory” (by means of the template and constraints of a divide-and-conquer schema), DIALOGS needs very little evidence and is very fast. © Springer-Vertag Berlin Heidelberg 1997.
Abductive logic programs
Divide and conquer
Inductive logic programming (ILP)
Published Version (Please cite this version)https://doi.org/10.1007/3-540-63494-0_55
Showing items related by title, author, creator and subject.
Büyükyıldız, Halime; Flener, Pierre (Springer, 1998-07)Schema-based logic program transformation has proven to be an eective technique for the optimisation of programs. This paper results from the research that began by investigating the suggestions in  to construct a more ...
Uzun, Yasin; Çiçekli, İlyas (IEEE, 2007-11)Learning logical relations from examples expressed as first order facts has been studied extensively by the Inductive Logic Programming research. Learning with positive-only data may cause over generalization of examples ...
Flener, Pierre; Lau, K. K.; Ornaghi, M. (Springer, Berlin, Heidelberg, 1998)We present our work on the representation and correctness of program schemas, in the context of logic program synthesis. Whereas most researchers represent schemas purely syntactically as higher-order expressions, we shall ...