• Nie Znaleziono Wyników

Podstawy Sztucznej Inteligencji (PSZT)

N/A
N/A
Protected

Academic year: 2021

Share "Podstawy Sztucznej Inteligencji (PSZT)"

Copied!
40
0
0

Pełen tekst

(1)

Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się

logiką predykatów: część 1/3

Podstawy Sztucznej Inteligencji (PSZT)

Paweł Wawrzyński

(2)

PSZT, zima 2013, wykład 3 2

Dzisiaj

• Ograniczenia logiki zdań

• Język logiki predykatów: obiekty i predykaty

• Formuła poprawnie zbudowana

(3)

PSZT, zima 2013, wykład 3 3

Ograniczenia logiki zdań

• Trudności z wnioskowaniem o nieznanych z góry obiektach

• Przykład:

kot jest ssakiem

Mruczek jest kotem wniosek:

Mruczek jest ssakiem

(4)

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 …

(5)

PSZT, zima 2013, wykład 3 5

Język logiki predykatów, obiekty

(6)

PSZT, zima 2013, wykład 3 6

Predykaty

(7)

PSZT, zima 2013, wykład 3 7

Typowe zapisy predykatu

(8)

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)

(9)

PSZT, zima 2013, wykład 3 9

Główne typy predykatów (1/2)

(10)

PSZT, zima 2013, wykład 3 10

Główne typy predykatów (2/2)

(11)

PSZT, zima 2013, wykład 3 11

Formuła poprawnie zbudowana

rachunku predykatów I rzędu (FPZ)

(12)

PSZT, zima 2013, wykład 3 12

Przykłady

(13)

PSZT, zima 2013, wykład 3 13

Przykłady

(14)

PSZT, zima 2013, wykład 3 14

Przykłady

(15)

PSZT, zima 2013, wykład 3 15

Przykłady

(16)

PSZT, zima 2013, wykład 3 16

Przykłady

(17)

PSZT, zima 2013, wykład 3 17

Przykłady

(18)

PSZT, zima 2013, wykład 3 18

Przykłady

(19)

PSZT, zima 2013, wykład 3 19

Przykłady

(20)

PSZT, zima 2013, wykład 3 20

Przykłady

(21)

PSZT, zima 2013, wykład 3 21

Przykłady

(22)

PSZT, zima 2013, wykład 3 22

Przykłady

(23)

PSZT, zima 2013, wykład 3 23

Przykłady

(24)

PSZT, zima 2013, wykład 3 24

Przykłady

(25)

PSZT, zima 2013, wykład 3 25

Przykłady

(26)

PSZT, zima 2013, wykład 3 26

Przykłady

(27)

PSZT, zima 2013, wykład 3 27

Przykłady

(28)

PSZT, zima 2013, wykład 3 28

Przykłady

(29)

PSZT, zima 2013, wykład 3 29

Przykłady

Przykłady

(30)

PSZT, zima 2013, wykład 3 30

Przykłady

(31)

PSZT, zima 2013, wykład 3 31

Przykłady

(32)

PSZT, zima 2013, wykład 3 32

Przykłady

(33)

PSZT, zima 2013, wykład 3 33

Przykłady

(34)

PSZT, zima 2013, wykład 3 34

Przykłady

(35)

PSZT, zima 2013, wykład 3 35

Przykłady

(36)

PSZT, zima 2013, wykład 3 36

Przykłady

(37)

PSZT, zima 2013, wykład 3 37

Przykłady

(38)

PSZT, zima 2013, wykład 3 38

Nawiasy i priorytety operacji

• Priorytety

• Bez kwantyfikatora = jakby był ogólny

• Różne konwencje zapisu kwantyfikatorów

(39)

PSZT, zima 2013, wykład 3 39

Ważniejsze tożsamości dotyczące

FPZ

(40)

PSZT, zima 2013, wykład 3 40

Logiki wyższych rzędów

Cytaty

Powiązane dokumenty

• O ile jednak klasyczne gry planszowe mają na tyle proste reguły i ograniczoną przestrzeń rozwiązań, że udało się już stworzyć komputerowych graczy co najmniej

Jeśli nie jest spełniony warunek stopu, wróć do punktu 2, w przeciwnym razie zwróć najlepszego osobnika z P... Co m-ty krok

• Osobnik czyli fenotyp, kodowany przez pewien projekt - genotyp. • Przedmiotem krzyżowania i mutacji są

- „wszerz” znajduje najkrótsze rozwiązanie zużywając najmniej czasu ale potrzebuje dużo pamięci. - „w głąb” potrzebuje mało pamięci ale nie znajduje

wartości równej tej, która jest przypisana do bieżącego stanu.

• Należy znaleźć wektor parametrów aproksymatora, który minimalizuje wskaźnik jakości.. PSZT, zima 2013, wykład

rezolucji moż że by e być ć pochł poch łoni onię ęta przez inn ta przez inną ą klauzulę klauzul

• Okre Okreś ślona akcja jest analizowana jednak nie dlatego, lona akcja jest analizowana jednak nie dlatego, ż że prowadzi do e prowadzi do osi osią ągni gnię ęcia celu,