KOLOKWIUM KNW (07.05.2002)

Grupa:___________ Indeks:__________

Nazwisko:________________________

Zadanie 1:

Sprawdź, dla których światów w modelu Kripkego, podanym w Załączniku 1, prawdziwe jest następujące zdanie, zapisane w języku logiki modalnej:

{ ◊ [ (ðp) ∨ (¬q) ] } ∧ { ð [ (◊p) ∨ (¬r) ] }

Zadanie 2:

Wypełnij kolumny decyzji uogólnionej dla tablic decyzyjnych danych w Załączniku 2. Oblicz wartości funkcji przekonania i domniemania dla zbioru X={1,2}, dla poszczególnych tablic oraz po dokonaniu syntezy metodą Dempstera-Shafera.

Zadanie 3:

W Załączniku 3 podane są w formie dyskretnej funkcje przynależności dla następujących pojęć:

• Temperatura (T) jest niska/wysoka

• Wilgotność (W) jest niska/wysoka

• Kwiaty (K) rosną szybko/wolno

Mając dane reguły eksperckie postaci:

• JEŚLI T = niska ORAZ W = niska TO K rosną wolno

• JEŚLI T = niska ORAZ W = wysoka TO K rosną szybko

• JEŚLI T = wysoka ORAZ W = niska TO K rosną szybko

• JEŚLI T = wysoka ORAZ W = wysoka TO K rosną wolno

sprawdź, dla którego z poniższych stanów kwiaty będą rosły najszybciej:

1. T = 20, W = 80

2. T = 30, W = 90

3. T = 40, W = 100

---