약속론

Promise theory
퓨처스나 약속과 혼동하지 말자.

'약속론'은 정보과학의 맥락에서, 약속의 형태로 서로의 의도를 공표하는 개인, 자율적 행위자 또는 대리인 간의 자발적 협력의 모델이다.이것은 라벨이 붙은 그래프 이론의 한 형태로, 일방적인 약속에 의해 결합된 에이전트들의 이산 네트워크를 묘사한다.

'약속'은 과거, 현재 또는 미래의 행위에 대한 주장에 대한 수령자의 확신을 증가시키는 것을 목적으로 하는 의도적인 선언이다.[1]확실성을 높이겠다는 약속은 받는 사람을 신뢰해야 하지만, 이전 약속이 지켜졌다는 검증(또는 '평가')에도 신뢰가 쌓일 수 있어 신뢰는 약속과 공생관계를 갖는다.각 대리인은 약속의 결과나 의도에 대한 믿음을 평가한다.그러므로 약속 이론은 자율적 작용의 상대성에 관한 것이다.

약속 이론의 목표 중 하나는 정보 시스템의 물리적(또는 역동적) 기술(즉, 의미론)을 의도한 의미와 통합하는 모델을 제공하는 것이다.이것은 정보 시스템의 자원의 구성 관리를 기술하는 데 사용되어 왔다.

역사

약속 이론은 정책 기반 관리를 위한 의무 기반 컴퓨터 관리 체계에 존재하는 문제를 해결하기 위해 컴퓨터 과학의 맥락에서 2004년 마크 버지스에 의해 제안되었다.[1]그러나 그것의 유용성은 컴퓨팅을 훨씬 능가하는 것으로 빠르게 나타났다.약속 이론(현재는 '마이크로 약속'이라고 불림)에서 사용되는 간단한 약속 모델은 경제 및 조직의 문제를 쉽게 다룰 수 있다.약속 이론은 이후 버지스에 의해 네덜란드의 컴퓨터 과학자 얀 버그스트라와 협력하여 개발되었고, 그 결과 '약속 이론: 원칙과 응용'이라는 책이 나왔다.[2]2013년에 출판되었다.

여러 제품이 이를 인용하는 등 IT업계에서 유망 이론에 대한 관심이 커졌다.[3][4][5][6][7][8]

자율성

약속보다는 의무는 행동을 지도하는 전통적인 방법이었다.[9]약속 이론의 의무 로직에서 출발하는 지점은 시스템의 모든 대리인은 통제의 자율성을 가져야 한다는 생각, 즉 그들이 강요되거나 특정한 행동에 강요될 수 없다는 생각이다.컴퓨터 과학의 의무 이론은 종종 의무를 제안된 결과를 초래하는 결정론적 명령으로 본다.약속 이론에서 대리인은 자신의 행동에 대해서만 약속을 할 수 있다.자치단체에게는 다른 사람의 행동에 대한 약속을 하는 것은 무의미하다.

이러한 가정은 도덕적으로 또는 윤리적으로 해석될 수 있지만, 약속 이론에서 이것은 단순히 실용적인 '공학' 원칙이며, 이는 전체 내에서 행위자나 대리인의 의도된 역할을 보다 완전하게 문서화하도록 이끈다.그 이유는 어떤 사람이 다른 사람의 행동에 대해 가정을 할 수 없을 때, 예측을 하기 위해 모든 약속을 더 완전하게 문서화하도록 강요되기 때문이다. 따라서 협력적 행동이 실패할 수 있는 가능한 고장 모드를 지적하는 보다 완전한 문서화가 이루어지게 된다.

의무 이론에 동기를 부여하는 것과 같은 명령과 통제 시스템은 대리인들이 자발적으로 다른 대리인의 지시를 따르기로 약속함으로써 쉽게 재현될 수 있다(이것은 또한 보다 현실적인 행동 모델로 간주된다).약속은 언제나 철회될 수 있기 때문에 자발적인 협력과 지휘 통제 사이에 모순은 없다.

철학과 법률에서 약속은 종종 의무로 이어지는 것으로 간주된다.약속 이론은 그 관점을 거부한다.버그스트라와 버지스는 약속의 개념이 의무의 개념과 상당히 독립적이며 실제로 더 단순하다는 것을 보여주었다.[9]

확실성을 높이기 위한 의무의 역할은 불분명하다. 의무는 어디에서나 발생할 수 있고 비 지역적 제약조건의 집계는 지역 대리인이 해결할 수 없기 때문이다. 즉, 의무는 실제로 불확실성을 증가시킬 수 있다.약속의 세계에서는 대리인에 대한 모든 제약이 스스로 부과되고 국지적이므로(외부 대리인에 의해 제안되더라도) 모든 모순은 국지적으로 해결할 수 있다.

멀티 에이전트 시스템 및 약속

멀티에이전트 시스템의 공약이론은 공약이론의 측면과 어느 정도 유사하지만 핵심적인 차이점이 있다.약속 이론에서 약속은 의도의 일부분이다.약속은 공표된 의도인 만큼 약속은 약속일 수도 있고 아닐 수도 있다.각 분야에서 의도된 감각에서의 약속과 약속의 상세한 비교는 곧 있을 것이며, 사소한 문제가 아니다.

경제학

약속은 약속자에게나 심지어 약속자에게도 가치가 있을 수 있다.그것들은 또한 비용으로도 이어질 수 있다.그러므로 약속에 대해 말할 경제적 이야기가 있다.약속의 경제학은 자연스럽게 '이기적인 대리인'의 행동과 약속 이론에 동기를 부여하고, 복수의 약속이 게임에서 전략의 역할을 하는 게임 이론적 의사결정의 동기로 볼 수 있다.[10]

