12.07.2015 Views

Методы построения конечных автоматов на основе ...

Методы построения конечных автоматов на основе ...

Методы построения конечных автоматов на основе ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

58результаты – около 90% побед. Кроме этого, были проведеныэксперименты, в которых в процессе мутации разрешалось добавлять иудалять состояния – в этом случае было замечено, что в построенныхавтоматах используется меньше половины состояний. На основаниирезультатов экспериментов был сделан вывод о том, что операциидобавления и удаления состояний являются слишком «разрушительными»для их применения в эволюционных алгоритмах <strong>построения</strong> <strong>автоматов</strong>.А<strong>на</strong>лиз поведения агентов, управляемых построенными автоматами,показал, что поведение агента достаточно быстро зацикливается, чтоприводит к ухудшению его результатов. Для того чтобы устранить этотнедостаток, в рассматриваемой работе предлагается метод, основанный <strong>на</strong><strong>на</strong>блюдении за поведением агента во время игры. Этот метод состоит втом, что к автомату добавляется память размером в 20 ячеек, котораяпозволяет отслеживать циклы в поведении агента. В этой памятизаписывались ячейки, посещенные агентом. Если далее об<strong>на</strong>руживалось,что действие, генерируемое автоматом, приводит к зацикливанию, тодействие выбиралось случайным образом. Применение такого методапозволило построить систему управления агентом, которая добиваласьпобед в 96% игр. Описанный метод устранения зацикливания являетсяодной из разновидностей ди<strong>на</strong>мической верификации [101].1.3.2. <strong>Методы</strong>, использующие обучающие примеры привычислении функции приспособленностиВ <strong>на</strong>стоящем разделе приводится обзор методов <strong>построения</strong><strong>конечных</strong> <strong>автоматов</strong>, использующих обучающие примеры (тесты) привычислении функции приспособленности.1.3.2.1. Построение <strong>конечных</strong> распоз<strong>на</strong>вателейРассматриваемая ниже модель в литературе обычно <strong>на</strong>зывается«детерминированный конечный автомат». В <strong>на</strong>стоящей работе, од<strong>на</strong>ко, для

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!