İçindekiler:
Tanımı - Geçici Mantık ne anlama geliyor?
Zamansal mantık, zamana bağlı doğruluk değerlerine sahip olan önermelerle ilgili problemlerle ilgilenen sembolik mantığın bir dalıdır. Zamansal mantık, bir dizi olası dünya olarak ifade edilebilen önermelerle ilgilenen bir mantık dalı olan modal mantığın bir çeşidi olarak kabul edilir. Zamansal mantık, zamana dayalı akıl yürütme ve temsile yönelik tüm yaklaşımlara dokunmak için kullanılır.
Zamansal mantık uygulamaları, zamana dayalı felsefi konularda akıl yürütmede, zamansal bilgiyi kodlamak için yapay dilde bir dil olarak ve bilgisayar uygulamaları ve sistemlerinin donanım ve yazılım gereksinimlerinin resmi analizi, spesifikasyonu ve doğrulanması için bir araç olarak kullanımı içerir.
Techopedia Zamansal Mantığı Açıklıyor
Zamansal önermelerin dikkat çeken özelliklerinden biri, çoğunlukla zaman koşullarına açık veya dolaylı referanslara sahip olmasıdır. Bu, zamansız önermelere odaklanan klasik mantığın aksine. Zamansal mantık, zamansal nicelleştiriciler sayesinde zamana bağlı önermelerle akıl yürütmenin en iyi ve en uygun yollarından biridir. Klasik mantık zamansal özelliklerle başa çıkabilse de, zaman noktalarının temsil edilmesi gerektiğinden formüller genellikle karmaşık olma eğilimindedir.
Zamansal mantık kavramı ilk olarak Arthur Prior tarafından 1960 yılında diğer bilgisayar bilimcileri ve mantıkçıları tarafından daha da genişletilen "gergin mantık" altında tanıtıldı. Zamansal mantık formüllerin gerçekliğine ya da sahteliğine değil, değerleme değişse bile zaman akışı boyunca doğru kalan formüllere odaklanır.
Geçici mantığın iki tür operatörü vardır: modsal operatörler ve mantıksal operatörler. Model operatörleri büyük ölçüde hesaplama ağacı mantığı ve doğrusal zamansal mantıkta kullanılırken, mantıksal operatörler çoğunlukla gerçeğe uygun işleçlerdir. Sinyal zamansal mantık, aralıklı zamansal mantık, metrik aralıklı zamansal mantık, doğrusal zamansal mantık, hesaplamalı ağaç mantığı ve diğerleri zamansal mantığın parçalarını oluşturur.