조직에[11] 적용되는 약속 이론은 엘리너 오스트롬의 제도적 다양성 이론과 다소 유사하다.[12]같은 주제와 배려가 몇 가지 나타난다; 주요한 차이점은 오스트롬이 많은 작가들처럼 외부 규칙과 의무의 역할에 초점을 맞춘다는 것이다.약속 이론은 규칙의 준수는 자발적인 행위라는 반대 견해를 취하며, 따라서 그러한 자발적인 약속에 집중하는 것이 타당하다.약속도 없이 억지로 복종하려는 시도는 공격을 구성하는 것으로 간주된다.약속 이론 접근법의 한 가지 이점은 협력 네트워크에서 서로 다른 역할을 설명하기 위해 특별한 구조적 요소(예: 오스트롬의 제도적 "상황")를 요구하지 않는다는 것이다. 이러한 요소들은 약속 이론에서도 약속으로 간주될 수 있다. 따라서 개념의 폭발을 피하는 데 도움이 되는 유사성이 있으며, 아마도 더 중요한 것이다.수학적 공식화를 인정하다약속의 대수학과 미적분학은 수학적인 틀에서 간단한 추론을 허용한다.

CFEngine

약속론의 일반성에도 불구하고, 원래 버지스에 의해 컴퓨터 관리 소프트웨어인 CFEngine과 그 자율적인 행동을 모델링하는 방법으로 제안되었다.의무에 근거한 기존 이론은 적절하지 않았다.CFEngine은 정책의 분산된 불일치를 피하기 위한 방법으로서 그리고 외부 공격에 대한 보안 원칙으로서 자율성의 모델을 사용한다: 어떤 에이전트도 다른 에이전트의 정보나 지시를 받도록 강요할 수 없기 때문에 모든 협력이 자발적이다.소프트웨어의 많은 사용자들에게, 이 속성은 그들의 시스템을 안전하게 유지하고 지역 요건에 적응시키는데 중요한 역할을 해왔다.

돌발행동

컴퓨터 과학에서 Promise 이론은 정책 통제 서비스를 완전히 자율적인 에이전트의 틀에서 설명하고 있는데, 이것은 자발적인 협력만으로 서로를 돕는 것이다.현대 네트워킹의 현실적인 모델을 분석하기 위한 틀이며, 군집 지능을 위한 공식적인 모델이다.[13]

약속 이론은 정책 기반 관리, 그래프 이론, 논리, 그리고 오슬로 대학교에서 시행된 여러 연구 라인의 아이디어를 바탕으로 오슬로 대학교에서 개발된 많은 제약조건이 충족되어야 하는 네트워크의 복잡한 관계를 이해하기 위한 논리적이고 그래프 이론적 프레임워크로 볼 수 있다.구성 관리.상호 작용하는 자율적 에이전트의 그래프로 전통적인 관리 구조를 구축하는 구성주의적 접근방식을 사용한다.약속은 대리인으로부터 자신 또는 대리인으로부터 주장될 수 있으며 각각의 약속은 유망한 대리인의 행동에 대한 제약을 내포하고 있다.약속의 원자성은 그들이 모순과 모순을 찾아내는 도구가 되게 한다.

공간 및 시간의 시스템 모델로서의 기관

자율요원들이 한 약속은 상호 승인된 그래프 구조로 이어지고, 이는 결국 요원들이 포인트 같은 위치를 나타내는 공간 구조로 이어진다.이를 통해 의미론적으로 라벨이 부착되거나 데이터베이스, 지식 지도, 창고, 호텔 등과 같은 기능 공간의 모델을 다른 전통적인 공간 및 시간 설명과 통일할 수 있다.의미 공간시간의 모델은 이러한 공간 시간 개념을 논의하기 위해 약속 이론을 사용한다.

연계는 두 개의 자율적 에이전트의 상호 동의를 필요로 하기 때문에, 연결 공간의 개념은 구조를 구축하기 위해 더 많은 작업을 필요로 하기 때문에 약속은 그래프 보조성보다 수학적으로 더 원시적이다.이는 공간 개념으로 수학적으로 흥미롭게 하며 물리적 및 가상 정보 시스템을 모델링하는 유용한 방법을 제공한다.[14]

참조

  1. ^ a b M. 버지스, 자율성과 자발적 협력을 바탕으로 한 정책 이해 접근법
  2. ^ 약속 이론: 원칙과 적용
  3. ^ 2015년 오렐리, 약속으로 생각하기
  4. ^ 약속 이론: 당신은 정말 네트워크가 약속을 지킬 수 있다고 믿을 수 있는가?
  5. ^ ACI 정책 모델:ACI 정책의 몇 가지 기본 사항과 정책 시행 방법 소개
  6. ^ 약속 이론에 대해 알아야 하는 이유
  7. ^ OpFlexing Cisco 애플리케이션 중심 인프라
  8. ^ 방금 막 시작한 생물학처럼 코드를 작동시키기 위한 퀘스트 (유선 2016
  9. ^ a b [0810.3294] 정적인 약속 이론
  10. ^ "Archived copy" (PDF). project.iu.hio.no. Archived from the original (PDF) on 6 January 2007. Retrieved 14 January 2022.{{cite web}}: CS1 maint: 타이틀로 보관된 사본(링크)
  11. ^ "Laws of Human-Computer Behaviour and Collective Organization". {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말) [1]
  12. ^ Ostrom, Elinor (2005). Understanding Institutional Diversity. Princeton University Press. ISBN 978-0-691-12238-0.
  13. ^ M. Burgess, S. Fagernes(2006), Promise 이론 - 퍼베이시브 컴퓨팅 및 군집화를 위한 자율적 객체 모델, 오슬로 대학교, ISBN 0-7695-2622-5
  14. ^ M. 버지스, 스페이스타임즈(Semantics)