STIT-logik
Definition
STIT står for ‘See To It That’ (Sørge for at det sker). Det er en gren af …
Formal Methods
Terms tagged with Formal Methods
Epistemisk modallogik
Definition
Epistemisk modallogik udvider klassisk logik med operatorer, der angiver, hvad en agent …
Dynamisk epistemisk logik
Definition
Dynamisk epistemisk logik (DEL) udvider modallik til at modellere, hvordan viden udvikler …
Concurrent MetateM
Definition
Concurrent MetateM er et højtstående specificationsprog, der primært bruges inden for …
Agent-verifikation
Definition
Dette indebærer brugen af matematiske metoder til at sikre, at en agents handlinger …