Inductive logic program synthesis with dialogs

Date
1996-08
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
International Conference on Inductive Logic Programming 6th International Workshop, ILP-96
Print ISSN
0302-9743
Electronic ISSN
Publisher
Springer
Volume
Issue
Pages
175 - 198
Language
English
Type
Conference Paper
Journal Title
Journal ISSN
Volume Title
Series
Abstract

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.

Course
Other identifiers
Book Title
Keywords
Formal logic, Logic programming, Abductive logic programs, Divide and conquer, Inductive logic, Logic programs, Recursion theory, Inductive logic programming (ILP)
Citation
Published Version (Please cite this version)