This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-elhttp://el.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Interval_temporal_logic
rdfs:label
Χρονική λογική διαστημάτων Interval temporal logic
rdfs:comment
Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών και πρωτοβάθμιων λογικών συλλογισμών σχετικών με περιόδους του χρόνου, που μπορεί να χειριστεί ακολουθιακή και παράλληλη σύνθεση. Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες. 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 .
dct:subject
dbc:Temporal_logic
dbo:wikiPageID
1380764
dbo:wikiPageRevisionID
1025929506
dbo:wikiPageWikiLink
dbr:Temporal_logic_of_actions dbr:Graphical_interval_logic dbr:Formal_methods dbr:Executable_program dbr:Temporal_logic dbr:Artificial_intelligence dbr:Future_interval_logic dbr:Propositional_logic dbr:Ben_Moszkowski dbr:Computer_science dbr:Software dbr:Specification dbr:Compositionality dbr:Verification_and_validation dbr:Duration_calculus dbr:Logic dbr:First-order_logic dbr:Linguistics dbc:Temporal_logic dbr:Protocol_(computing) dbr:Stanford_University dbr:Computer_hardware dbr:Signed_interval_logic
owl:sameAs
wikidata:Q6057295 dbpedia-el:Χρονική_λογική_διαστημάτων freebase:m.04y2v8 n14:4nixU
dbp:wikiPageUsesTemplate
dbt:No_footnotes dbt:Logic-stub dbt:Formalmethods-stub dbt:Reflist
dbo:abstract
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 . Η Χρονική λογική διαστημάτων (Interval temporal logic) ή λογική διαστημάτων (interval logic) είναι μια χρονική λογική για την αναπαράσταση προτασιακών και πρωτοβάθμιων λογικών συλλογισμών σχετικών με περιόδους του χρόνου, που μπορεί να χειριστεί ακολουθιακή και παράλληλη σύνθεση. Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες. Οι χρονικές λογικές διαστημάτων βρήκαν εφαρμογές στην επιστήμη των υπολογιστών, την τεχνητή νοημοσύνη και τη γλωσσολογία. Οι πρωτοβάθμιες χρονικές λογικές διαστημάτων αναπτύχθηκαν αρχικά τη δεκαετία του 1980 για την προδιαγραφή και την επαλήθευση πρωτοκόλλων υλοποιημένων σε υλικό. Η Χρονική λογική διαστημάτων (Interval Temporal Logic ή ITL) είναι μια ειδική μορφή χρονικής λογικής, που δημιουργήθηκε αρχικά από τον Μπεν Μοσκόβσκι για τη διατριβή του στο Πανεπιστήμιο του Στάνφορντ. Είναι χρήσιμη για την τυπική περιγραφή υλικού και λογισμικού για συστήματα βασισμένα σε υπολογιστές. Υπάρχουν εργαλεία που υποβοηθούν αυτήν τη διαδικασία. Το Tempura παρέχει ένα εκτελέσιμο πλαίσιο για ITL. Σημαντικό θέμα κατά το σχεδιασμό της ITL αποτέλεσε η δυνατότητα σύνθεσης (compositionality). Γνωστές παραλλαγές της χρονικής λογικής διαστημάτων είναι η γραφική λογική διαστημάτων (graphical interval logic), η λογική διαστημάτων με σημεία (signed interval logic) και η μελλοντική λογική διαστημάτων (future interval logic).
gold:hypernym
dbr:Logic
prov:wasDerivedFrom
wikipedia-en:Interval_temporal_logic?oldid=1025929506&ns=0
dbo:wikiPageLength
1699
foaf:isPrimaryTopicOf
wikipedia-en:Interval_temporal_logic