약속 이론의 정적 고찰: 인간·기계 모두를 위한 새로운 불확실성 감소 메커니즘

본 논문은 약속이라는 일상적 개념을 정형화하여 인간과 기술 시스템 모두에 적용 가능한 ‘정적 약속 이론(static theory of promises)’을 제시한다. 서론에서는 약속이 학문적 논의에서는 상대적으로 소외되어 왔으며, 주로 철학·법·경제 분야에서만 다뤄졌음을 지적한다. 저자들은 약속이 의무보다 개념적으로 단순하고, 실제 적용에 있어 더 효율적이라고 주장한다. 2장에서는 약속의 동기와 적용 범위를 구체적으로 설명한다. 일상 생활에서 “개가 산책을 할게”와 같은 간단한 약속부터, ISP가 일정 속도의 인터넷을 제공한다는 서비스 약속, 보안 담당자가 시스템을 보안 요구사항에 맞춘다는 약속 등 다양한 사례를 제시한다. 특히 2.1절에서는 기술 요소 자체를 ‘프라미서’로 보는 관점을 도입한다. 논리 게이트가 TRUE를 FALSE로 변환한다는 약속, 라우터가 특정 IP만 허용한다는 약속 등은 물리적·소프트웨어 컴포넌트가 스스로 약속을 가진다고 보는 새로운 시각이다. 2.2절에서는 프라미서 유형을 네 가지로 분류한다. (1) 지능이 없는 객체, (2) 비인간 애니메이트 에이전트, (3) 인공지능 에이전트, (4) 인간 에이전트이다. 비지능형 객체에 대해서는 ‘대리 프라미서’를 통해 약속을 선언한다는 가정을 두어, 모든 시스템을 약속 네트워크에 포함시킬 수 있음을 보인다. 2.3절은 약속이 불확실성을 감소시키는 메커니즘을 논한다. 약속은 기대를 형성하고, 그 기대가 깨지면 평판이 손상되어 향후 약속 수용이 감소한다. 반대로 약속이 초과 달성될 경우 평판이 상승해 신뢰가 강화된다. 이는 확률적 예측보다 더 직접적인 피드백 루프를 제공한다는 점에서 실용적이다. 2.4절에서는 약속의 논리적 지위를 ‘신뢰·평판에 기반한 행동’으로 정의한다. 약속은 1차 효과(프라미시와 관찰자의 행동 변화)와 2차 효과(프라미서의 평판 변화)로 구성된다. 이와 대비해 수학적 정리, 과학적 주장, 법적 청구 등은 각각 논리·과학·법적 백업에 의해 평가되며, 약속과는 구분된다. 2.5절은 약속과 예측(prediction)의 경계를 논한다. 예측은 행위자의 의무를 만들지 않으며, 실패 시 평판 손상만 발생한다. 그러나 약속 이론에서는 예측을 약속의 하위 개념으로 포함시켜, ‘예측도 약속의 일종’으로 보는 확장성을 제시한다. 3장에서는 약속의 정의와 기존 문헌을 검토한다. 3.1절은 암시적(implicit)과 명시적(explicit) 약속을 구분한다. 일상 언어에서 “태양 에너지의 약속”처럼 암시적 사용이 많지만, 이 논문은 명시적 약속에 초점을 맞춘다. 3.2절은 Atiyah 등 기존 학자들의 견해를 요약한다. Atiyah는 약속이 의무를 생성하거나 기존 의무를 확인하는 역할을 한다고 보았으며, 문화적·역사적 차이에 따라 약속의 의미가 변한다는 점을 강조한다. 3.3절은 분산 컴퓨팅에서의 약속 활용을 논한다. 여기서는 각 노드가 자신이 제공할 서비스에 대해 약속을 선언하고, 다른 노드가 이를 기반으로 협업한다는 모델을 제시한다. 3.4절은 제품·프로세스 모호성에 대한 논의를 통해, 약속이 명확히 정의되지 않은 경우 오해와 신뢰 손상이 발생할 수 있음을 경고한다. 4장에서는 약속의 구조적 모델을 제시한다. 4.1절은 약속을 ‘문서화된 겉보이는 의도(apparent intention)’로 정의하고, 4.2절은 ‘의도(intent)’와 4.3절은 ‘약속(commitment)’을 구분한다. 4.4절은 의도를 표현하는 방법(언어, 프로토콜, 계약서 등)을 다루며, 4.5절은 약속 자체의 형식적 정의를 제공한다. 4.6절은 ‘속임수(deception)’를 비의도적 약속으로 분류하고, 4.7절은 긍정적 약속(positive promise)의 특성을, 4.8절은 기술 사양(specification)으로서의 약속을 논한다. 4.9절은 구체적인 기술 예시를 통해 모델을 정제하고, 4.10절은 철학·법·인류학에서의 약속 연구를 개관한다. 5장에서는 약속의 가치(value), 강도(strength), 평가(assessment) 및 논리적 추론 과정을 제시한다. 약속 가치는 기대 이행에 따른 효용을, 강도는 약속이 얼마나 엄격히 이행될지를 나타낸다. 5.4절은 약속 기반 추론 프로세스를, 5.5절은 비공식 논리(informal logic)와의 연계를 설명한다. 6장에서는 약속과 의무를 직접 비교한다. 6.1절은 의무 강도와 약속 강도의 차이를 분석하고, 6.2절은 상황에 따라 약속이 의무보다 더 두드러지는 경우를 제시한다. 6.3절은 의무 우선론에 대한 찬반 논쟁을 전개한다. 특히 6.3.3절에서는 “약속이 의무보다 먼저 존재한다(프라미서가 지역적이며, 의무는 전역적)”라는 주장을 통해, 약속이 시스템 설계 초기 단계에서 더 유연하고 실용적인 도구임을 강조한다. 7장은 결론으로, 약속이 인간·기계 상호작용에서 불확실성을 감소시키는 핵심 메커니즘이며, 의무보다 정의가 간단하고 적용 범위가 넓다는 점을 재확인한다. 또한 약속 이론을 비공식 논리의 한 갈래로 자리매김하고, 향후 연구 과제로는 약속의 정량적 모델링, 평판 메커니즘의 수학적 정의, 그리고 다양한 도메인(법, 경제, 분산 시스템)에서의 적용 사례 확대를 제시한다.