STIT 논리

term_id: stit_logic

Category: engineering_practice

Definition

STIT는 ‘See To It That’의 약자로, 주로 철학과 컴퓨터 과학에서 행위와 책임을 모델링하는 데 사용되는 모달 논리의 한 분야입니다. 이는 행위자가 무엇을 할 수 있는지, 혹은 해야 하는지를 형식적으로 명세할 수 있게 합니다.

Summary

행위, 의무 및 의도적 행동을 분석하기 위해 도덕 논리와 시간 논리에서 사용되는 형식적 프레임워크.

Key Concepts

행위(Agency)
시간 논리(Temporal Logic)
도덕 논리(Deontic Logic)
의도적 행동(Intentional Action)

Use Cases

다중 에이전트 시스템 검증
윤리적 AI 설계
자율성을 위한 형식적 방법