Logika STIT
Definition
STIT stojí za ‘See To It That’ (Dohlédni na to, aby…). Jedná se o …
Formal Methods
Terms tagged with Formal Methods
Epistemická modální logika
Definition
Epistemická modální logika rozšiřuje klasickou logiku o operátory, které označují, co …
Dynamická epistemická logika
Definition
Dynamická epistemická logika (DEL) rozšiřuje modální logiku o modelování vývoje znalostí, …
Concurrent MetateM
Definition
Concurrent MetateM je vysokoúrovňový specifiikační jazyk používaný primárně v robotice a …
Ověřování agenta
Definition
To zahrnuje používání matematických metod k zajištění, že činnosti agenta dodržují předem …