# Indukcyjne programowanie logiczne (ILP)

EN: **Inductive logic programming (ILP)** · id `ilp` · aliases: inductive logic programming, ILP, indukcyjne programowanie logiczne

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [Fundamenty i rozumowanie](https://aiatlasgraph.com/t/foundations.md) › [Synteza programów](https://aiatlasgraph.com/t/programsynthesis.md) › Indukcyjne programowanie logiczne (ILP)

## Description

- PL: Uczenie maszynowe, które z wiedzy tła oraz przykładów pozytywnych i negatywnych indukuje hipotezę w postaci programu logicznego.
- EN: Machine learning that induces a hypothesis as a logic program from background knowledge and positive and negative examples.

## In one sentence

- PL: Uczenie się czytelnych reguł logicznych z kilku przykładów i wiedzy, którą już mamy.
- EN: Learning readable logical rules from a few examples and knowledge we already have.

## Problem it solves

- PL: Modele uczone na liczbach potrzebują mnóstwa danych i nie wyjaśniają, czego się nauczyły, co przeszkadza w nauce i medycynie.
- EN: Models learned from numbers need lots of data and do not explain what they learned, a problem in science and medicine.

## What it does

- PL: Jak uczeń formułujący regułę z kilku zadań i podręcznika: wynik to zdanie „jeśli… to…”, które człowiek przeczyta i sprawdzi.
- EN: Like a pupil stating a rule from a few exercises and a textbook: the result is an 'if… then…' sentence anyone can check.

## Everyday example

- PL: Z drzewa genealogicznego i kilku przykładów program sam odkrywa, kim jest „dziadek”, i zapisuje to jako regułę.
- EN: From a family tree and a few examples a program discovers who a 'grandparent' is and writes it down as a rule.

## This concerns you if you…

- PL: masz mało danych, ale dużo wiedzy dziedzinowej
- PL: potrzebujesz modelu, którego decyzje da się przeczytać
- EN: have little data but a lot of domain knowledge
- EN: need a model whose decisions can be read

## Keywords

Aleph · Popper · Metagol · ILASP · FOIL · TILDE · meta-interpretive learning · relational learning

## How it works

- PL: Wejściem są wiedza tła B oraz przykłady E+ i E−. System szuka zbioru klauzul H, który razem z B pociąga jak najwięcej E+ i jak najmniej E−. Przestrzeń hipotez ogranicza obciążenie językowe, np. szablony reguł; nowsze systemy formułują przeszukiwanie jako problem dla solwerów SAT lub ASP.
- EN: Inputs are background knowledge B and examples E+ and E−. The system searches for clauses H that with B entail as many E+ and as few E− as possible. A language bias, such as rule templates, restricts the hypothesis space; newer systems pose the search as a SAT or ASP solving problem.

## Limits

- PL: Przestrzeń hipotez jest ogromna lub nieskończona bez starannie dobranego obciążenia językowego. Wynik zależy od jakości wiedzy tła, sprawdzanie pokrycia bywa NP-trudne, a dane zaszumione i surowe, jak obrazy, są trudne.
- EN: The hypothesis space is huge or infinite without a carefully chosen language bias. Results depend on background knowledge quality, coverage checks can be NP-hard, and noisy or raw data such as images is difficult.

## Key terms

- PL: **wiedza tła**: Fakty i reguły podane systemowi z góry.
- PL: **obciążenie językowe**: Ograniczenia kształtu reguł, które system może rozważać.
- PL: **klauzula**: Pojedyncza reguła typu „jeśli warunki, to wniosek”.
- EN: **background knowledge**: Facts and rules given to the system up front.
- EN: **language bias**: Restrictions on which rule shapes the system may consider.
- EN: **clause**: A single 'if conditions, then conclusion' rule.

## Know first

- [Programowanie logiczne (Logic programming)](https://aiatlasgraph.com/t/logicprogramming.md)

## Related topics

Untyped, symmetric "see also" links.

- [AI neurosymboliczna (Neuro-symbolic AI)](https://aiatlasgraph.com/t/neurosymbolic.md)

## Sources

- [Inductive Logic Programming At 30: A New Introduction](<https://arxiv.org/abs/2008.07912>) `cropper-ilp-at-30-intro` · by Andrew Cropper, Sebastijan Dumančić

---

AI Atlas revision 125 (2026-11-01) · HTML: https://aiatlasgraph.com/t/ilp · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-11-01