Так как я абстракты не люблю, и в очереди на реализацию у меня скопилось множество проектов, то решил подарить общественности мысль. Если она не нова, или даже кем-то реализована - пишите с удовольствием почитаю. Я вроде бы про нее не слышал.

Суть идеи в переложении шахмат в диалог. Вместо поля здесь некоторые логические объекты, вместо фигур - определенные утверждения разного типа. Как и в шахматах есть состояние покоя, когда фигуры не находятся под ударом, и состояние противоречия, которое приводит к "поеданию" аргументов.

Итак, как протекает партия? Сначала уточняется множество объектов и свойств (поле), можно и на бесконечном множестве (т.е. придумывать новые), однако для начала лучше ограничить. Далее ограничивается множество лексем, ну или логических операций, кому как удобно (фигуры). Далее начинаются последовательные ходы - игроки просто обмениваются утверждениями.

Например:

заданы объекты: "кошка", "собака", "человек", свойства: "усы","лапы","хвост"

начинается обмен утверждениями, участвуют игрок 1 и игрок 2:

1: кошка имеет усы

2: собака имеет усы

1: все кошки имеют усы

2: все кто имеют усы это кошки или собаки

1: человек имеет усы

тут мы видим простейшее противоречие и если игрок 2 обращает на него внимание, то он может решить его заменой утверждения игрока 1 своим. Конечно в свой ход можно изменить свое утверждение, как и в шахматах передвинуть фигуру, продолжение примера, игрок 2 заменяет первое утверждение, а игрок 1 чтобы не потерять третье утверждение меняет его:

1: кошка имеет усы 2: кошка не имеет усов

2: собака имеет усы

1: все кошки имеют усы 1: все кошки не имеют усов

2: все кто имеют усы это кошки или собаки

1: человек имеет усы

Победитель может определиться либо когда утверждений одного игрока вообще не останется, либо спустя некоторое количество ходов по количеству оставшихся утверждений. В качестве основного набора логических операций подходит Алгебра множеств, но можно расширить чем угодно.

Тематика, набор объектов и свойств может быть любым и отражать какую-то тему, например дипломатическую борьбу двух государств за влияние на нейтральных территориях, династическое наследование имущества или какие-то юридические дела (если ввести не только фактические утверждения, но и допущения). Даже лучше обсуждать какие-то формализованные, чем реальные объекты. А то "кошка не имеет усов" - звучит странно. С другой стороны это ведь абстракт и шахматы тоже довольно абстрактны. К тому же если сравнивать с усами некоторых людей, то у кошки они почти незаметны :)

Итог

Если кому-то интересно, готов поучаствовать в тестировании или подкинуть идеи по ходу реализации.

Вообще наверное игра была бы полезна и детям, и взрослым, знакомила бы хорошо с предметной областью и воспитывала логичность мышления и навыки ведения споров, диалогов. На ее базе можно было бы создать какие-то интересные реализации частей компьютерных игр, вроде выяснения информации у нпц, или виртуальных каких-то дуэлей магов :)