Programmazione logica abduttiva: differenze tra le versioni

Versione delle 16:21, 7 ago 2013

Versione attuale delle 09:28, 28 lug 2019

(6 versioni intermedie di 4 utenti non mostrate)

Riga 1:

{{F|applicazioni dell'informatica|agosto 2013}}

La '''Programmazione Logica Abduttiva''' ('''ALP''', dall'[[Lingua inglese|inglese]] ''Abductive Logic Programming o ALP'') è una sottoarea della [[Programmazioneprogrammazione logica]] che inserisce nella programmazione logica regole di inferenza basate sulla [[abduzione]].

Formalmente, un programma logico abduttivo è definito con una tripla <math>\langle P, A, IC \rangle</math>, dove P è un programma logico (un insieme di [[clausola di Horn|clausole di Horn]]), A è un insieme distinto di predicati, denominati 'abducibili' ed IC è un insieme di formule logiche, dette 'vincoli di integrità'.

Riga 13:

che indica che due possibili cause del mal di testa sono il tumore e l'influenza. Chiaramente sarebbe possibile abdurre qualsiasi cosa; per questo spesso si aggiungono i vincoli di integrità, che servono a limitare le possibili combinazioni di abducibili che vengono ipotizzati.

Un altro classico esempio è la pianificazione: dato un programma logico che definisce quali sono gli effetti di alcune azioni ed una sequenza di eventi, si può ottenere tramite [[deduzione]] la situazione finale. Usando lo stesso programma logico con una procedura abduttiva, fornendo come goal lo stato finale che si vuole raggiungere, si può ottenere una possibile sequenza di eventi che fornisce quello stato finale. Questo metodo è stato spesso usato con il calcolo degli eventi di [[Sergot]] e [[Robert Kowalski|Kowalski]].

==Procedure abduttive==

Riga 20:

* Kakas-Mancarella

* SLDNFA

* {{cita web | 1 = http://ada.cs.ucy.ac.cy/aclp/ | 2 = ACLP | accesso = 1 giugno 2006 | urlarchivio = https://web.archive.org/web/20070310140828/http://ada.cs.ucy.ac.cy/aclp/ | dataarchivio = 10 marzo 2007 | urlmorto = sì }}

* [http://ada.cs.ucy.ac.cy/aclp/ ACLP]

* IFF

* [{{cita web | 1 = http://www.cs.kuleuven.ac.be/~bertv/Asystem/ | 2 = A-system] | accesso = 1 giugno 2006 | urlarchivio = https://web.archive.org/web/20050728121306/http://www.cs.kuleuven.ac.be/~bertv/Asystem/ | dataarchivio = 28 luglio 2005 | urlmorto = sì }}

* [{{cita web|http://lia.deis.unibo.it/research/sciff/ |SCIFF]}}

{{Paradigmi di programmazione}}

{{portale|informatica|ingegneria}}

[[Categoria:Intelligenza artificiale]]

[[Categoria:Programmazione logica|Abduttiva]]