podstawy sztucznej inteligencji (pszt)home.elka.pw.edu.pl/~mjedrzej/pszt/pszt-wyklad-03.pdf ·...
TRANSCRIPT
![Page 1: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/1.jpg)
Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się
logiką predykatów: część 1/3
Podstawy Sztucznej Inteligencji (PSZT)
Paweł Wawrzyński
![Page 2: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/2.jpg)
PSZT, zima 2013, wykład 3 2
Dzisiaj
• Ograniczenia logiki zdań• Język logiki predykatów: obiekty
i predykaty• Formuła poprawnie zbudowana
![Page 3: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/3.jpg)
PSZT, zima 2013, wykład 3 3
Ograniczenia logiki zdań
• Trudności z wnioskowaniem o nieznanychz góry obiektach
• Przykład: kot jest ssakiemMruczek jest kotemwniosek: Mruczek jest ssakiem
![Page 4: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/4.jpg)
PSZT, zima 2013, wykład 3 4
Od logiki zdań do logiki predykatów
• Stwierdzenia parametryzowane przez obiekty
• Stwierdzenia prawdziwe dla pewnych klas obiektów – dla każdego … – istnieje takie …, że …
![Page 5: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/5.jpg)
PSZT, zima 2013, wykład 3 5
Język logiki predykatów, obiekty
![Page 6: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/6.jpg)
PSZT, zima 2013, wykład 3 6
Predykaty
![Page 7: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/7.jpg)
PSZT, zima 2013, wykład 3 7
Typowe zapisy predykatu
![Page 8: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/8.jpg)
PSZT, zima 2013, wykład 3 8
Semantyka predykatu
• Znaczenie predykatu jest określone przez użytkownika
• Warto aby zapis był intuicyjny; warto unikać predykatów postaci
MATKA(Anna,Agata)
![Page 9: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/9.jpg)
PSZT, zima 2013, wykład 3 9
Główne typy predykatów (1/2)
![Page 10: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/10.jpg)
PSZT, zima 2013, wykład 3 10
Główne typy predykatów (2/2)
![Page 11: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/11.jpg)
PSZT, zima 2013, wykład 3 11
Formuła poprawnie zbudowana rachunku predykatów I rzędu (FPZ)
![Page 12: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/12.jpg)
PSZT, zima 2013, wykład 3 12
Przykłady
![Page 13: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/13.jpg)
PSZT, zima 2013, wykład 3 13
Przykłady
![Page 14: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/14.jpg)
PSZT, zima 2013, wykład 3 14
Przykłady
![Page 15: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/15.jpg)
PSZT, zima 2013, wykład 3 15
Przykłady
![Page 16: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/16.jpg)
PSZT, zima 2013, wykład 3 16
Przykłady
![Page 17: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/17.jpg)
PSZT, zima 2013, wykład 3 17
Przykłady
![Page 18: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/18.jpg)
PSZT, zima 2013, wykład 3 18
Przykłady
![Page 19: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/19.jpg)
PSZT, zima 2013, wykład 3 19
Przykłady
![Page 20: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/20.jpg)
PSZT, zima 2013, wykład 3 20
Przykłady
![Page 21: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/21.jpg)
PSZT, zima 2013, wykład 3 21
Przykłady
![Page 22: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/22.jpg)
PSZT, zima 2013, wykład 3 22
Przykłady
![Page 23: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/23.jpg)
PSZT, zima 2013, wykład 3 23
Przykłady
![Page 24: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/24.jpg)
PSZT, zima 2013, wykład 3 24
Przykłady
![Page 25: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/25.jpg)
PSZT, zima 2013, wykład 3 25
Przykłady
![Page 26: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/26.jpg)
PSZT, zima 2013, wykład 3 26
Przykłady
![Page 27: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/27.jpg)
PSZT, zima 2013, wykład 3 27
Przykłady
![Page 28: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/28.jpg)
PSZT, zima 2013, wykład 3 28
Przykłady
![Page 29: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/29.jpg)
PSZT, zima 2013, wykład 3 29
PrzykładyPrzykłady
![Page 30: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/30.jpg)
PSZT, zima 2013, wykład 3 30
Przykłady
![Page 31: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/31.jpg)
PSZT, zima 2013, wykład 3 31
Przykłady
![Page 32: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/32.jpg)
PSZT, zima 2013, wykład 3 32
Przykłady
![Page 33: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/33.jpg)
PSZT, zima 2013, wykład 3 33
Przykłady
![Page 34: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/34.jpg)
PSZT, zima 2013, wykład 3 34
Przykłady
![Page 35: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/35.jpg)
PSZT, zima 2013, wykład 3 35
Przykłady
![Page 36: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/36.jpg)
PSZT, zima 2013, wykład 3 36
Przykłady
![Page 37: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/37.jpg)
PSZT, zima 2013, wykład 3 37
Przykłady
![Page 38: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/38.jpg)
PSZT, zima 2013, wykład 3 38
Nawiasy i priorytety operacji• Priorytety
• Bez kwantyfikatora = jakby był ogólny• Różne konwencje zapisu kwantyfikatorów
![Page 39: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/39.jpg)
PSZT, zima 2013, wykład 3 39
Ważniejsze tożsamości dotyczące FPZ
![Page 40: Podstawy Sztucznej Inteligencji (PSZT)home.elka.pw.edu.pl/~mjedrzej/pszt/PSZT-wyklad-03.pdf · PSZT, zima 2013, wykład 3 3 Ograniczenia logiki zdań • Trudności z wnioskowaniem](https://reader030.vdocuments.pub/reader030/viewer/2022020319/5c776b6909d3f2a94e8bcf21/html5/thumbnails/40.jpg)
PSZT, zima 2013, wykład 3 40
Logiki wyższych rzędów