Войти
Теория обещаний в контексте информатики представляет собой модель добровольного сотрудничества между отдельными людьми., автономные субъекты или агенты, которые сообщают друг другу о своих намерениях в форме обещаний. Это форма теории помеченных графов, описывающая дискретные сети агентов, объединенных односторонними обещаниями, которые они дают.
«Обещание» - это декларация о намерениях, цель которой - повысить уверенность получателя в заявлении о прошлом, настоящем или будущем поведении. Чтобы обещание увеличивало уверенность, получатель должен доверять обещающему, но доверие также может быть построено на проверке (или «оценке») того, что предыдущие обещания были выполнены, поэтому доверие играет симбиотические отношения с обещания. Каждый агент оценивает свою веру в результат или намерение обещания. Таким образом, теория обещаний посвящена относительности автономных агентов.
Одна из целей теории обещаний - предложить модель, которая объединяет физическое (или динамическое) описание информационной системы с ее предполагаемым значением, то есть ее семантикой. Это было использовано, среди прочего, для описания управления конфигурацией ресурсов в информационных системах.
Теория обещаний была предложена Марком Берджессом в 2004 году в контексте информатики для решения проблем, связанных с обязательством схемы управления компьютером для управления на основе политик. Однако вскоре выяснилось, что его полезность выходит далеко за рамки вычислений. Простая модель обещания, используемая в теории обещаний (теперь называемая «микро-обещания»), может легко решать вопросы экономики и организации. С тех пор теория обещаний была разработана Берджессом в сотрудничестве с голландским ученым-компьютерщиком Яном Бергстра, в результате чего появилась книга «Теория обещаний: принципы и приложения». опубликовано в 2013 году.
Интерес к теории обещаний вырос в ИТ-индустрии, и несколько продуктов ссылаются на нее.
Традиционным способом были обязательства, а не обещания руководящего поведения. Отправной точкой теории обещаний от логики обязательств является идея о том, что все агенты в системе должны иметь автономию управления, т. Е. что их нельзя принуждать или принуждать к определенному поведению. Теории обязательств в информатике часто рассматривают обязательство как детерминированную команду, которая приводит к предполагаемому результату. В теории обещаний агент может обещать только свое поведение. Для автономных агентов бессмысленно обещать чужое поведение.
Хотя это предположение можно интерпретировать морально или этически, в теории обещаний это просто прагматический «инженерный» принцип, который ведет к более полному документированию предполагаемых ролей действующих лиц или агентов в целом. Причина этого в том, что, когда кому-то не позволяют делать предположения о поведении других, он вынужден более полно документировать каждое обещание, чтобы делать прогнозы; таким образом, это приводит к более полной документации, которая, в свою очередь, указывает возможные режимы отказа, из-за которых совместное поведение может дать сбой.
Системы командования и управления, подобные тем, которые мотивируют теорию обязательств, могут быть легко воспроизведены, если агенты добровольно пообещают следовать инструкциям другого агента (это также рассматривается как более реалистичная модель поведения). Поскольку обещание всегда можно отозвать, нет противоречия между добровольным сотрудничеством и командованием и контролем.
В философии и праве обещание часто рассматривается как нечто, ведущее к обязательству. Теория обещаний отвергает эту точку зрения. Бергстра и Берджесс показали, что концепция обещания совершенно не зависит от концепции обязательства и действительно проще.
Роль обязательств в повышении определенности неясна, поскольку обязательства могут исходить откуда угодно, а совокупность не -локальные ограничения не могут быть разрешены местным агентом: это означает, что обязательства могут фактически увеличить неопределенность. В мире обещаний все ограничения на агента налагаются на него сами и являются локальными (даже если они предлагаются внешними агентами), поэтому все противоречия могут быть разрешены локально.
Теория обязательств в многоагентных системах имеет некоторые сходства с аспектами теории обещаний, но есть ключевые различия. В теории обещаний обязательство - это подмножество намерений. Поскольку обещание является опубликованным намерением, обязательство может быть, а может и не быть обещанием. Подробное сравнение обещаний и обязательств в смыслах, предусмотренных в их соответствующих областях, в ближайшее время, и это нетривиальный вопрос.
Обещания могут быть ценными для обещающего или даже для обещающего. Они также могут привести к расходам. Таким образом, об обещаниях можно рассказать экономическую историю. Экономика обещаний естественным образом мотивирует поведение "эгоистичного агента", и теорию обещаний можно рассматривать как мотивацию для принятия теоретических решений в игре, в которой множественные обещания играют роль стратегий в игре.
Теория обещаний как применительно к организациям имеет некоторое сходство с теорией институционального разнообразия Элинор Остром. Появляются несколько одинаковых тем и соображений; главное отличие состоит в том, что Остром, как и многие авторы, акцентирует внимание на роли внешних правил и обязательств. Теория обещаний придерживается противоположной точки зрения, согласно которой соблюдение правил является добровольным действием, и поэтому имеет смысл сосредоточиться на этих добровольных обещаниях. Попытка принудить к повиновению без обещания считается нападением. Одним из преимуществ подхода теории обещаний является то, что он не требует специальных структурных элементов (например, институциональных «должностей» Острома) для описания различных ролей в сети сотрудничества - они также могут рассматриваться как обещания в теории обещаний; таким образом, существует экономия, которая помогает избежать взрывного роста концепций и, что, возможно, более важно, допускает математическую формализацию. Алгебра и исчисление обещаний позволяют просто рассуждать в математической структуре.
Несмотря на общность теории обещаний, первоначально она была предложена Берджессом как способ моделирования программного обеспечения для управления компьютером CFEngine и его автономного поведения. Существующие теории, основанные на обязательствах, не подходили. CFEngine использует модель автономии как способ избежать распределенной несогласованности в политике и как принцип защиты от внешних атак: ни один агент не может быть вынужден получать информацию или инструкции от другого агента, поэтому любое сотрудничество является добровольным. Для многих пользователей программного обеспечения это свойство играет важную роль как в обеспечении безопасности их систем, так и в адаптации к местным требованиям.
В информатике теория обещаний описывает услуги, управляемые политикой, в рамках полностью автономных агентов, которые помогают друг другу только посредством добровольного сотрудничества. Это основа для анализа реалистичных моделей современных сетей, и как формальная модель для интеллекта роя.
Теория обещаний может рассматриваться как логическая и графовая теоретическая основа для понимания сложных взаимосвязей в сетях, в которых должно быть много ограничений. быть выполнено, который был разработан в Университетском колледже Осло на основе идей нескольких различных направлений исследований, проведенных там, включая управление на основе политик, теорию графов, логику и управление конфигурациями. Он использует конструктивистский подход, который строит обычные структуры управления из графов взаимодействующих автономных агентов. Обещания могут быть заявлены либо от агента самому себе, либо от одного агента к другому, и каждое обещание подразумевает ограничение на поведение многообещающего агента. Атомарность обещаний делает их инструментом для поиска противоречий и несоответствий.
Обещания, данные автономными агентами, приводят к взаимно одобренной графовой структуре, которая, в свою очередь, приводит к пространственным структурам в агенты представляют собой точечные местоположения. Это позволяет объединить модели интеллектуальных пространств, то есть семантически обозначенных или даже функциональных пространств, таких как базы данных, карты знаний, склады, отели и т. Д., С другими более традиционными описаниями пространства и времени. Модель использует теорию обещания для обсуждения этих концепций пространства-времени.
Обещания более примитивны с математической точки зрения, чем смежности графов, поскольку связь требует взаимного согласия двух автономных агентов, поэтому концепция связанного пространства требует больше работы для построения структуры. Это делает их математически интересными как понятие пространства и предлагает полезный способ моделирования физических и виртуальных информационных систем.
