Revision as of 01:36, 24 January 2014 edit Visik (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 30,404 edits →History: fixed spelling. Tag: Visual edit ← Previous edit		Revision as of 03:42, 24 January 2014 edit undo Swpb (talk \| contribs) Autopatrolled, Extended confirmed users, New page reviewers, Pending changes reviewers 93,492 edits No edit summary Tag: Mobile edit Next edit →
Line 1: '''Inductive Programming''' (IP) is a special area of [[automatic programming]], covering research from [[artificial intelligence]] and [[programming]], which addresses [[machine learning\|learning]] of typically [[declarative programming\|declarative]] ([[logic programming\|logic]] or [[functional programming\|functional]]) and often [[recursion\|recursive]] programs from incomplete specifications, such as input/output examples or constraints. Depending on the programming language used, wethere ~~have~~are several kinds of inductive programming. [[Inductive functional programming]], which uses functional programming languages such as [[Lisp (programming language)\|Lisp]] or [[Haskell]], and most especially [[Inductive logic programming]], which uses logic programming languages such as [[Prolog]] and other logical representations such as [[Description logics]], have been more prominent, but other (programming) language paradigms have also been used, such as [[constraint programming]] or [[probabilistic programming language\|probabilistic programming]]. ==Definition==

Inductive programming: Difference between revisions