STIT 논리
Definition
STIT는 ‘See To It That’의 약자로, 주로 철학과 컴퓨터 과학에서 행위와 책임을 모델링하는 데 사용되는 모달 논리의 한 분야 …
Formal Methods
Terms tagged with Formal Methods
인식론적 모달 논리
Definition
인식론적 모달 논리는 에이전트가 무엇을 알고 믿는지를 나타내는 연산자를 추가하여 고전 논리를 확장합니다. …
동적 인식론 논리(Dynamic Epistemic Logic)
Definition
동적 인식론 논리(DEL)는 모달 논리를 확장하여 행위자들이 새로운 정보를 받을 때 지식이 어떻게 진화하는지를 모델링합니다. 이는 공개 통신이나 비공개 메시지 …
동시 메타템 (Concurrent MetateM)
Definition
동시 메타템은 주로 로봇 공학 및 자율 시스템에서 사용되는 고급 사양 언어입니다. …
에이전트 검증
Definition
이 과정에는 안전 한계나 윤리 가이드라인과 같은 사전 정의된 제약 사항을 준수하도록 에이전트의 행동을 보장하기 위해 수학적 방법을 사용하는 것이 포함됩니다. 이 …