Łączenie sieci neuronowych (uczenie z danych) z systemami symbolicznymi (logika, reguły, solwery), np. LLM tłumaczący problem na język formalny dla solwera.
Combining neural networks (learning from data) with symbolic systems (logic, rules, solvers), e.g. an LLM translating a problem into a formal language for a solver.
In one sentence
To łączenie modeli uczących się z przykładów z programami, które sprawdzają jawne reguły.
This combines models that learn from examples with software that checks explicit rules.
Problem it solves
Model potrafi rozpoznać opis zadania, ale jego propozycja może naruszać warunki, które muszą być spełnione.
A model can understand a task description, yet its proposal may violate conditions that must hold.
What it does
Model rozpoznaje treść lub zapisuje problem, a część oparta na regułach sprawdza ograniczenia i wyprowadza wnioski.
A model recognises content or represents a problem, while a rule system checks constraints and draws conclusions.
Everyday example
Opisujesz dyżury zwykłymi słowami, asystent zapisuje wymagania, a osobny program sprawdza, czy proponowany grafik je spełnia.
You describe shifts in everyday language, an assistant records the requirements and separate software checks whether the proposed schedule satisfies them.
This concerns you if you…
chcesz połączyć swobodny opis z twardymi warunkami
wynik musi przejść sprawdzenie według ustalonych reguł
want everyday descriptions combined with strict conditions
need results checked against defined rules
Examples
LLM + solwer · LLM-Modulo · reguły jako ograniczenia · rozumowanie na grafach wiedzy
LLM + solver · LLM-Modulo · rules as constraints · reasoning over knowledge graphs