Rachunek zdarzeń otwiera nas na możliwość mówienia o punktach czasowych i przedziałach czasowych. Rozważymy dwa rodzaje interwałów czasowych: momenty i interwały rozszerzone. Różnica polega na tym, że tylko chwile mają zerowy czas trwania:
Rachunek zdarzeń otwiera nas na możliwość mówienia o punktach czasowych i przedziałach czasowych. Rozważymy dwa rodzaje interwałów czasowych: momenty i interwały rozszerzone. Różnica polega na tym, że tylko chwile mają zerowy czas trwania:
Aby ułatwić odczytanie tych liczb, wprowadziliśmy również funkcję Date, która pobiera sześć argumentów (godziny, minuty, sekundy, dzień, miesiąc i rok) i zwraca punkt czasowy:
Dwa przedziały Spełnij, jeśli czas zakończenia pierwszego jest równy czasowi rozpoczęcia drugiego. Pełny zestaw relacji interwałowych pokazano poniżej
Wszystkie one mają swoje intuicyjne znaczenie, z wyjątkiem Overlap: zwykle myślimy o nakładaniu się na siebie jako symetrycznym (jeśli i nakłada się na j, to j nakłada się na i ), ale w tej definicji Overlap(i,j) jest prawdziwe tylko wtedy, gdy i zaczyna się przed J . Doświadczenie pokazało, że ta definicja jest bardziej użyteczna do pisania aksjomatów. Aby powiedzieć, że panowanie Elżbiety II nastąpiło bezpośrednio po rządach Jerzego VI, a panowanie Elvisa nałożyło się na lata pięćdziesiąte, możemy napisać co następuje:
