Основная статья
Вступление
В задаче по управлению торговым ботом нужен управляющий элемент системы который будет формировать конкретные команды для коннектора. Эти команды в первом приближении будут: ждать, купить, продать если куплено.
Немного прошвырнувшись по просторам гугла, наткнулся на интересную кандидатскую к моему огромному сожалению код не доступен в публичном доступе, оно и понятно. В ней автор рассматривает муравьиный алгоритм для генерации конечных автоматов для управления системами в реальном мире.
Использованные материалы:
Теория
Функция приспособленности
Реализации темпоральной логики:
Какая-то реализация алгоритма, вероятно возьму за основу
SAT
Extended Finite-State Machine Induction using SAT-Solver Vladimir I. Ulyantsev ∗ Fedor N. Tsarev ∗∗
https://pysathq.github.io/docs/html/index.html
Что надо:
- Темпоральные функции как критерии переходов в FA
- Реализация конечного автомата
- Муравьиный алгоритм
- Далее всё подружить
- Также генератор/модератор темпоральных формул (для поиска нового решения)
- Генератор/модератор конечного автомата
- Функция полезности
- Наверное графовые пакеты, хотя может и на numpy запилю
Сама реализация муравьиного алгоритма простая. В нашем случае будет чуть сложнее тк большая вариабельность при генерации темпоральных функций и.. да всё наверное.
Пару моментов из труда:
Остаётся выяснить про SAT...
Продолжение будет...
