Modello La logica del primo ordine consente di definire un modello di un insieme di formule, ossia una interpretazione che soddisfi ogni formula.

Presentazione sul tema: "Modello La logica del primo ordine consente di definire un modello di un insieme di formule, ossia una interpretazione che soddisfi ogni formula."— Transcript della presentazione:

1 Modello La logica del primo ordine consente di definire un modello di un insieme di formule, ossia una interpretazione che soddisfi ogni formula

2 Indecidibilità Un problema è indecidibile se un qualunque algoritmo che tenti di risolverlo è –incompleto (non considera tutti i casi) oppure –scorretto (sbaglia qualcosa) oppure –non termina

3 Esempio x DogOwner (x) ( y OwnerPet (x,y)) Dog(y) –Dog Owner (Fred) È soddisfatta dalla costante Fred –Own Pet (Fluffy) È soddisfatta dalla costante Fluffy Ogni modello che soddisfi le 3 formule deve dedurre che Fluffy è un cane, altrimenti non è un modello

4 Osservazioni Fred è un DogOwner, ma se ha anche un gatto cosa succede? Si ha una contraddizione poiché non è stato definito nulla riguardo il gatto ed il suo possesso. DogOwner(Fred) OwnPet(Fred,Tom) Cat(Tom) Una volta detto che Tom è un gatto è necessario indicare al sistema che Cat e Dog sono due cosa differenti z Cat (z) ( Dog(z))

5 Inconsistenza La base di conoscenza è ancora inconsistente infatti da x DogOwner (x) ( y OwnerPet (x,y)) Dog(y) si deduce che, in quanto posseduto da Fred, Tom è Dog Da z Cat (z) ( Dog(z)) si deduce che essendo Cat, Tom non è Dog

6 Problema –Una base di conoscenza deve essere in grado di dedurre la conoscenza implicita e di individuare eventuali errori logici connessi –La logica del primo ordine è uno strumento semanticamente accettabile –Tradurre la logica del primo ordine in un programma eseguibile da una macchina Il problema diventa

7 Indecidibilità nei KBMS Per un Knowledge Based Management System (KBMS) calcolare tutte le formule valide di un insieme di formule è un problema indecidibile Non esiste un algoritmo in grado di risolvere il problema Nessun linguaggio di programmazione esistente è in grado di risolvere il problema

8 Basi di Dati Linguaggi di programmazione Rappresentazione della conoscenza Semantica Modello Concettuale Modello Logico Logica del primo ordine Diagramma Entità/Relazioni Reticolare Gerarchico Relazionale A Oggetti Semantica operazionale, denotazionale, ecc. Logica del Primo Ordine Unified Modeling Language Record Grafi Sistemi di rappresentazione della conoscenza e loro linguaggi Frames Reti semantiche

9 Sistemi di rappresentazione della conoscenza (Knowledge Language) KL – ONE (1980) LOOM (1985) Classic ( primi anni 90)

10 Classic Poiché rappresentare tutta la conoscenza è un problema indecidibile si è pensato di adottare una –Espressività limitata Pertanto Classic comprende –costanti –predicati unari (classi) –predicati binari (legami tra classi) Il problema resta comunque indecidibile

11 Soluzione adottata da Classic –Costanti –Concetti (Predicati unari) –Ruoli (Predicati binari) Sintassi –Formule Asserzioni su individui (concetti, ruoli)

12 Esempio 1.Asserzione su individui: Primitivo di Manduria Vino Rosso in una base di dati sarebbe laggiunta di una tupla alla relazione Vino Rosso 2.Asserzione binaria: Primitivo di Manduria Produttore Cantina Sociale Pliniana IndividuoConcetto Ruolo

13 Definizione di Concetti Vino Rosso = Vino And (Fills Colore Rosso) In una base di dati sarebbe una query Chianti = Vino And (Fills Colore Rosso) And (Fills Provenienza Toscana) La base di conoscenza è in grado di fare deduzioni: Esempio Primitivo Vino Rosso ruoloindividuo