УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Методы верификации конечных автоматов, взаимодействующих по акторной модели

© 2010, А.А. Чебатуркин

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Полный текст работы
Презентация

Аннотация

В настоящей работе предлагается новый подход представления абстракции, основанный на факторах. Также в работе предлагается использовать новый метод для сокращения размера представления дерева игры и автоматического построения множества состояний абстракции для модели стратегического класса на основе истории действий оппонента. Метод применяется для построения абстракции для хранения информации о действиях оппонентов и моделирования их поведения в игре "Покер техасский холдем".

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