Drzewo przeszukiwania to :
Inna nazwa rozwinięcia danego stanu
Procedura generowania nowego zbioru stanów
Struktura reprezentująca proces przeszukiwania
Przeszukiwanie z jednolitym kosztem to strategia, zgodnie z którą:
Dla danego poziomu wpierw rozwijany jest węzeł o najniższym koszcie
Z danego poziomu wybiera się do rozwinięcia podzbiór węzłów o najniższym koszcie i rozwija się wszystkie węzły z tego podzbioru
Rozwijany jest węzeł o aktualnie najniższym koszcie, niezależnie od tego na jakim jest poziomie
Spośród niżej wymienionych strategii, optymalne jest:
Przeszukiwanie w głąb
Przeszukiwanie dwukierunkowe
Przeszukiwanie z iteracyjnym pogłębianiem
Baza wiedzy agenta bazującego na wiedzy to:
Synonim języka reprezentacji wiedzy
Zbiór akcji podjętych od stanu wyjściowego
Zbiór reprezentacji faktów o otaczającym świecie
Dla danego języka reprezentacji wiedzy, ,syntaktyka to:
Opis relacji pomiędzy faktami o otaczającym świecie a elementami języka
Opis możliwych konfiguracji elementów języka, które mogą tworzyć zdania
Realna reprezentacja faktów o otaczającym świecie w architekturze inteligentnego agenta
Procedura wnioskowania może:
Dla danej bazy wiedzy KB generować nowe zdanie wyprowadzane z KB
Dla danej bazy wiedzy KB i danego zdania a badać, czy jest wyprowadzane z KB
Znaleźć dowód dla każdego zdania a, które jest wyprowadzane z bazy wiedzy KB
Wnioskowanie logiczne jest procesem, w którym:
Stosowana jest relacja pociągania pomiędzy zdaniami
Stosowana jest procedura wnioskowania
Stosowana jest procedura wnioskowania zachowująca prawdziwość
Język reprezentacji winien być:
Ekspresywny i ścisły
Niezależny od kontekstu
Nieinterpretowalny na różne sposoby
Zdanie P→Q jest prawdziwe wtedy i tylko wtedy, gdy:
P i Q są prawdziwe
P lub Q są prawdziwe
Nie jest tak że P jest prawdziwe a Q jest jednocześnie fałszywe
Zdania „jak pada deszcz to ulica jest mokra” i „ulica jest mokra” są prawdziwe. Czy zdanie „Pada deszcz” jest prawdziwe”:
Tak
Nie
Odpowiedź na poprzednie pytanie wynika z zastosowania jakiej reguły wnioskowania w rachunku zdań?:
Eliminacji implikacji
Eliminacji koniunkcji
Jednostkowej rezolucji