ตรรกะทางโลกคืออะไร? - คำจำกัดความจาก techopedia

คำจำกัดความ - Temporal Logic หมายถึงอะไร

ตรรกะชั่วคราวเป็นสาขาหนึ่งของสัญลักษณ์เชิงสัญลักษณ์ซึ่งเกี่ยวข้องกับปัญหาเกี่ยวกับข้อเสนอที่มีค่าความจริงขึ้นอยู่กับเวลา ตรรกะชั่วคราวถือว่าเป็นตัวแปรของตรรกะโมดัลซึ่งเป็นสาขาหนึ่งของตรรกะที่เกี่ยวข้องกับข้อเสนอที่สามารถแสดงเป็นชุดของโลกที่เป็นไปได้ ตรรกะชั่วคราวใช้เพื่อสัมผัสวิธีการทั้งหมดในการใช้เหตุผลและการเป็นตัวแทนตามเวลา

การประยุกต์ใช้ตรรกะเชิงเวลารวมถึงการใช้เหตุผลในประเด็นปรัชญาตามเวลาเป็นภาษาในภาษาประดิษฐ์สำหรับการเข้ารหัสความรู้ทางโลกและเป็นเครื่องมือสำหรับการวิเคราะห์อย่างเป็นทางการข้อมูลจำเพาะและการตรวจสอบข้อกำหนดของฮาร์ดแวร์และซอฟต์แวร์ของโปรแกรมคอมพิวเตอร์และระบบ

Techopedia อธิบาย Temporal Logic

หนึ่งในคุณสมบัติเด่นของข้อเสนอทางโลกคือมันส่วนใหญ่มีการอ้างอิงโดยนัยหรือชัดเจนกับเงื่อนไขเวลา ตรงกันข้ามกับตรรกะคลาสสิกซึ่งมุ่งเน้นข้อเสนอที่เป็นอมตะ ตรรกะชั่วคราวเป็นหนึ่งในวิธีที่ดีที่สุดและเหมาะสมที่สุดสำหรับการให้เหตุผลกับข้อเสนอที่เกี่ยวข้องกับเวลาต้องขอบคุณการวัดปริมาณทางโลก แม้ว่าตรรกะคลาสสิกสามารถจัดการกับคุณสมบัติทางโลกได้ แต่สูตรมักจะมีความซับซ้อนเนื่องจากต้องใช้เวลาแทน

แนวคิดเรื่องตรรกะเชิงโลกได้ถูกนำมาใช้เป็นครั้งแรกโดย Arthur Prior ในปี 1960 ภายใต้ "ตรรกะตึงตัว" ซึ่งได้รับการเผยแพร่โดยนักวิทยาศาสตร์คอมพิวเตอร์และนักตรรกวิทยาคนอื่น ๆ ตรรกะชั่วคราวไม่ได้มุ่งเน้นไปที่ความจริงหรือความผิดพลาดของสูตร แต่จะมุ่งเน้นไปที่สูตรที่ยังคงเป็นจริงผ่านการไหลของเวลาแม้ว่าการประเมินค่าจะมีการเปลี่ยนแปลง

ตรรกะชั่วคราวมีตัวดำเนินการสองประเภท: ตัวดำเนินการ modal และตัวดำเนินการทางตรรกะ ตัวดำเนินการของโมเดลส่วนใหญ่ใช้ในการคำนวณแบบลอจิคัลทรีและแบบลอจิกเชิงเส้นตรง สัญญาณลอจิกชั่วคราว, ลอจิคัลชั่วคราวช่วงเวลา, ลอจิกช่วงเวลาเมตริก, ลอจิกเชิงเวลาเชิงเส้น, ตรรกะต้นไม้การคำนวณและอื่น ๆ เป็นส่วนหนึ่งของตรรกะชั่วคราว