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

Speaker(s)

Konrad Zdanowski

Affiliation

UKSW

Language of the talk

English

Date

May 23, 2025, 12:15 p.m.

Room

room 5450

Title in Polish

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

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.)

---

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.)
 

---