Temporal logic
http://dbpedia.org/resource/Temporal_logic an entity of type: Ability105616246
Temporální logika je široké spektrum formálních systémů, jejichž společným cílem je formalizovat a analyzovat věty obsahující časové (temporální) komponenty jako někdy, vždy či dokud. Kromě původních, spíše lingvistických a filosofických motivací nachází temporální logika od poslední třetiny dvacátého století uplatnění i v informatice a umělé inteligenci.
rdf:langString
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.
rdf:langString
논리학에서 시간 논리(時間論里, temporal logic)는 시간의 개념을 나타낼 수 있는 논리 체계를 이르는 말이다. 특히 시제 논리(時制論里, tense logic)라 하면 양상 논리를 기반으로 한 시간 논리를 가리키는 말로, 선형 시제 논리와 계산 트리 논리 등이 알려져 있으며 컴퓨터 과학 분야에서 중요하게 응용되고 있다.
rdf:langString
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。
rdf:langString
Темпоральная логика (временна́я логика; англ. temporal logic) — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. В древности применение логики во временно́м аспекте изучали философы мегарской школы, в частности Диодор Крон, и стоики. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы на основе модальной логики, наибольшее распространение и развитие получила в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли.
rdf:langString
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo. Em lógica temporal, pode-se então expressar sentenças como "Eu estou sempre com fome", "Eu eventualmente estarei com fome" ou "Eu estarei com fome até eu comer algo". Lógica temporal é algumas vezes também usada para se referir a um sistema particular de lógica temporal baseada em lógica modal, introduzida por Arthur Prior no final da década de 1950; e com importantes resultados obtidos por Hans Kamp. Subsequentemente, tem sido desenvolvida por cientistas da computação, como Amir Pnueli; e lógicos.
rdf:langString
在逻辑中,术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑,这是 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 (阿米尔·伯努利) 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究,并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过,他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑,只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述:"我饿了"。尽管它的意思随时间恒定,但这个陈述的真值随时间可变。有时这个陈述为真,有时这个陈述为假,但是这个陈述不能同时为真并且为假。在时间逻辑中,陈述可以有随时间变化的真值。与之相对的是非时间逻辑,它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是:总是、有时、和永不。 (CTL)、线性时序逻辑(LTL)和(ITL)是时间逻辑的例子。
rdf:langString
La lògica temporal és un tipus de lògica modal usada per a descriure un sistema de regles i simbolismes per a la representació i el raonament sobre proposicions en les quals té presència el factor temps. Hi ha una certa relació amb altres varietats de lògica, per exemple, la lògica modal. El seu estudi té una certa importància dins l'estudi de la informàtica, en particular els desenvolupaments introduïts per Amir Pnueli.
rdf:langString
Στη λογική, ο όρος χρονική λογική (Αγγλικά: temporal logic) χρησιμοποιείται για να περιγράψει κάθε σύστημα κανόνων και συμβολισμού για την αναπαράσταση και συλλογιστική προτάσεων που χρησιμοποιούν το χρόνο. Κάποιες φορές χρησιμοποιείται σαν αναφορά στην tense logic, ένα σύστημα βασισμένο στην που δημιουργήθηκε από τον Άρθουρ Πράιορ κατά τη δεκαετία του 1960. Η ανάπτυξη της χρονικής λογικής συνεχίστηκε από τους επιστήμονες της επιστήμης των υπολογιστών, ειδικά από τον Αμιρ Πνουέλι και τους επιστήμονες της λογικής.
rdf:langString
La tempa logiko estas etendo de la modala logiko, kiu estas praktike uzata en sistemoj de reguloj, kie gravas la nocio de tempo. Ekzistas ia rilato kun aliaj variaĵoj de logiko, por ekzemplo, la modala logiko. Ties studo havas gravon en la informadiko ĝis aktuale. La tempa logiko estis jam studita de Aristotelo; en kelkaj de liaj verkoj estas esprimoj kiuj montras ian analogion kun la tempa logiko de unua ordo; tiel aperas esprimoj kun ekzistokvantigiloj kaj universalaj kvantigiloj.
rdf:langString
La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene importancia en la informática hasta nuestros días.
rdf:langString
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians.
rdf:langString
La logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit.
rdf:langString
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce. Czas można wprowadzić do zwykłego rachunku predykatów pierwszego rzędu.Np. aby powiedzieć, że zawsze, kiedy jedzie pociąg, szlaban musi być opuszczony (żeby uniknąć wypadku), oraz że dla każdej chwili szlaban kiedyś się podniesie (aby samochody mogły w końcu przejechać), możemy napisać: Dowodzenie twierdzeń w tak ogólnej notacji może być jednak trudne.
rdf:langString
Tijdslogica's of temporele logica's kunnen worden gezien als uitbreiding van de propositielogica, de predicatenlogica, de modale logica of de . Hierbij is er extra formele apparatuur om uit te drukken of iets in het verleden, het heden, de toekomst het geval is, mogelijk het geval is, of het in een mogelijke toekomst het geval is, enzovoorts. Met andere woorden kan temporele informatie met het formele systeem verwerkt worden. Voorbeelden van tijdslogica's zijn die van en die van Hans Reichenbach.
rdf:langString
Темпоральна логіка (англ. temporal logic) в сучасній некласичній логіці — логіка, яка враховує причинно-наслідкові зв'язки в умовах часу. Використовується для опису послідовностей явищ та їх взаємозв'язку з часовою шкалою. Вона була розроблена в 1960-х на основі модальної логіки і отримала подальший розвиток у інформатиці завдяки праці лауреата Премії Тюрінга Аміра Пнуелі. В античності теорії темпоральних логік вивчали філософи мегарської школи, зокрема, Діодор Крон та стоїки. Є два підходи темпоральної логіки, засновані на принципах здорового глузду і діалектики:
rdf:langString
rdf:langString
Temporal logic
rdf:langString
Lògica temporal
rdf:langString
Temporální logika
rdf:langString
Temporale Logik
rdf:langString
Χρονική λογική
rdf:langString
Tempa logiko
rdf:langString
Lógica temporal
rdf:langString
Logique temporelle
rdf:langString
시간 논리
rdf:langString
時相論理
rdf:langString
Tijdslogica
rdf:langString
Logika temporalna
rdf:langString
Lógica temporal
rdf:langString
Темпоральная логика
rdf:langString
时间逻辑
rdf:langString
Темпоральна логіка
xsd:integer
321481
xsd:integer
1118319538
rdf:langString
La lògica temporal és un tipus de lògica modal usada per a descriure un sistema de regles i simbolismes per a la representació i el raonament sobre proposicions en les quals té presència el factor temps. Hi ha una certa relació amb altres varietats de lògica, per exemple, la lògica modal. El seu estudi té una certa importància dins l'estudi de la informàtica, en particular els desenvolupaments introduïts per Amir Pnueli. Per exemple, prenguem la sentència: "Tinc gana"; encara que el seu significat és independent del temps, el seu valor de veritat o falsedat pot variar amb el temps en un determinat sistema que inclogui accions de menjar; així, en funció del sistema, algunes vegades serà certa i d'altres falsa, encara que mai serà certa i falsa simultàniament.
rdf:langString
Temporální logika je široké spektrum formálních systémů, jejichž společným cílem je formalizovat a analyzovat věty obsahující časové (temporální) komponenty jako někdy, vždy či dokud. Kromě původních, spíše lingvistických a filosofických motivací nachází temporální logika od poslední třetiny dvacátého století uplatnění i v informatice a umělé inteligenci.
rdf:langString
Στη λογική, ο όρος χρονική λογική (Αγγλικά: temporal logic) χρησιμοποιείται για να περιγράψει κάθε σύστημα κανόνων και συμβολισμού για την αναπαράσταση και συλλογιστική προτάσεων που χρησιμοποιούν το χρόνο. Κάποιες φορές χρησιμοποιείται σαν αναφορά στην tense logic, ένα σύστημα βασισμένο στην που δημιουργήθηκε από τον Άρθουρ Πράιορ κατά τη δεκαετία του 1960. Η ανάπτυξη της χρονικής λογικής συνεχίστηκε από τους επιστήμονες της επιστήμης των υπολογιστών, ειδικά από τον Αμιρ Πνουέλι και τους επιστήμονες της λογικής. Αν και η λογική του Αριστοτέλη ασχολείται σχεδόν εξ ολοκλήρου με τον κατηγορηματικό συλλογισμό, υπάρχουν σημεία στο έργο του που μπορούν σήμερα να φανούν σαν πρώιμα σημεία της χρονικής λογικής και μπορεί να σημαίνουν ότι υπήρξε μια πρώιμη, ημιτελής μορφή της δυαδικής τροπικής χρονικής λογικής πρώτης τάξης. Το πρώτο τυπικό σύστημα χρονικής τροπικής λογικής δημιουργήθηκε από τον Αβικέννα, η λογική του οποίου αναπτύχθηκε στη συνέχεια από τον Najm al-Dīn al-Qazwīnī al-Kātibī και έγινε το κυρίαρχο σύστημα της Ισλαμικής λογικής μέχρι πρόσφατα. Η λογική του Αβικέννα επηρέασε επίσης αρκετούς από τους πρώτους Ευρωπαίους επιστήμονες της λογικής, όπως ο Albertus Magnus και ο . Ανάμεσα στις θεωρίες της , η λογική που χρησιμοποιεί τον υπαρξιακό ποσοδείκτη ή τον καθολικό ποσοδείκτη, ονομάζεται κατηγορηματική λογική. Κάθε λογική που θεωρεί το χρόνο σαν μια ακολουθία από καταστάσεις είναι χρονική λογική, και κάθε λογική που χρησιμοποιεί μόνο δύο τιμές αληθείας είναι δυαδική λογική. Έστω η πρόταση: "Πεινάω". Αν και η σημασία της είναι σταθερή στο χρόνο, η τιμή αληθείας της μπορεί να διαφέρει στο χρόνο. Κάποιες φορές η πρόταση είναι αληθής, κάποιες φορές είναι ψευδής, αλλά η πρόταση δεν είναι ποτέ αληθής και ψευδής ταυτόχρονα. Σε μια χρονική λογική, οι προτάσεις μπορούν να έχουν μια τιμή αληθείας που να διαφέρει ανάλογα με τη χρονική στιγμή. Αντίθετα, οι άχρονες λογικές μπορούν να χειριστούν μόνο προτάσεις, η τιμή αληθείας των οποίων είναι σταθερή στο χρόνο. Αυτός ο χειρισμός των τιμών αληθείας στο χρόνο διαφοροποιεί τη χρονική λογική από την υπολογιστική λογική ρημάτων (computational verb logic). Σε μια χρονική λογική μπορούν επομένως να εκφραστούν προτάσεις όπως: "Πεινάω πάντα", "Τελικά θα πεινάσω", ή "Θα πεινάω μέχρι να φάω κάτι". Η χρονική λογική έχει βρει σημαντικές εφαρμογές στην τυπική επαλήθευση, όπου χρησιμοποιείται για να ορίζονται απαιτήσεις συστημάτων υλικού ή λογισμικού. Για παράδειγμα, μπορεί κανείς να θέλει να εκφράσει ότι οποτεδήποτε γίνεται μια αίτηση, τελικά θα δοθεί πρόσβαση σε έναν πόρο, αλλά ποτέ δε θα δοθεί πρόσβαση σε δύο αιτούντες ταυτόχρονα. Μια τέτοια πρόταση εκφράζεται σε μια χρονική λογική με βολικό τρόπο. Η χρονική λογική έχει πάντα τη δυνατότητα να εκφράζει συλλογισμούς για μια χρονική γραμμή. Οι αποκαλούμενες λογικές γραμμικού χρόνου μπορούν να περιγράφουν μόνο αυτούς τους συλλογισμούς. Οι διακλαδιζόμενες λογικές, από την άλλη πλευρά, μπορούν να χειριστούν πολλαπλές χρονικές γραμμές, κάτι που προϋποθέτει ένα περιβάλλον που να μπορεί να συμπεριφέρεται απρόσμενα. Για να συνεχιστεί το παραπάνω παράδειγμα, σε μια διακλαδιζόμενη λογική μπορεί να εκφραστεί η πρόταση "υπάρχει η πιθανότητα ότι θα πεινάω για πάντα". Μπορεί επίσης να εκφραστεί η πρόταση "υπάρχει η πιθανότητα τελικά να μην πεινάω πια". Αν δεν είναι γνωστό αν το υποκείμενο θα φάει ή όχι τελικά, και οι δύο προτάσεις είναι αληθείς. Δύο από τις πρώτες λογικές του είδους για τυπική επαλήθευση ήταν η Γραμμική Χρονική Λογική (μια γραμμική λογική του χρόνου από τους Αμίρ Πνουέλι και Ζοχάρ Μάνα) και η λογική υπολογιστικού δένδρου, μια διακλαδιζόμενη λογική από τους Έντμουντ Κλαρκ και Άλεν Έμερσον. Αν και η δεύτερη από αυτές είναι πιο αποδοτική από την πρώτη, αυτό δεν ισχύει γενικά για τις διακλαδιζόμενες και τις γραμμικές λογικές γενικά. Οι Έμερσον και Λάι έδειξαν ότι κάθε γραμμική λογική μπορεί να επεκταθεί σε μια γραμμική λογική που μπορεί να αποκριθεί με την ίδια πολυπλοκότητα.
rdf:langString
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig.
rdf:langString
La tempa logiko estas etendo de la modala logiko, kiu estas praktike uzata en sistemoj de reguloj, kie gravas la nocio de tempo. Ekzistas ia rilato kun aliaj variaĵoj de logiko, por ekzemplo, la modala logiko. Ties studo havas gravon en la informadiko ĝis aktuale. Por ekzemplo, oni konsideru la frazon: "Mi malsatas"; kvankam ties signifo estas sendependa de la tempo, la valoro de vero aŭ falseco de tiu frazo povas varii pro la tempo en determinita sistemo kiu inkludas manĝagadojn; tial, depende de la sistemo, kelkajn fojojn ĝi estos vera kaj aliajn falsa, kvankam neniam estos vera kaj falsa samtempe. La tempa logiko estis jam studita de Aristotelo; en kelkaj de liaj verkoj estas esprimoj kiuj montras ian analogion kun la tempa logiko de unua ordo; tiel aperas esprimoj kun ekzistokvantigiloj kaj universalaj kvantigiloj.
rdf:langString
La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene importancia en la informática hasta nuestros días. Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es independiente del tiempo, el valor de verdad o falsedad de la misma puede variar con el tiempo en un determinado sistema que incluya acciones de comer; así, en función del sistema, algunas veces será cierta y otras falsa, aunque nunca será cierta y falsa simultáneamente.
rdf:langString
La logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit. D'un point de vue sémantique, cela signifie que la notion de vérité dans ces logiques prend en compte l'évolution du monde. C'est-à-dire qu'une proposition peut être, à un moment, satisfaite, puis plus tard, ne plus l'être. Plusieurs formalisations de la logique temporelle ont été décrites, prenant en compte diverses modalités de base. La logique temporelle est très utilisée en vérification formelle, où la technique de base est essentiellement le model checking. On peut, par exemple, y exprimer le fait qu'un événement dangereux ne doit pas survenir tant qu'une certaine condition de sécurité n'est pas satisfaite.
rdf:langString
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that whenever a request is made, access to a resource is eventually granted, but it is never granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic.
rdf:langString
논리학에서 시간 논리(時間論里, temporal logic)는 시간의 개념을 나타낼 수 있는 논리 체계를 이르는 말이다. 특히 시제 논리(時制論里, tense logic)라 하면 양상 논리를 기반으로 한 시간 논리를 가리키는 말로, 선형 시제 논리와 계산 트리 논리 등이 알려져 있으며 컴퓨터 과학 분야에서 중요하게 응용되고 있다.
rdf:langString
Tijdslogica's of temporele logica's kunnen worden gezien als uitbreiding van de propositielogica, de predicatenlogica, de modale logica of de . Hierbij is er extra formele apparatuur om uit te drukken of iets in het verleden, het heden, de toekomst het geval is, mogelijk het geval is, of het in een mogelijke toekomst het geval is, enzovoorts. Met andere woorden kan temporele informatie met het formele systeem verwerkt worden. Een van de onderscheiden die bij temporele logica's worden gemaakt, is die tussen logica's die tijd als een lineair gegeven zien, en die, die het toestaan dat er vertakkingen in de tijd bestaan. Dit laatste kan gezien worden als mogelijke toekomstige scenario's, of, bijvoorbeeld in een sciencefiction setting of de kwantummechanica, toekomstige parallelle werelden binnen een multiversum. Een ander onderscheid is dat tussen systemen die tijd discreet beschouwen, zoals als verzameling tijdstippen, en die waarbij tijd continu is. Voorbeelden van tijdslogica's zijn die van en die van Hans Reichenbach.
rdf:langString
時相論理(Temporal Logic)とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理(Tense Logic)と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。
rdf:langString
Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce. Czas można wprowadzić do zwykłego rachunku predykatów pierwszego rzędu.Np. aby powiedzieć, że zawsze, kiedy jedzie pociąg, szlaban musi być opuszczony (żeby uniknąć wypadku), oraz że dla każdej chwili szlaban kiedyś się podniesie (aby samochody mogły w końcu przejechać), możemy napisać: Dowodzenie twierdzeń w tak ogólnej notacji może być jednak trudne. Z tego powodu dodaje się do rachunku zdań bez kwantyfikatorów pewne operatory modalne. Brak kwantyfikatorów umożliwia nam łatwe dowodzenie twierdzeń, zaś operatory modalne umożliwiają nam rozważanie zależności czasowych. Logik temporalnych jest wiele. Można je jednak podzielić na dwie grupy – te, które zakładają liniową strukturę czasu, oraz te, które zakładają rozgałęzioną strukturę czasu. Logiki temporalne zazwyczaj operują czasem składającym się z wydarzeń dyskretnych, choć możliwe są też logiki używające czasu ciągłego.
rdf:langString
Темпоральная логика (временна́я логика; англ. temporal logic) — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. В древности применение логики во временно́м аспекте изучали философы мегарской школы, в частности Диодор Крон, и стоики. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы на основе модальной логики, наибольшее распространение и развитие получила в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли.
rdf:langString
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo. Em lógica temporal, pode-se então expressar sentenças como "Eu estou sempre com fome", "Eu eventualmente estarei com fome" ou "Eu estarei com fome até eu comer algo". Lógica temporal é algumas vezes também usada para se referir a um sistema particular de lógica temporal baseada em lógica modal, introduzida por Arthur Prior no final da década de 1950; e com importantes resultados obtidos por Hans Kamp. Subsequentemente, tem sido desenvolvida por cientistas da computação, como Amir Pnueli; e lógicos.
rdf:langString
在逻辑中,术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑,这是 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 (阿米尔·伯努利) 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究,并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过,他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑,只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述:"我饿了"。尽管它的意思随时间恒定,但这个陈述的真值随时间可变。有时这个陈述为真,有时这个陈述为假,但是这个陈述不能同时为真并且为假。在时间逻辑中,陈述可以有随时间变化的真值。与之相对的是非时间逻辑,它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是:总是、有时、和永不。 (CTL)、线性时序逻辑(LTL)和(ITL)是时间逻辑的例子。
rdf:langString
Темпоральна логіка (англ. temporal logic) в сучасній некласичній логіці — логіка, яка враховує причинно-наслідкові зв'язки в умовах часу. Використовується для опису послідовностей явищ та їх взаємозв'язку з часовою шкалою. Вона була розроблена в 1960-х на основі модальної логіки і отримала подальший розвиток у інформатиці завдяки праці лауреата Премії Тюрінга Аміра Пнуелі. В античності теорії темпоральних логік вивчали філософи мегарської школи, зокрема, Діодор Крон та стоїки. Є два підходи темпоральної логіки, засновані на принципах здорового глузду і діалектики: 1 — «після цього» означає «внаслідок цього»;2 — «після цього» означає «пізніше» в хронологічному сенсі.
xsd:nonNegativeInteger
33325