For most technical systems, the two dominant approaches for assessing safety are (1) formal analysis of the system's properties and (2) exhaustively investigating the system's safety within its domain [124, 125, 126, 41]. As with other complex technological systems, AI systems pose challenges due to their complexity and unpredictability [127]; their socio-technical entanglement; and challenges in methods and data access [128, 129].
대부분의 기술 시스템에서 안전성을 평가하는 두 가지 주요 접근 방식은 (1) 시스템 속성에 대한 형식적 분석과 (2) 시스템의 도메인 내에서 안전성을 철저히 조사하는 것입니다 [124, 125, 126, 41]. 다른 복잡한 기술 시스템과 마찬가지로, AI 시스템은 그 복잡성과 예측 불가능성 [127], 사회-기술적 얽힘, 그리고 방법론 및 데이터 접근의 어려움 [128, 129] 때문에 도전 과제를 제기합니다.
대부분의 기술 시스템에서 안전성을 평가하는 데 가장 많이 사용되는 두 가지 접근 방식은 (1) 시스템의 속성에 대한 공식적인 분석과 (2) 시스템의 영역 내에서 시스템의 안전성을 철저히 조사하는 것입니다[124, 125, 126, 41]. 다른 복잡한 기술 시스템과 마찬가지로 AI 시스템은 복잡성과 예측 불가능성[127], 사회 기술적 얽힘, 방법 및 데이터 접근의 어려움으로 인해 문제를 야기합니다[128, 129].