Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

De Marchi, Alessandro (2017) Uno studio sulla negazione in Programmazione Logica. [Laurea triennale]

Per questo documento il full-text online non disponibile.

Abstract

La programmazione logica è un paradigma di programmazione che adotta costrutti logici sia per rappresentare che per elaborare l’informazione. Un programma logico è eseguito "ponendogli delle domande", dette query, e viene determinato, eseguendo un proof engine, a seconda che queste domande siano conseguenze del programma o meno. L’utilizzo delle regole e della sintassi della logica classica al primo ordine è un ovvio candidato a tale scopo, tuttavia i risultati di incompletezza ci dicono che, mentre potremmo essere in grado di dire quando una query segue, non possiamo dire in generale quando non lo fa: questo è il problema della negazione. In questo contesto si è quindi costretti a rinunciare alla completezza (in senso classico) della logica classica a favore di una efficienza sulle possibili query. Prolog è uno dei linguaggi di programmazione logica più utilizzati, basato sulla logica classica al primo ordine. Escludendo la negazione, è in grado di calcolare esattamente relazioni ricorsivamente enumerabili; tuttavia, se aggiungiamo la negazione, dovremmo aspettarci di avere complementari di relazioni ricorsivamente enumerabili, che potrebbero essere non ricorsivamente enumerabili, e quindi non gestibili da Prolog [per maggiori informazioni sugli insiemi ricorsivamente enumerabili, vedasi Appendice A]. Per questo motivo in Prolog viene aggiunta una versione più debole di negazione, la negazione come fallimento, in cui si conclude non X se X non è una conseguenza. L’obiettivo di questo studio è un’analisi delle problematiche causate dall’aggiunta della negazione, e una ricerca di metodi, per lo più teorici, per poterle gestire.

Item Type:Laurea triennale
Corsi di Laurea Triennale:pre 2012- Facoltà di Scienze MM. FF. NN. > Matematica
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Codice ID:57072
Relatore: File', Gilberto
Data della tesi:15 December 2017
Biblioteca:Polo di Scienze > Biblioteca di Matematica

Solo per lo Staff dell Archivio: Modifica questo record