Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Notable derivatives of interval temporal logic are , and .
Attributes | Values |
---|
rdfs:label
| - Χρονική λογική διαστημάτων (el)
- Interval temporal logic (en)
|
rdfs:comment
| - Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών και πρωτοβάθμιων λογικών συλλογισμών σχετικών με περιόδους του χρόνου, που μπορεί να χειριστεί ακολουθιακή και παράλληλη σύνθεση. Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες. (el)
- Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Notable derivatives of interval temporal logic are , and . (en)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών και πρωτοβάθμιων λογικών συλλογισμών σχετικών με περιόδους του χρόνου, που μπορεί να χειριστεί ακολουθιακή και παράλληλη σύνθεση. Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες. Οι χρονικές λογικές διαστημάτων βρήκαν εφαρμογές στην επιστήμη των υπολογιστών, την τεχνητή νοημοσύνη και τη γλωσσολογία. Οι πρωτοβάθμιες χρονικές λογικές διαστημάτων αναπτύχθηκαν αρχικά τη δεκαετία του 1980 για την προδιαγραφή και την επαλήθευση πρωτοκόλλων υλοποιημένων σε υλικό. Η Χρονική λογική διαστημάτων (Interval Temporal Logic ή ITL) είναι μια ειδική μορφή χρονικής λογικής, που δημιουργήθηκε αρχικά από τον Μπεν Μοσκόβσκι για τη διατριβή του στο Πανεπιστήμιο του Στάνφορντ. Είναι χρήσιμη για την τυπική περιγραφή υλικού και λογισμικού για συστήματα βασισμένα σε υπολογιστές. Υπάρχουν εργαλεία που υποβοηθούν αυτήν τη διαδικασία. Το Tempura παρέχει ένα εκτελέσιμο πλαίσιο για ITL. Σημαντικό θέμα κατά το σχεδιασμό της ITL αποτέλεσε η δυνατότητα σύνθεσης (compositionality). Γνωστές παραλλαγές της χρονικής λογικής διαστημάτων είναι η γραφική λογική διαστημάτων (graphical interval logic), η λογική διαστημάτων με σημεία (signed interval logic) και η μελλοντική λογική διαστημάτων (future interval logic). (el)
- Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences. Interval temporal logics find application in computer science, artificial intelligence and linguistics. First-order interval temporal logic was initially developed in the 1980s for the specification and verification of hardware protocols. Interval temporal logic (ITL) is a specific form of temporal logic, originally developed by for his thesis at Stanford University. It is useful in the formal description of hardware and software for computer-based systems. Tools are available to aid in this process. Tempura provides an executable ITL framework. Compositionality is a significant issue and consideration in the design of ITL. Notable derivatives of interval temporal logic are , and . (en)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |