 | Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) ( Узнайте, как и когда удалить этот шаблон сообщения )
|
Теория обещаний в контексте информатики - это модель добровольного сотрудничества между отдельными, автономными действующими лицами или агентами, которые сообщают друг другу свои намерения в форме обещаний. Это форма теории помеченных графов, описывающая дискретные сети агентов, объединенных односторонними обещаниями, которые они дают.
«Обещание» - это декларация о намерениях, цель которой - повысить уверенность получателя в заявлении о своем прошлом, настоящем или будущем поведении. [1] Чтобы обещание увеличивало уверенность, получатель должен доверять обещающему, но доверие также может быть построено на проверке (или «оценке») того, что предыдущие обещания были выполнены, таким образом, доверие играет симбиотические отношения с обещаниями. Каждый агент оценивает свою веру в результат или намерение обещания. Таким образом, теория обещаний касается относительности автономных агентов.
Одна из целей теории обещаний - предложить модель, которая объединяет физическое (или динамическое) описание информационной системы с ее предполагаемым значением, то есть ее семантикой . Это использовалось , среди прочего, для описания управления конфигурацией ресурсов в информационных системах.
История [ править ]
Теория обещаний была предложена Марком Берджессом в 2004 году в контексте информатики для решения проблем, присутствующих в схемах компьютерного управления на основе обязательств для управления на основе политик . [1] Однако вскоре выяснилось, что его полезность выходит далеко за рамки вычислений. Простая модель обещания, используемая в теории обещаний (теперь называемая «микро-обещания»), может легко решать вопросы экономики и организации. С тех пор теория обещаний была разработана Берджессом в сотрудничестве с голландским ученым-компьютерщиком Яном Бергстра , в результате чего появилась книга «Теория обещаний: принципы и приложения». [2] опубликовано в 2013 году.
Интерес к теории обещаний вырос в ИТ-индустрии, на нее ссылаются несколько продуктов. [3] [4] [5] [6] [7] [8]
Автономия [ править ]
Обязательства, а не обещания были традиционным способом управления поведением. [9] Отправной точкой теории обещаний от логики обязательств является идея о том, что все агенты в системе должны обладать автономией управления, то есть их нельзя принуждать или принуждать к определенному поведению. Теории обязательств в информатике часто рассматривают обязательство как детерминированную команду, которая приводит к предполагаемому результату. В теории обещаний агент может обещать только свое поведение. Для автономных агентов бессмысленно обещать чужое поведение.
Хотя это предположение можно интерпретировать морально или этически, в теории обещаний это просто прагматический «инженерный» принцип, который ведет к более полному документированию предполагаемых ролей акторов или агентов в целом. Причина этого в том, что, когда человеку не разрешают делать предположения о поведении других, он вынужден более полно документировать каждое обещание, чтобы делать прогнозы; таким образом, это приводит к более полной документации, которая, в свою очередь, указывает возможные режимы отказа, из-за которых совместное поведение может дать сбой.
Системы управления и контроля, подобные тем, которые мотивируют теорию обязательств, могут быть легко воспроизведены, если агенты добровольно пообещают следовать инструкциям другого агента (это также рассматривается как более реалистичная модель поведения). Поскольку обещание всегда можно отозвать, нет противоречия между добровольным сотрудничеством и командованием и контролем.
В философии и праве обещание часто рассматривается как нечто, ведущее к обязательству. Теория обещаний отвергает эту точку зрения. Бергстра и Берджесс показали, что концепция обещания совершенно не зависит от концепции обязательства и действительно проще. [9]
Роль обязательств в повышении определенности неясна, поскольку обязательства могут исходить откуда угодно, а совокупность нелокальных ограничений не может быть разрешена местным агентом: это означает, что обязательства могут фактически увеличивать неопределенность. В мире обещаний все ограничения на агента являются наложенными на него самими и локальными (даже если они предлагаются внешними агентами), поэтому все противоречия могут быть разрешены локально.
Многоагентные системы и обязательства [ править ]
Теория обязательств в многоагентных системах имеет некоторые сходства с аспектами теории обещаний, но есть ключевые различия. В теории обещаний обязательство - это подмножество намерений. Поскольку обещание является опубликованным намерением, обязательство может быть, а может и не быть обещанием. Подробное сравнение обещаний и обязательств в смыслах, предусмотренных в их соответствующих областях, в ближайшее время, и это не тривиальный вопрос.
Экономика [ править ]
Обещания могут быть ценными для обещающего или даже для обещающего. Они также могут привести к расходам. Таким образом, об обещаниях можно рассказать экономическую историю. Экономика обещаний естественным образом мотивирует поведение «эгоистичного агента», и теорию обещаний можно рассматривать как мотивацию для принятия теоретических решений в игре, в которой множественные обещания играют роль стратегий в игре. [10]
Теория обещаний в применении к организациям [11] имеет некоторое сходство с теорией институционального разнообразия Элинор Остром . [12]Появляются несколько одинаковых тем и соображений; Основное отличие состоит в том, что Остром, как и многие авторы, акцентирует внимание на роли внешних правил и обязательств. Теория обещаний придерживается противоположной точки зрения, согласно которой соблюдение правил является добровольным действием, и поэтому имеет смысл сосредоточиться на этих добровольных обещаниях. Попытка принуждения к повиновению без обещания считается нападением. Одним из преимуществ подхода теории обещаний является то, что он не требует специальных структурных элементов (например, институциональные «позиции» Острома) для описания различных ролей в совместной сети - они также могут рассматриваться как обещания в теории обещаний; таким образом, существует экономия, которая помогает избежать взрыва концепций и, что, возможно, более важно, допускает математическую формализацию.Алгебра и исчисление обещаний позволяют просто рассуждать в математической структуре.
CFEngine [ править ]
Несмотря на общность теории обещаний, она была первоначально предложена Берджессом как способ моделирования программного обеспечения для управления компьютером CFEngine и его автономного поведения. Существующие теории, основанные на обязательствах, не подходили. CFEngine использует модель автономии как способ избежать распределенной несогласованности в политике и как принцип защиты от внешних атак: ни один агент не может быть вынужден получать информацию или инструкции от другого агента, поэтому любое сотрудничество является добровольным. Для многих пользователей программного обеспечения это свойство играет важную роль как в обеспечении безопасности их систем, так и в адаптации к местным требованиям.
Эмерджентное поведение [ править ]
В информатике теория обещаний описывает услуги, управляемые политикой, в рамках полностью автономных агентов, которые помогают друг другу только путем добровольного сотрудничества. Это основа для анализа реалистичных моделей современных сетей, а также формальная модель для разведки роя . [13]
Теорию обещаний можно рассматривать как логическую и графовую теоретическую основу для понимания сложных отношений в сетях, где необходимо встретить множество ограничений, которая была разработана в Университетском колледже Осло , опираясь на идеи из нескольких различных направлений исследований, проведенных там, включая политику. управление на основе, теория графов, логика и управление конфигурациями . Он использует конструктивистский подход, который строит обычные структуры управления из графов взаимодействующих автономных агентов. Обещания могут быть заявлены либо от агента самому себе, либо от одного агента к другому, и каждое обещание подразумевает ограничение на поведение многообещающего агента. Атомарность обещаний делает их инструментом для поиска противоречий и несоответствий.
Агентство как модель систем в пространстве и времени [ править ]
Обещания, данные автономными агентами, приводят к взаимно одобренной структуре графа , которая, в свою очередь, приводит к пространственным структурам, в которых агенты представляют собой точечные местоположения. Это позволяет объединить модели интеллектуальных пространств , то есть семантически обозначенные или даже функциональные пространства, такие как базы данных, карты знаний, склады, отели и т. Д., С другими более традиционными описаниями пространства и времени. Модель семантического пространства-времени использует теорию обещания для обсуждения этих концепций пространства-времени.
Обещания более примитивны с математической точки зрения, чем смежности графов, поскольку связь требует взаимного согласия двух автономных агентов, поэтому концепция связанного пространства требует больше работы для построения структуры. Это делает их математически интересными как понятие пространства и предлагает полезный способ моделирования физических и виртуальных информационных систем. [14]
Ссылки [ править ]
- ^ a b М. Берджесс, Подход к пониманию политики, основанный на автономии и добровольном сотрудничестве
- ^ Теория обещаний: принципы и приложения
- Перейти ↑ Thinking in Promises, O'Reilly, 2015
- ^ Теория обещаний: действительно ли вы доверяете сети в выполнении обещаний?
- ^ Модель политики ACI: Введение в некоторые основы политики ACI и то, как она применяется
- ^ Почему вам нужно знать о теории обещаний
- ^ Оптимизация инфраструктуры Cisco, ориентированной на приложения
- ^ В поисках заставить код работать так, как биология только что сделала большой шаг (Wired, 2016)
- ^ a b [0810.3294] Статическая теория обещаний
- ^ [1]
- ^ "Законы поведения человека и компьютера и коллективной организации". Цитировать журнал требует
|journal=( помощь ) [2] - ^ Остром, Элинор (2005). Понимание институционального разнообразия . Издательство Принстонского университета . ISBN 978-0-691-12238-0.
- ^ М. Берджесс, С. Фагернес (2006), Теория обещаний - модель автономных объектов для повсеместных вычислений и скоплений , Университетский колледж Осло, ISBN 0-7695-2622-5
- ^ М. Берджесс, Пространства-время с семантикой
