WikiDer > Теория обещания

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Похоже, что один из основных авторов этой статьи тесная связь со своим предметом. Может потребоваться очистка для соответствия политике содержания Википедии, в частности нейтральная точка зрения. Пожалуйста, обсудите подробнее страница обсуждения. (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья написано как личное размышление, личное эссе или аргументированное эссе который излагает личные чувства редактора Википедии или представляет оригинальный аргумент по теме. Пожалуйста помогите улучшить это переписав его в энциклопедический стиль. (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: "Теория обещания" – Новости · газеты · книги · ученый · JSTOR (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Август 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

Теория обещаний, в контексте информационная наука, это модель добровольного сотрудничества между отдельными, автономные акторы или агенты которые сообщают друг другу свои намерения в форме обещаний. Это форма теории помеченных графов, описывающая дискретные сети агентов, объединенных односторонними обещаниями, которые они дают.

«Обещание» - это декларация о намерениях, цель которой - повысить уверенность получателя в заявлении о своем прошлом, настоящем или будущем поведении.^[1] Чтобы обещание увеличивало уверенность, получатель должен доверять обещающему, но доверие можно также построить на проверка (или «оценка») того, что предыдущие обещания были выполнены, поэтому доверие играет симбиотическую связь с обещаниями. Каждый агент оценивает свою веру в результат или намерение обещания. Таким образом, теория обещаний касается относительность автономных агентов.

Одна из целей теории обещаний - предложить модель, которая объединяет физическое (или динамическое) описание информационной системы с ее предполагаемым значением, т.е. семантика. Это было использовано для описания управление конфигурацией ресурсов в информационных системах, среди прочего.

История

Теория обещания была предложена Марк Берджесс в 2004 году в контексте информатики, чтобы решить проблемы, присутствующие в схемах компьютерного управления на основе обязательств для управление на основе политик.^[1] Однако вскоре выяснилось, что его полезность выходит далеко за рамки вычислений. Простая модель обещания, используемая в теории обещаний (теперь называемая «микро-обещания»), может легко решать вопросы экономики и организации. С тех пор теория обещаний была разработана Берджессом в сотрудничестве с голландским ученым-компьютерщиком. Ян БергстраВ результате появилась книга: Теория обещаний: принципы и приложения.^[2] опубликовано в 2013 году.

Интерес к теории обещаний вырос в ИТ-индустрии, на нее ссылаются несколько продуктов.^{[3][4][5][6][7][8]}

Автономия

Обязательства, а не обещания были традиционным способом управления поведением.^[9]Отправная точка теории обещаний от логика обязательств идея о том, что все агенты в системе должны иметь автономию управления, т.е. что их нельзя принуждать или принуждать к определенному поведению. Теории обязательств в информатике часто рассматривают обязательство как детерминированную команду, которая приводит к предполагаемому результату. В теории обещаний агент может обещать только свое поведение. Для автономных агентов бессмысленно обещать чужое поведение.

Хотя это предположение можно интерпретировать морально или этически, в теории обещаний это просто прагматический «инженерный» принцип, который приводит к более полному документированию предполагаемых ролей акторов или агентов в целом. Причина этого в том, что, когда кому-то не позволяют делать предположения о поведении других, он вынужден более полно документировать каждое обещание, чтобы делать прогнозы; таким образом, это приводит к более полной документации, которая, в свою очередь, указывает возможные режимы отказа, из-за которых совместное поведение может дать сбой.

Системы управления и контроля, подобные тем, которые мотивируют теорию обязательств, могут быть легко воспроизведены, если агенты добровольно пообещают следовать инструкциям другого агента (это также рассматривается как более реалистичная модель поведения). Поскольку обещание всегда можно отозвать, нет противоречия между добровольным сотрудничеством и командованием и контролем.

В философии и праве обещание часто рассматривается как нечто, ведущее к обязательству. Теория обещаний отвергает эту точку зрения. Бергстра и Берджесс показали, что концепция обещания совершенно не зависит от концепции обязательства и действительно проще.^[9]

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

Многоагентные системы и обязательства

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

Экономика

Обещания могут быть ценными для обещающего или даже для обещающего. Они также могут привести к расходам. Таким образом, об обещаниях можно рассказать экономическую историю. Экономика обещаний естественным образом мотивирует поведение «эгоистичного агента», а теорию обещаний можно рассматривать как мотивацию для принятия теоретических решений в играх, в которых множественные обещания играют роль стратегий в игре.^[10]

Теория обещаний применительно к организации ^[11] имеет некоторое сходство с теорией институционального разнообразия Элинор Остром.^[12]Появляются несколько одинаковых тем и соображений; главное отличие состоит в том, что Остром, как и многие авторы, акцентирует внимание на роли внешних правил и обязательств. Теория обещаний придерживается противоположной точки зрения, согласно которой соблюдение правил является добровольным действием, и поэтому имеет смысл сосредоточиться на этих добровольных обещаниях. Попытка принуждения к повиновению без обещания считается атакой. Одно из преимуществ подхода, основанного на теории обещаний, заключается в том, что он не требует специальных структурных элементов (например, институциональных «позиций» Острома) для описания различных ролей в совместной сети - они могут также рассматриваться как обещание в теории обещаний; таким образом, существует экономия, которая помогает избежать взрывного роста концепций и, что, возможно, более важно, допускает математическую формализацию. Алгебра и исчисление обещаний позволяют просто рассуждать в математической структуре.

CFEngine

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

Эмерджентное поведение

В ИнформатикаТеория обещания описывает услуги, управляемые политикой, в рамках полностью автономных агентов, которые помогают друг другу только путем добровольного сотрудничества. Это основа для анализа реалистичных моделей современных сетей, а также формальная модель для рой интеллект.^[13]

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

Агентство как модель систем в пространстве и времени

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

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

Рекомендации