Presná definícia
Čo znamená časové uvažovanie?
Časové uvažovanie reprezentuje a odvodzuje vzťahy medzi okamihmi, intervalmi, udalosťami a trvaním, napríklad pred, počas, prekrýva sa alebo platí do. Musí rozlíšiť čas udalosti, záznamu a platnosti faktu. Kalendár, časové pásmo a otvorené intervaly sú súčasťou sémantiky.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Systém určí, ktorá verzia smernice platila v deň rozhodnutia, podľa intervalov účinnosti, nie podľa dátumu nahrania. Všetky časy sa ukladajú s pásmom a neistota sa vyjadruje rozsahom. Testy zahŕňajú prechod letného času, súbežné udalosti a chýbajúci koniec.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje časové uvažovanie?
Temporálny kalkul skladá relácie intervalov alebo logické operátory nad stavmi a kontroluje konzistentnosť obmedzení.
Kedy má časové uvažovanie praktický význam?
Systém určí, ktorá verzia smernice platila v deň rozhodnutia, podľa intervalov účinnosti, nie podľa dátumu nahrania.
S čím si pojem nezamieňať?
Sekvenčný model zachytáva poradie tokenov; temporal reasoning pracuje s explicitným časovým významom a platnosťou.
Ako sa výsledok kontroluje?
Kontroluje sa konzistencia intervalov, hraničné inklúzie, časové pásma, odvodené poradie a historická reprodukcia.
Na čo si dať pozor?
Zámena času záznamu za čas udalosti zmení záver a nepresný dátum môže vytvoriť falošné poradie.