39953

Автор(ы): 

Автор(ов): 

2

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

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

Доклад

Название: 

Эффекты линейной логики в активных системах.

ISBN/ISSN: 

ISBN 978-5-91450-194-2

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

  • Международная научно-практическая конференция «Теория активных систем» (Москва, 2016)

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

  • Материалы Международной научно-практической конференции «Теория активных систем» (Москва, 2016)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2016

Страницы: 

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

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

Максимов Д.Ю., Рывкин С.Е. Эффекты линейной логики в активных системах. / Материалы Международной научно-практической конференции «Теория активных систем» (Москва, 2016). М.: ИПУ РАН, 2016. С. 67-71.