Χρονική λογική διαστημάτων
Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών και πρωτοβάθμιων λογικών συλλογισμών σχετικών με περιόδους του χρόνου, που μπορεί να χειριστεί ακολουθιακή και παράλληλη σύνθεση. Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες.

Οι χρονικές λογικές διαστημάτων βρήκαν εφαρμογές στην επιστήμη των υπολογιστών, την τεχνητή νοημοσύνη και τη γλωσσολογία. Οι πρωτοβάθμιες χρονικές λογικές διαστημάτων αναπτύχθηκαν αρχικά τη δεκαετία του 1980 για την προδιαγραφή και την επαλήθευση πρωτοκόλλων υλοποιημένων σε υλικό. Η Χρονική λογική διαστημάτων (Interval Temporal Logic ή ITL) είναι μια ειδική μορφή "χρονικής λογικής", που δημιουργήθηκε αρχικά από τον Μπεν Μοσκόβσκι για τη διατριβή του στο Πανεπιστήμιο του Στάνφορντ. Είναι χρήσιμη για την τυπική περιγραφή υλικού και λογισμικού για συστήματα βασισμένα σε υπολογιστές. Υπάρχουν εργαλεία που υποβοηθούν αυτήν τη διαδικασία. Το "Tempura" παρέχει ένα εκτελέσιμο πλαίσιο για ITL. Σημαντικό θέμα κατά το σχεδιασμό της ITL αποτέλεσε η δυνατότητα σύνθεσης (compositionality).

Γνωστές παραλλαγές της χρονικής λογικής διαστημάτων είναι η γραφική λογική διαστημάτων (graphical interval logic), η λογική διαστημάτων με σημεία (signed interval logic) και η μελλοντική λογική διαστημάτων (future interval logic).
Q781833
χρονική λογική
Concept
Q200694
προτασιακών
Concept
Q4055684
πρωτοβάθμιων
Concept
Q21198
επιστήμη των υπολογιστών
Concept
Q11660
τεχνητή νοημοσύνη
Concept
Q8162
γλωσσολογία
Concept
Q173326
επαλήθευση
Concept
Q41506
Πανεπιστήμιο του Στάνφορντ
ORG
Q6057295
Χρονική λογική διαστημάτων
UNK
Q6057295
Χρονική λογική διαστημάτων
UNK
part of