В данном разделе мы представляем модель токеномики проекта Skillonomy. Данная модель разрабатывается нашими партнерами, командой Garuda.ai
Модель представляет собой описание движения токенов по периодам и распределение токенов по агентам. Агенты - это лица, занимающиеся добычей навыков, получением прибыли, операциями с токенами.
Все данные об агентах и движении токенов регистрируются в среде файла описания. Каждый агент в определенное время выполняет определенное действие и изменяет среду, а именно - распределение токенов.

Действия выполняются в соответствии с поведением, описанным в формальной форме в файле поведения. С помощью этого описания можно моделировать движение токенов и исследовать свойства всего проекта.
Модель состоит из неформального описания типов агентов и соответствующих им атрибутов, формальных действия и модели общего поведения. Описание построено по принципу моделирования вставки: если условие агента, выполняющего действие, истинно, то соответствующие изменения в окружающей среде разрешены.
Приложения описывают формальные части модели языком поведенческой алгебры.

 Далее мы цитируем описание модели так, как она представлена на сайте разработчиков.

Garuda.ai: Обзор модели - поведение

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

model tokenomic1

Garuda.ai: Обзор модели – действия

"… мы разработали мощный инструмент для использования в идентификации и характеристике процессов в нашей модельной системе. Основным преимуществом этой разработки является ее улучшенная чувствительность, которая позволяет обнаруживать незначительные динамические изменения свойств в ответ на наши эксперименты."

model tokenomic2
Garuda.ai: Обзор модели – результаты

model tokenomic3

Хотите узнать больше о моделировании токеномики?
Скачать доклад