. . . . . . "14780"^^ . "Programmazione logica abduttiva"@it . . . . . . "12737925"^^ . . . . . . . . . "1069123222"^^ . . . "Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hypotheses) as solutions of problems to be solved. These problems can be either observations that need to be explained (as in classical abduction) or goals to be achieved (as in normal logic programming). It can be used to solve problems in diagnosis, planning, natural language and machine learning. It has also been used to interpret negation as failure as a form of abductive reasoning."@en . . . . . . "La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) \u00E8 una sottoarea della programmazione logica che inserisce nella programmazione logica regole di inferenza basate sulla abduzione. Formalmente, un programma logico abduttivo \u00E8 definito con una tripla , dove P \u00E8 un programma logico (un insieme di clausole di Horn), A \u00E8 un insieme distinto di predicati, denominati 'abducibili' ed IC \u00E8 un insieme di formule logiche, dette 'vincoli di integrit\u00E0'. Lo scopo dell'abduzione \u00E8 quello di trovare una spiegazione per delle cause. Un classico esempio \u00E8 la 'diagnosi': partendo dagli effetti e dalle regole che collegano cause ed effetti, si cerca di abdurre quali sono le possibili cause. Ad esempio, un programma logico abduttivo potrebbe essere il seguente: sintomo(mal di testa):- influenza.sintomo(mal di testa):- tumore. 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\u00E0, che servono a limitare le possibili combinazioni di abducibili che vengono ipotizzati. Un altro classico esempio \u00E8 la pianificazione: dato un programma logico che definisce quali sono gli effetti di alcune azioni ed una sequenza di eventi, si pu\u00F2 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\u00F2 ottenere una possibile sequenza di eventi che fornisce quello stato finale. Questo metodo \u00E8 stato spesso usato con il calcolo degli eventi di Sergot e Kowalski."@it . . "Abductive logic programming"@en . . . . . . . "Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hypotheses) as solutions of problems to be solved. These problems can be either observations that need to be explained (as in classical abduction) or goals to be achieved (as in normal logic programming). It can be used to solve problems in diagnosis, planning, natural language and machine learning. It has also been used to interpret negation as failure as a form of abductive reasoning."@en . . . . . "La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) \u00E8 una sottoarea della programmazione logica che inserisce nella programmazione logica regole di inferenza basate sulla abduzione. Formalmente, un programma logico abduttivo \u00E8 definito con una tripla , dove P \u00E8 un programma logico (un insieme di clausole di Horn), A \u00E8 un insieme distinto di predicati, denominati 'abducibili' ed IC \u00E8 un insieme di formule logiche, dette 'vincoli di integrit\u00E0'. Ad esempio, un programma logico abduttivo potrebbe essere il seguente:"@it . . . . .