Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence 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 useful in bioinformatics and natural language processing. Gordon Plotkin and Ehud Shapiro laid the initial theoretical foundation for inductive machine learning in a logical setting. Shapiro built their first implementation (Model Inference System) in 1981: a Prolog program that inductively inferred logic programs from positive and negative examples. The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991. Muggleton also founded the annual international conference on Inductive Logic Program
La programación lógica inductiva (ILP) es un subcampo de la inteligencia artificial simbólica que utiliza la programación lógica como una representación uniforme de ejemplos, conocimientos de fondo y hipótesis. Dado un codificación del conocimiento de fondo conocido y un conjunto de ejemplos representados como una base de datos lógica de hechos, un sistema ILP derivará un programa lógico hipotético que implica todo lo positivo y ningún de los ejemplos negativos. Schema: ejemplos positivos + ejemplos negativos + conocimientos de fondo ⇒ hipótesis. La programación lógica inductiva es útil en bioinformática y procesamiento de lenguaje natural. Gordon Plotkin y Ehud Shapiro pusieron la base teórica inicial para el aprendizaje inductivo de máquina en un entorno lógico. Shapiro construyó su primera implementación (Model Inference System) en 1981: un programa Prolog que inductivamente infería programas lógicos de ejemplos positivos y negativos. El término programación lógica inductiva fue introducido por primera