Z góry przepraszam, jeśli pomyliłem dział, przedmiot to sztuczna inteligencja na studiach, próbowałem szukać w internecie, wszystkie wykłady profesora przejrzałem jednak jednego zadania nie mogę znaleźć:
Dowodzenie automatyczne twierdzeń polega na:
a) Stwierdzeniu istnienia modelu zbioru klauzul ekwiwalentnych do formuły
b) Odpowiedzi na pytanie że zbiór \(\displaystyle{ A \cup \left\{ \neg A\right\}}\) nie ma modelu
c) Odpowiedzi na pytanie że zbiór \(\displaystyle{ A \cup \left\{ \neg A\right\}}\) ma model
Test jest wielokrotnego wyboru, zaznaczyłem odpowiedź a, jednak nie jest ona poprawna, więc istnieją warianty ab, ac, b, c.
Bardzo prosiłbym o pomoc.
Dowodzenie automatyczne twierdzeń
-
samorajp
- Użytkownik
- Posty: 65
- Rejestracja: 18 lis 2008, o 18:41
- Płeć: Mężczyzna
- Lokalizacja: Olsztyn
- Podziękował: 4 razy
- Pomógł: 11 razy
Dowodzenie automatyczne twierdzeń
Według mnie b) jest poprawne, c) jest niepoprawne. O a) się nie wypowiadam.
b) według mnie jest poprawne, bo tak działa metoda rezolucji
c) brzmi bezsensownie, bo dla niepustego zbioru zdań taki model nigdy nie istnieje (gdyby tak było to model jednocześnie miałby pewną własność i jej nie miał).
b) według mnie jest poprawne, bo tak działa metoda rezolucji
Kod: Zaznacz cały
https://pl.wikipedia.org/wiki/Rezolucja_%28matematyka%29c) brzmi bezsensownie, bo dla niepustego zbioru zdań taki model nigdy nie istnieje (gdyby tak było to model jednocześnie miałby pewną własność i jej nie miał).