Wnioskowanie logiczne i systemy eksperckie Systemy wnioskujące oparte na logice zdań
Podstawy Sztucznej Inteligencji (PSZT)
Paweł Wawrzyński
PSZT, zima 2013, wykład 2 2
Plan
• Systemy wnioskujące
• Semantyka zdań
• Zdania złożone
• Klauzule i sprowadzanie wiedzy do zbioru klauzul
• Wnioskowanie w przód
• Wnioskowanie wstecz
• Wnioskowanie przez zaprzeczenie
PSZT, zima 2013, wykład 2 3
Wnioskowanie, główne zastosowania
• Systemy eksperckie
– diagnozujące
– wspomagające call centers
• Automatyczne dowodzenie twierdzeń
• Boty w grach
• Systemy agentowe
PSZT, zima 2013, wykład 2 4
Automatyczne wnioskowanie kontekst
• Sytuacje, przestrzenie sytuacji
• Fakty obserwowalne, nieobserwowalne
PSZT, zima 2013, wykład 2 5
Semantyka zdań
• Wiedza ogólna: zdania prawdziwe we wszystkich modelach ze zbioru
• Fakty: zdania prawdziwe w danym modelu
PSZT, zima 2013, wykład 2 6
Zdania złożone
PSZT, zima 2013, wykład 2 7
Zdania złożone
PSZT, zima 2013, wykład 2 8
Zdania złożone
PSZT, zima 2013, wykład 2 9
Zdania złożone
PSZT, zima 2013, wykład 2 10
Zdania złożone
PSZT, zima 2013, wykład 2 11
Klauzule
PSZT, zima 2013, wykład 2 12
Sprowadzanie bazy wiedzy
do zbioru klauzul
PSZT, zima 2013, wykład 2 13
Wnioskowanie w przód
• Podstawowa własność
PSZT, zima 2013, wykład 2 14
Naiwna procedura wnioskowania
w przód
PSZT, zima 2013, wykład 2 15
Naiwne wnioskowanie w przód, przykład
PSZT, zima 2013, wykład 2 16
Naiwne wnioskowanie w przód, przykład niedziałania
w ogólnym przypadku
PSZT, zima 2013, wykład 2 17
Wnioskowanie w przód
PSZT, zima 2013, wykład 2 18
Wnioskowanie w przód, procedura
PSZT, zima 2013, wykład 2 19
Wnioskowanie w przód, opis wiedzy
PSZT, zima 2013, wykład 2 20
Acykliczny graf wnioskowania
• Węzły „początkowe” = obserwowane fakty
• Węzły pozostałe = fakty wywnioskowanie
• Krawędzie zbiegające się w węźle = klauzule koniunkcyjno-implikacyjne
• Wnioskowanie w przód = budowa grafu od faktów obserwowanych do konkluzji
• Budowa graf wnioskowania w drugą stronę
= wnioskowanie wstecz
PSZT, zima 2013, wykład 2 21
Wnioskowanie wstecz, procedura
PSZT, zima 2013, wykład 2 22
Wnioskowanie wstecz, procedura
PSZT, zima 2013, wykład 2 23
Sytuacje towarzyskie, przypomnienie
PSZT, zima 2013, wykład 2 24
Wnioskowanie wstecz, przykład
'
PSZT, zima 2013, wykład 2 25
Wnioskowanie wstecz,
przykład niedziałania
w ogólnym przypadku
PSZT, zima 2013, wykład 2 26
Wnioskowanie przez rezolucję i zaprzeczenie
• Rezolucja
PSZT, zima 2013, wykład 2 27
• Zaprzeczenie
Wnioskowanie przez
rezolucję i zaprzeczenie
PSZT, zima 2013, wykład 2 28
• Procedura
Wnioskowanie przez
rezolucję i zaprzeczenie
PSZT, zima 2013, wykład 2 29
Wnioskowanie przez rezolucję i zaprzeczenie,
przykład
PSZT, zima 2013, wykład 2 30
Wnioskowanie przez
rezolucję i zaprzeczenie
PSZT, zima 2013, wykład 2 31