AI Mag 38(3):83Ĭook RT (2006) Knights, knaves and unknowable truths. Miskolc Math Notes 19(2):755–768Ĭhesani F, Mello P, Milano M (2017) Solving mathematical puzzles: a challenging competition for AI. CSLI Publications, Stanfordīíró CS, Kusper G (2018) Equivalence of strongly connected graphs and black-and-white 2-SAT problems.

Acta Cybernet 14:533–540īarwise J, Moss LS (1996) Vicious circles: on the mathematics of non-wellfounded phenomena. Mathematics 8:190Īszalós L (2000) The logic of knights, knaves, normals and mutes. Some statistical results about the new type of puzzles and a comparison with other types of puzzles are also shown: the number of solvable and also the number of good puzzles is much larger than in the previously known SS-puzzles.Īlzboon L, Nagy B (2020) Truth-teller-Liar Puzzles with Self-reference. Characteristics of the newly investigated type of people, the ‘Weak Crazy’ people, has also been studied. However, in this paper, we show that there are clear and good SSW-puzzles. It is well-known that there is no good and clear SS-puzzle (Strong Truth-teller-Strong Liar puzzle). In any good puzzle there is a unique solution, while the puzzle is clear if only the people of the puzzle and their statements are given to solve the puzzle. Self-contradicting statements are related to the Liar paradox, such that, there is no Truth-teller or a Liar could say “I am a Liar”. Strong Truth-tellers who can say only true statements, Strong Liars who can make only false statements and Weak Crazy people who must make at least one self-contradicting statement if he/she says anything.

(The solution of) these logical puzzles contain three types of people. Graphs are used to represent graphically the puzzles. These puzzles are based on the simplest truth-teller and liar puzzles. In this manuscript, we define and discuss a new type of logical puzzles.

Trueteller girlfriend