Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica dei predicati del primo ordine.

Presentazione sul tema: "Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica dei predicati del primo ordine."— Transcript della presentazione:

1 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica dei predicati del primo ordine

2 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine Sostituzioni e quantificatori

3 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

4 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine UNIFICAZIONE La funzione UNIFICA prende due formule atomiche p e q e restitusce una sostituzione che renda p e q uguali.

5 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

6 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

7 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

8 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

9 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

10 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

11 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

12 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

13 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

14 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

15 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

16 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

17 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine

18 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine Si consideri il problema se Marcia va ovunque vada John, e John è a scuola, dovè Marcia?

19 Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Inferenza nella logica del primo ordine Sostituzione di risposta: Sostituendo nella domanda: