47603

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

Линейная логика в формальном описании ориентации интеллектуального агента в окружающей среде

Электронная публикация: 

Да

ISBN/ISSN: 

ISBN 978-5-91450-216-1

Наименование конференции: 

  • 2-я всероссийская междисциплинарная конференция «СОЦИОФИЗИКА И СОЦИОИНЖЕНЕРИЯ» (Москва, ИПУ РАН, 2018)

Наименование источника: 

  • Материалы 2-й всероссийской междисциплинарной конференции «СОЦИОФИЗИКА И СОЦИОИНЖЕНЕРИЯ» (Москва, ИПУ РАН, 2018)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2018

Страницы: 

303-304
Аннотация
Ранее было продемонстрировано, что достаточно только наличия структуры (решеточной или линейной логики) на множестве задач или целей системы для того, чтобы система вела себя вполне разумно и даже похоже на поведение, например, колонии муравьев. Моделирования среды не предполагается. В этом докладе предлагается развитие темы исходя из идеи, что параллельное выполнение процессов достижения разных целей в среде можно представить как тензорное произведение в линейной логике, которая моделируется в определенной категории игр, т.е., процесс достижения в среде своих целей формально можно описать как некоторую игру. Вознаграждение позиций пред-ставляется множествами, описывающими информацию о целях. Т.о., вознаграждения предоставляются средой и являются элементами решетки множеств, а не числами. Структура же линейной логики на решетке целей, используется для определения приоритетов различных параллельных процессов в такой категории игр.

Библиографическая ссылка: 

Максимов Д.Ю. Линейная логика в формальном описании ориентации интеллектуального агента в окружающей среде / Материалы 2-й всероссийской междисциплинарной конференции «СОЦИОФИЗИКА И СОЦИОИНЖЕНЕРИЯ» (Москва, ИПУ РАН, 2018). М.: ИПУ РАН, 2018. С. 303-304.