928100430

Autorzy: kulfoniasty& switch486 Źródło: wykłady dr Haliny Kwaśnickiej.

•    Nic powoduje propagacji niezależności zdarzeń, tj. z niezależności faktów początkowych nie wynika niezależność w procesie wnioskowania.

•    Ponadto założenie niezależności powoduje produkcję zbyt rygotsytycznych rezultatów (złych rezultatów)

01. Reprezentacja wiedzy w problemach planowania: sposób reprezentacji i przykład (gotowe)

Planowanie jako technika rozwiązywania problemów' obejmująca określenie sekwencji akcji, które spowodują przejście systemu ze stanu początkowego do docelowego, pod wieloma względami podobne jest do wnioskowania na bazie reguł. Jednakże w znacznej większości przypadków' w przypadku planowania reprezentacja wiedzy jest bardziej złożona i prawie zawsze wymaga revocable strategii stareowania (noncommutative system, czyli system, w którym kolejność zapalania reguł jest istotna, tj. system oparty o logikę niemonotoniczną). Wiedza ta w planow aniu wymaga następujących reprezentacji:

-    reprezentacji akcji (operatorów): programy generujące opisy kolejnych stanów', definicji warunków wstępnych i efektów

-    reprezentacji stanów: struktury danych opisujące bieżące sytuacje

-    reprezentacji planów (sekwencji akcji = sekwencji operatorów): każde rozwiązanie jest sekwencja akcji

Przykład reprezentacji wiedzy w systemie STRIPS

-    reprezentacja stanu: koniunkcja podstawowych literałów, bez zmiennych (nie ma funkcji, predykaty ze stałymi symbolami, możliwe negacje), np. At(Homc), Have(Milk)

-    reprezentacja celu: koniunkcja literałów, które mogą zaw ierać zmienne, np. At(x) Sells(x, Milk)

-    reprezentacja akcji(operatorów): zkłada się z:

•    własności (opisu) akcji: nazwa i opis znaczenia, np. podnieś plok y z bloku z

•    warunków wstępnych (precondition): koniunkcja prawdziwych literałów' (atomów), np. ontable(x). (elear y), (empty)

•    efektu: koniunkcja literałów (prawdziwych lub negatywnych) opisujących jak zmieni się sytuacja po wykonaniu akcji (operatora).

Istnieją dwie reprezentacje efektów: o ADD lista, np. (empty), (elear x) o DBI.HTK lista, np. (hołd y)

- reprezentacja planów: jest to struktura danych składająca się z:

•    zbioru kroków' planu: każdy krok = jeden dostępny operator

•    zbioru ograniczeń na porządek operatorów: specyfikuje, że jedna akcja musi wystąpić przed drugą

•    zbioru ograniczeń na wiązanie zmiennych: postaci v=x. gdzie x to zmienna w pewnym kroku, a x jest zmienną lub stałą

•    zbioru związków (połączeń) przyczynowych: opisują cele poszczególnych kroków.

5