Семинар "Логическая семантика": решение задачи "Чумазые дети" ("Muddy Children Puzzle")

25 октября в 16.40 в ауд. А-120 состоится заседание научно-учебного семинара

«Логическая семантика»

В рамках семинара будет разбираться задача "Чумазые дети" ("Muddy Children Puzzle")

Формулировка задачи:

"Группа детей играла на улице, и их позвал обратно в дом их отец. Дети собираются вокруг него. Как можно догадаться, некоторые из них стали чумазыми после игры на улице. У них может быть грязь на лице. Дети могут видеть только других: чумазые ли они, но они не видят, есть ли грязь на их собственном лице. Ситуация известна всем участникам, и, по условиям задачи, дети, очевидно, являются совершенными логиками. Отец говорит им: "По крайней мере один из вас чумазый". А потом добавляет: "Пусть выйдет вперед тот, кто знает, чумазый ли он". Если никто не выходит вперед, отец продолжает повторять предложение выйти вперед знающему. На каком-то этапе все чумазые дети выйдут вперед. Когда это произойдет, если m из k детей чумазые, и почему?"