How to Choose a Rightheous Path? In memory of Professor Pogonowski

Prelegent(ci)

Konrad Zdanowski

Afiliacja

UKSW

Język referatu

angielski

Termin

23 maja 2025 12:15

Pokój

p. 5450

Tytuł w języku polskim

Jak podążać dobrą drogą? Pamięci profesora Pogonowskiego

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Od dawna dużą popularnością cieszą się zagadki logiczne dotyczące kłamców, prawdomównych lub losowo odpowiadających braci, takie jak prezentuje w swoich książkach R. Smullyan. Odpowiedź polega z reguły na znalezieniu pytania, które trzeba zadać jednemu lub większej ilości braci.

Zaprezentuję sposób formalizacji takich zagadek w logice zdań oraz metodologię ich rozwiązywania, która pozwala na zmierzenie zasobów potrzebnych do rozwiązania zagadki lub do pokazania, że zagadka nie ma rozwiązania.

(Referat jest oparty na pracy z p. Marią Książkiewicz.)
 

---

Everyone is familiar with Smullyan-like riddles where there are some twin brothers, liars, truth-tellers or random-tellers, and we must question them to decide the correct way. We present a way of formalizing such riddles in propositional logic. Then, we devise a methodology of solving such puzzles, measuring the resources needed to solve a puzzle or showing that a certain puzzle is unsolvable.

(The talk is based  on common work with Maria Książkiewicz.)

---