STIT-logiikka
Definition
STIT tarkoittaa ‘See To It That’ (Varmista se, että). Se on modaali-logiikan …
Logic
Terms tagged with Logic
Päättelymalli
Definition
Eroavaisuutena standardien generatiivisten mallien keskittyessä sujuvuuteen, …
Ongelmanratkaisu
Definition
Tekoälyssä ongelmanratkaisu viittaa systemaattiseen lähestymistapaan, jossa siirrytään …
Tietopohjainen suositusjärjestelmä
Definition
Toisin kuin yhteistyösuodatus, joka perustuu menneeseen käyttäjäkäyttäytymiseen, …
Tiedon kääntäminen
Definition
Tiedon kääntäminen viittaa tekoälytekniikoihin, jotka muuntavat tietokannan tai loogisen …
Induktiivinen todennäköisyys
Definition
Induktiivinen todennäköisyys kvantifioi sen, kuinka todennäköistä hypoteesin on totta …
Gabbayn erotteluteoreema
Definition
Gabbayn erotteluteoreema on matemaattisen logiikan peruskäsite, erityisesti aikalogiikan …
GOLOG
Definition
GOLOG on logiikkaan perustuva ohjelmointikieli, jota käytetään ensisijaisesti tekoälyssä …
Episteeminen modaalilogiikka
Definition
Episteeminen modaalilogiikka laajentaa klassista logiikkaa operaattoreilla, jotka …
Dynaaminen episteminen logiikka
Definition
Dynaaminen episteminen logiikka (DEL) laajentaa modaalilogiikkaa mallintamaan, miten …
Attribuutio-kalkyyli
Definition
Attribuutio-kalkyyli on modaalilogiikan haara, joka keskittyy päättelyyn epistemisistä …
Argumentointikehys
Definition
Argumentointikehykset tarjoavat matemaattisen pohjan argumenttien, hyökkäysten ja …
Agentti-logiikka
Definition
Se laajentaa perinteistä logiikkaa huomioiden agenssin, mahdollistaen järjestelmien …
Päättely
Definition
Tekoälyssä päättely tarkoittaa algoritmeja, jotka simuloivat loogista deduktiota, …
Suunnittelu
Definition
Tekoälyn suunnittelu tarkoittaa toimintosekvenssin määrittämistä, joka vie alkutilasta …
monivaiheinen
Definition
Monivaiheiset menetelmät sisältävät monimutkaisen kysymyksen tai tehtävän pilkkomisen …
ensimmäisen kertaluvun
Definition
Tekoälyssä ja matematiikassa ’ensimmäisen kertaluvun’ kuvaa yleensä …
Ei kuten
Definition
Tietokantahakuissa ja logiikassa ‘Ei kuten’ viittaa yleensä operaattoriin NOT …
Annettu
Definition
Teekoälyn ja tietojenkäsittelyn yhteydessä ‘annettu’ viittaa alkutilaan, …
Päätöksenteko
Definition
Tekoälyn päätöksenteossa valitaan optimaalinen toiminto joukosta mahdollisuuksia datan, …