STIT-logikk
Definition
STIT står for ‘See To It That’ (Se til at det skjer). Det er en gren av …
Formal Methods
Terms tagged with Formal Methods
Epistemisk modalllogikk
Definition
Epistemisk modalllogikk utvider klassisk logikk med operatorer som angir hva en agent vet …
Dynamisk epistemisk logikk
Definition
Dynamisk epistemisk logikk (DEL) utvider modalllogikk for å modellere hvordan kunnskap …
Concurrent MetateM
Definition
Concurrent MetateM er et høynivå spesifikasjonsspråk som primært brukes innen robotikk og …
Agentverifisering
Definition
Dette involverer bruk av matematiske metoder for å sikre at en agents handlinger …