Isi kandungan:
Definisi - Apakah maksud Logical Temporal?
Logik temporal adalah cabang logik simbolik yang berkaitan dengan masalah pada proposisi yang mempunyai nilai kebenaran yang bergantung pada waktu. Logik temporal dianggap sebagai varian logik modal, yang merupakan cawangan logik yang menangani proposisi yang boleh dinyatakan sebagai satu set dunia yang mungkin. Logik temporal digunakan untuk menyentuh semua pendekatan untuk penalaran dan perwakilan berdasarkan masa.
Aplikasi logik temporal termasuk penggunaan dalam pemikiran dalam isu-isu falsafah berdasarkan masa, sebagai bahasa dalam bahasa buatan untuk mengodkan pengetahuan temporal, dan sebagai alat untuk analisis formal, spesifikasi dan pengesahan perkakasan dan keperluan perisian aplikasi komputer dan sistem.
Techopedia menerangkan Logoral Temporal
Salah satu ciri utama proposisi temporal adalah bahawa ia kebanyakannya mempunyai rujukan tersirat atau eksplisit terhadap keadaan masa. Ini bertentangan dengan logik klasik, yang menumpukan pada proposisi yang abadi. Logik temporal adalah salah satu cara terbaik dan paling sesuai untuk penalaran dengan proposisi yang berkaitan dengan masa, terima kasih kepada kuantum temporal. Walaupun logik klasik dapat menangani sifat-sifat temporal, formula sering menjadi rumit apabila titik-titik masa perlu diwakili.
Konsep logika temporal pertama kali diperkenalkan oleh Arthur Prior pada tahun 1960 di bawah "logik tegang" yang diperluas oleh saintis komputer dan ahli logik lain. Logika temporal tidak tertumpu pada kebenaran atau kepalsuan formula, sebaliknya difokuskan pada formula yang tetap benar melalui aliran waktu, walaupun penilaian diubah.
Logik temporal mempunyai dua jenis pengendali: operator modal dan pengendali logik. Pengendali model sebahagian besarnya digunakan dalam logik pokok perhitungan dan logik temporal linear, sedangkan pengendali logik kebanyakannya pengendali fungsi yang benar. Isyarat logik temporal, logik temporal interval, logik temporal selang metrik, logik temporal linear, logik pokok pengkomputeran dan lain-lain membentuk sebahagian logik temporal.
