Multi-Agent Systems

STIT 논리

Definition

STIT는 ‘See To It That’의 약자로, 주로 철학과 컴퓨터 과학에서 행위와 책임을 모델링하는 데 사용되는 모달 논리의 한 분야 …