STIT-logiikka
term_id: stit_logic
Category: engineering_practice
Definition
STIT tarkoittaa ‘See To It That’ (Varmista se, että). Se on modaali-logiikan haara, jota käytetään pääasiassa filosofiassa ja tietojenkäsittelytieteessä mallintamaan toimijuutta ja vastuuta. Se mahdollistaa muodollisen määrittelyn siitä, mitä agentti voi vaikuttaa.
Summary
STIT-logiikka on muodollinen kehys deontisessa ja ajallisessa logiikassa, jota käytetään toimijuuden, velvollisuuden ja tarkoituksellisen toiminnan analysointiin.
Key Concepts
- Toimijuus
- Ajallinen logiikka
- Deontinen logiikka
- Tarkoituksellinen toiminta
Use Cases
- Moniajentijärjestelmien varmentaminen
- Eettisen tekoälyn suunnittelu
- Formaalit menetelmät autonomialle