Lógica STIT
Definition
STIT significa ‘See To It That’ (Veja para que seja feito). É um ramo da …
Formal Methods
Terms tagged with Formal Methods
Lógica modal epistêmica
Definition
A lógica modal epistêmica estende a lógica clássica com operadores que denotam o que um …
Lógica Epistêmica Dinâmica
Definition
A Lógica Epistêmica Dinâmica (LED) estende a lógica modal para modelar como o …
Concurrent MetateM
Definition
O Concurrent MetateM é uma linguagem de especificação de alto nível usada principalmente …
Verificação de Agentes
Definition
Isso envolve o uso de métodos matemáticos para garantir que as ações de um agente estejam …