abductive logic programming
Főnév
abductive logic programming (tsz. abductive logic programmings)
- (informatika, mesterséges intelligencia) A abduktív logikai programozás (abductive logic programming, ALP) a logikai programozás egy speciális kiterjesztése, amely lehetővé teszi magyarázatok (hipotézisek) keresését egy megfigyelésre adott háttértudás alapján. Az „abdukció” itt az a következtetési forma, amikor egy megfigyelésre olyan feltételezést keresünk, amely a háttértudás szerint magyarázatul szolgálhat.
🧠 Mit jelent az abdukció?
- Dedukció: szabály + tény → következtetés Pl. ha A → B, és A igaz, akkor B is igaz.
- Abdukció: szabály + következmény → feltételezett ok Pl. ha A → B, és B igaz, akkor talán A is igaz.
Abdukció ≠ garancia, hanem magyarázatkeresés.
🧩 Alapfogalmak ALP-ben
| Fogalom | Jelentés |
|---|---|
| Háttértudás (KB) | A program logikai szabályai (pl. Prolog szabályok) |
| Megfigyelés (O) | Amit látunk vagy tudunk, pl. egy tény |
| Abducibilis literálok | Olyan hipotézisek, amelyeket elfogadhatunk következtetésként |
| Magyarázat (Δ) | Olyan abducibilis tények halmaza, amelyekkel a háttértudás együtt megmagyarázza a megfigyelést: |
KB ∪ Δ ⊨ O (logikailag levezethető O) |
🔍 Példa
Háttértudás (KB):
beteg(X) :- lázas(X), köhög(X).
abducible(lázas(X)).
abducible(köhög(X)).
Megfigyelés (O):
beteg(mari).
Cél: Milyen feltételezések (Δ) szükségesek, hogy Mari beteg legyen?
Lehetséges magyarázat:
Δ = {lázas(mari), köhög(mari)}
⚙️ ALP működése
- Megadjuk a háttértudást (szabályokat és tényeket).
- Kijelöljük az abducibilis tényeket (amiket feltételezhetünk).
- Megadunk egy megfigyelést (amit meg akarunk magyarázni).
- A rendszer keres egy Δ halmazt, amelynek elemei abducibilis tények, és amely kielégíti:
KB ∪ Δ ⊨ O
🛠️ Használati területek
| Terület | Példa |
|---|---|
| Orvosi diagnózis | Tünet → feltételezett betegség(ek) |
| Hibaokok keresése | Hibás rendszer → okkeresés |
| Természetes nyelvi megértés | Hiányos információból következtetések levonása |
| Biztonsági ellenőrzés | Gyanús viselkedés → lehetséges szabálysértés |
| Tervkiegészítés (planning) | Hiányzó lépések kiegészítése cél eléréséhez |
🤖 Kapcsolat más logikai modellekkel
| Modell | Cél |
|---|---|
| Prolog | Deduktív logikai programozás |
| Answer Set Programming (ASP) | Diszjunktív következtetés |
| Abductive Logic Programming | Magyarázat-keresés (nem garantált igazság) |
| Default logic / non-monotonic reasoning | Feltételezett tudás kezelése |
📌 Összefoglalás
A abduktív logikai programozás olyan logikai programozási megközelítés, amely feltételezések megtalálására törekszik a megfigyelések megmagyarázásához. Ez különösen hasznos nem teljes információ esetén, amikor a rendszernek hipotéziseket kell alkotnia. Az ALP a mesterséges intelligencia fontos területe, különösen az értelmező, magyarázó és diagnosztikai rendszerekben.
- abductive logic programming - Szótár.net (en-hu)
- abductive logic programming - Sztaki (en-hu)
- abductive logic programming - Merriam–Webster
- abductive logic programming - Cambridge
- abductive logic programming - WordNet
- abductive logic programming - Яндекс (en-ru)
- abductive logic programming - Google (en-hu)
- abductive logic programming - Wikidata
- abductive logic programming - Wikipédia (angol)