STIT-logik
Definition
STIT står för ‘See To It That’ (Se till att). Det är en gren av modallogiken …
Formal Methods
Terms tagged with Formal Methods
Epistemisk modallogik
Definition
Epistemisk modallogik utvidgar klassisk logik med operatorer som anger vad en agent vet …
Dynamisk epistemisk logik
Definition
Dynamisk epistemisk logik (DEL) utökar modallogiken för att modellera hur kunskap …
Concurrent MetateM
Definition
Concurrent MetateM är ett högnivåspecifikationsspråk som främst används inom robotik och …
Agentverifiering
Definition
Detta innebär att använda matematiska metoder för att säkerställa att en agents …