Sisällysluettelo:
Määritelmä - mitä ajallinen logiikka tarkoittaa?
Ajallinen logiikka on symbolisen logiikan haara, joka koskee ongelmia ehdotuksissa, joiden totuusarvot ovat ajasta riippuvaisia. Ajallista logiikkaa pidetään modaalilogiikan varianttina, joka on logiikan haara, joka käsittelee ehdotuksia, jotka voidaan ilmaista joukkona mahdollisia maailmoja. Ajallista logiikkaa käytetään koskemaan kaikkia ajatteluun ja ajatukseen perustuvia lähestymistapoja.
Aikaisen logiikan sovellukset sisältävät käytön ajallisesti perustuvissa filosofisissa kysymyksissä päättelyssä, keinotekoisena kielenä ajallisen tiedon koodaamisessa ja välineenä tietokonesovellusten ja järjestelmien laitteisto- ja ohjelmistovaatimusten muodolliselle analysoinnille, määrittelylle ja todentamiselle.
Techopedia selittää ajallisen logiikan
Yksi ajallisten ehdotusten houkuttelevista piirteistä on, että siinä on enimmäkseen joko implisiittisiä tai eksplisiittisiä viittauksia aikaoloihin. Tämä on vastoin klassista logiikkaa, joka keskittyy ajattomiin ehdotuksiin. Ajallinen logiikka on yksi parhaimmista ja sopivimmista keinoista päätellä ajallisesti liittyviä ehdotuksia ajallisen kvantifioijan ansiosta. Vaikka klassinen logiikka voi käsitellä ajallisia ominaisuuksia, kaavoilla on taipumus olla monimutkaisia, koska ajankohdat on esitettävä.
Ajallisen logiikan käsitteen esitteli ensimmäisen kerran Arthur Prior vuonna 1960 "jännitetyn logiikan" alla, jota muut tietokonetieteilijät ja logiikot laajensivat edelleen. Ajallinen logiikka ei ole keskittynyt kaavojen totuuteen tai virheellisyyteen, vaan keskittyy kaavoihin, jotka pysyvät totta ajan kuluessa, vaikka arvostusta muutetaan.
Ajallisessa logiikassa on kahden tyyppisiä operaattoreita: modaalioperaattorit ja loogiset operaattorit. Mallioperaattoreita käytetään suurelta osin laskentapuulogiikassa ja lineaarisessa ajallisessa logiikassa, kun taas loogiset operaattorit ovat enimmäkseen totuusfunktionaalisia operaattoreita. Signaalien ajallinen logiikka, intervalliaikainen logiikka, metrinen intervalliaikainen logiikka, lineaarinen ajallinen logiikka, laskennallinen puulogiikka ja muut muodostavat osan ajallisesta logiikasta.
