Programmazione logica abduttiva: differenze tra le versioni

Versione delle 11:04, 1 set 2014

Versione attuale delle 09:28, 28 lug 2019

(4 versioni intermedie di 2 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 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]]