Логика STIT
Definition
STIT расшифровывается как ‘See To It That’ (Делать так, чтобы). Это раздел …
Formal Methods
Terms tagged with Formal Methods
Эпистемическая модальная логика
Definition
Эпистемическая модальная логика расширяет классическую логику операторами, обозначающими …
Динамическая эпистемическая логика
Definition
Динамическая эпистемическая логика (DEL) расширяет модальную логику для моделирования …
Concurrent MetateM
Definition
Concurrent MetateM — это язык высокого уровня спецификации, используемый преимущественно …
Верификация агента
Definition
Это включает использование математических методов для обеспечения того, чтобы действия …