Logika STIT
Definition
STIT to skrót od ‘See To It That’ (Upewnij się, że…). Jest to gałąź …
Formal Methods
Terms tagged with Formal Methods
Epistemiczna logika modalna
Definition
Epistemiczna logika modalna rozszerza klasyczną logikę o operatory oznaczające, co wie …
Dynamyczna logika epistemiczna
Definition
Dynamiczna logika epistemiczna (DEL) rozszerza logikę modalną o modelowanie ewolucji …
Concurrent MetateM
Definition
Concurrent MetateM to język specyfikacji wysokiego poziomu używany głównie w robotyce i …
Weryfikacja agenta
Definition
Obejmuje ono stosowanie metod matematycznych w celu zapewnienia, że działania agenta są …