Список проголосовавших за комментарий "<p>silentbob, Тоже бьёшься над формализацией неформализуемого?))</p><p>По мне так это достаточно интересный класс задач — формализовать через классическую логику сложные вещи. Через ML просто не умею. В принципе даже если ты видишь, что в итоге твой алго находит прилично лишних ситуаций и недонаходит часть из тех, которые должен был бы — это можно компенсировать тем, что алгоритмически ты к этой основе можешь много чего прикрутить — проверить миллион теорий и гипотез, которые руками было бы нереально проверить. И в итоге может получиться что-то сопоставимое по эффективности. Как вариант — использовать в ручной торговле результаты проверки этих гипотез в качестве дополнения к основной ручной стратегии, что по идее должно её ещё улучшить.</p>"