ai algorithms fusion ilp inductive-inference logic lp machine programming srl tok work z

My tags:

From Wikipedia, the free encyclopedia

Programming paradigms

Agent-oriented Component-based Flow-based Pipeline Concatenative Concurrent computing Context-oriented Declarative (Contrast: Imperative) Functional Dataflow Cell-oriented (spreadsheets) Reactive Goal-directed Constraint Constraint logic Logic Abductive logic Inductive logic Event-driven Feature-oriented Function-level (Contrast: Value-level) Imperative (Contrast: Declarative) Advanced separation of concerns Aspect-oriented Subject-oriented Array (Contrast: Scalar) Automata-based Object-oriented Class-based Prototype-based Procedural Structured Role-oriented Scalar (Contrast: Array) Iterative (Contrast: Recursive) Metaprogramming Attribute-oriented Automatic Generic Template Policy-based Language-oriented Grammar-oriented Dialecting Intentional Reflective Modular Nondeterministic Parallel computing Process-oriented Programming in the large and programming in the small Recursive (Contrast: Iterative) Tree Value-level (Contrast: Function-level) This box: view • talk • edit

Inductive logic programming (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesised logic program which entails all the positive and none of the negative examples.

Schema: positive examples + negative examples + background knowledge => hypothesis.

Inductive logic programming is particularly useful in bioinformatics and natural language processing. The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.

[edit] International Conferences on Inductive Logic Programming

Year	Dates	Location	Chairs
2009	July 2-5	Leuven, Belgium, Katholieke Universiteit Leuven	Hendrik Blockeel, Luc De Raedt
2008	September 10-12	Prague, Czech Republic, Czech Technical University	Filip Zelezny, Nada Lavrac
2007	June 19-21	Corvallis, Oregon, USA, Oregon State University	Jude Shavlik, Hendrik Blockeel, Prasad Tadepalli
2006	August 24-27	Santiago de Compostela, Spain	Stephen Muggleton, Ramon Otero
2005	August 10-13	Bonn, Germany	Stephan Kramer, Bernhard Pfahringer
2004	September 6-8	Porto, Portugal	Ashwin Srinivasan, Ross King
2003	September 29-October 1	Szeged, Hungary	Tamas Horváth, Akihiro Yamamoto
2002	July 9-11	Sydney, Australia	Stan Matwin, Claude Sammut
2001	September 9-11	Strasbourg, France	Celine Rouveirol, Michele Sebag
2000	July 24-27	London, England	James Cussens, Alan Frisch
1999	June 24-27	Bled, Slovenia	Saso Dzeroski, Peter Flach
1998	July 22-24	Madison, Wisconsin, USA	C. David Page, Jr.
1997	September 17-20	Prague, Czech Republic	Nada Lavrac, Saso Dzeroski
1996	August 26-28	Stockholm, Sweden	Stephen Muggleton
1995	September 4-6	Leuven, Belgium	Luc De Raedt
1994	September 12-14	Bonn, Germany	Stefan Wrobel
1993	April 1-3	Bled, Slovenia	Stephen Muggleton
1992	June 6-7	Tokyo, Japan	Stephen Muggleton
1991	March 2-4	Viana do Castelo, Portugal	Stephen Muggleton

[edit] Implementations

• PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
• Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
• Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
• Foil (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
• Claudien (http://www.cs.kuleuven.ac.be/~ml/CWIS/claudien-E.shtml)
• Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
• ACE (http://www.cs.kuleuven.ac.be/~dtai/ACE/)
• DMax (http://www.pharmadm.com/dmax.asp)
• Warmr (http://www.cs.kuleuven.ac.be/~ml/Doc/TW_User/)
• RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
• Mio (http://kd.cs.uni-magdeburg.de/~pena/)
• DL-Learner (http://dl-learner.org)

[edit] References

• S.H. Muggleton. Inductive Logic Programming. New Generation Computing, 8(4):295-318, 1991.
• S.H. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994.
• N. Lavrac and S. Dzeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, New York, 1994, ISBN 0-13-457870-8 Publicly available online version.