Multi_agent_systems

Definition

STITは「See To It That（～であることを確実にする）」の略です。これは主に哲学やコンピュータサイエンスで使用される様相論理の一分野であり、エージェント性と責任をモ …