aikasuhteet

Aikasuhteet ovat ajassa esiintyvien tapahtumien tai aikavälejä kuvaavien ilmiöiden välisiä suhteita, jotka määrittävät niiden ajoituksen, keston ja samanaikaisuuden. Ne voivat koskea sekä pistettä (tapahtuman tarkka hetki) että aikaväliä (ajanjaksoa). Aikasuhteet ovat keskeisiä esimerkiksi tietojärjestelmissä, kielitieteessä ja tekoälyssä, joissa on tarvetta ilmaista ja ratkaista ajan perusteella järjestettyjä tapahtumia.

Yksi yleisimmistä kehyksistä aikasuhteiden kuvaamiseen on Allenin aikaväliasetelmä, joka mahdollistaa kahden aikavälin välisen suhteen luokittelemisen. Allenin mallissa on 13 perusrelaatiota: before, after, meets, met-by, overlaps, overlapped-by, during, contains, starts, started-by, finishes, finished-by sekä equal. Nämä relaatiot kattavat kaikki mahdolliset suhteet kahden aikavälin välillä, ja ne ovat keskenään vastavuoroisia. Relaatioita voidaan lisäksi tarkastella inversioiden kautta ja yhdistellä monimutkaisemmiksi aikajärjestelyiksi.

Käytännön sovellukset ulottuvat monille aloille. Aikasuhteita käytetään tiedonhakuun ja temporaalisiin kyselyihin, aikataulutukseen ja resurssinhallintaan, kielenkäsittelyyn, suunnitteluun sekä temporaalisiin tietokantoihin. Niiden avulla voidaan päätellä, miten tapahtumat seuraavat toisiaan tai miten ne limittäin esiintyvät.

Formaaleina välineinä aikasuhteita mallinnetaan logiikalla (kielen logiikka, temporaalinen logiikka) ja interval-algebralla, kuten Allenin aikaväliasetelmällä. Historiallisesti Allen esitteli mallin vuonna 1983, ja siitä on kehittynyt laajasti käytetty väline ajallisten suhteiden tutkimuksessa.

Lisäksi liittyviä käsitteitä ovat temporaalinen logiikka, event-calculus ja temporaaliset tietokannat, jotka laajentavat peruskonseptia merkityksillä ja sovelluksilla.