Przedstawienie naszego zadania.
Analiza Wypowiedzi:
- Na początku zajęliśmy się rozwiązaniem zagadki logicznej analizując treści wypowiedzi poszczególnych podejrzanych. Po analizie wypowiedzi można zauważyć wzajemne wykluczenie się kolejnych zeznań. Z treści dowiadujemy się że każda osoba mówi przynajmniej jedno kłamstwo. Z tego powodu pozwoliliśmy sobie założyć dwie możliwe wersje.
a) Zakładamy że pierwsza część wypowiedzi to kłamstwo czyli druga to prawda.
b) Druga część wypowiedzi to kłamstwo czyli pierwsza to prawda.
3) Na podstawie tego zapisaliśmy twierdzenia w języku prolog. (na slajdzie)
4) Po takiej analizie problemu dochodzimy do wniosku że nasz problem da się rozwiązać poprzez sprawdzenie wszystkich możliwych kombinacji prawd i kłamstw naszych podejrzanych.
Dzięki wariancji z powtórzeniami uzyskujemy kombinację wszystkich możliwych przypadków.
Dla większości z tych przypadków twierdzenia wzajemnie się wykluczają i tylko jedno zdarzenie jest prawdziwe.
W przypadku gdy zakładamy że:
Arek i Darek mówi prawdę w pierwszej części wypowiedz a Bolek Czarek i Edek mówią prawdę w drugiej części wypowiedzi nasze warunki się nie wykluczają i nasz program przedstawia nam imię poszukiwanego przez nas złodzieja ciasta. Jest nim Czarek. Czarek dostanie 10 lat w zawiasach za kradzież i przetrzymywanie ciasta pani Kowalskiej. Dziękujemy!