


문제 해결의 다루기 힘든 이해
난해성(nontractability)은 시스템이나 문제가 계약으로 공식화될 수 없음을 의미하며, 이는 컴퓨터 프로그램에 의해 시행될 수 있는 일련의 규칙과 의무로 표현될 수 없음을 의미합니다. 명제 논리, 술어 논리 또는 모델 검사와 같은 형식 논리 및 자동화된 추론의 전통적인 방법을 사용하여 해결하거나 모델링할 수 없는 경우 다루기 어려운 것으로 간주됩니다. 문제가 다루기 어려울 수 있는 데에는 몇 가지 이유가 있습니다. 복잡성: 문제는 현재의 계산 방법으로 해결하기에는 너무 복잡하거나, 실현 가능하게 모델링하기에는 너무 많은 변수와 제약 조건을 포함할 수 있습니다. 불확실성: 문제에는 불완전한 정보나 모호함과 같은 불확실성이 포함될 수 있으며, 이로 인해 공식화하고 추론하기가 어렵습니다.
3. 역동성: 문제는 동적일 수 있습니다. 즉, 시간이 지남에 따라 변하므로 모델링하고 추론하기가 어렵습니다.
4. 상호 작용: 문제에는 게임이나 협상과 같은 인간 상호 작용이 포함될 수 있으므로 결과를 예측하고 참가자의 행동을 모델링하기가 어렵습니다.
5. 창발: 문제는 창발적 속성을 나타낼 수 있습니다. 즉, 전체가 부분의 합 이상이며 쉽게 예측하거나 모델링할 수 없다는 의미입니다. 다루기 힘든 문제의 예는 다음과 같습니다. 체스나 바둑과 같이 가능한 이동 수와 결과의 수가 너무 많아 계산할 수 없는 게임을 하는 경우.
2. 구성 요소 간의 상호 작용이 너무 복잡하여 정확하게 모델링할 수 없는 소셜 네트워크나 경제와 같은 복잡한 시스템의 동작을 모델링합니다.
3. 참가자의 목표와 선호도가 투명하지 않고 시간이 지남에 따라 변할 수 있는 협상이나 토론에서 인간의 의도와 신념에 대해 추론합니다.
4. 변수와 불확실성이 너무 많아 정확하게 모델링할 수 없는 정치 선거나 스포츠 경기의 결과를 예측합니다.
5. 신제품 설계 또는 문제에 대한 새로운 솔루션 설계와 같이 창의성이 필요한 문제를 해결하는 경우, 가능한 솔루션의 공간이 너무 커서 철저하게 탐색할 수 없습니다.



