1
ความแตกต่างระหว่างตรรกะแบบไดนามิกและตรรกะชั่วคราว
เพื่อค้นหาความแตกต่างฉันเพิ่งพบกับคำยืนยันด้านล่างเกี่ยวกับตรรกะทางโลกในWikipedia : อีกตัวแปรหนึ่งของกิริยาตรรกะร่วมคุณสมบัติทั่วไปมากมายกับตรรกะแบบไดนามิกแตกต่างจาก logics ที่กล่าวถึงข้างต้นทั้งหมดโดยเป็นสิ่ง Pnueli มีลักษณะเป็นตรรกะ "ภายนอก" อื่น ๆ ที่เป็น "ภายนอก" logics โดย Pnueli นี้หมายความว่าการยืนยันทางตรรกะตามกาลเวลาจะถูกตีความภายในกรอบพฤติกรรมสากลซึ่งสถานการณ์โลกเดียวเปลี่ยนแปลงไปตามกาลเวลาในขณะที่คำยืนยันของ logics อื่น ๆ ถูกสร้างขึ้นภายนอกจากการกระทำหลายอย่างที่พวกเขาพูด ข้อดีของวิธีการภายนอกคือมันไม่ได้ตั้งสมมติฐานพื้นฐานเกี่ยวกับสิ่งที่ทำให้เกิดสิ่งที่เมื่อสภาพแวดล้อมเปลี่ยนแปลงไปตามกาลเวลา แทนที่จะเป็นสูตรทางตรรกะชั่วขณะสามารถพูดคุยเกี่ยวกับสองส่วนที่ไม่เกี่ยวข้องของระบบซึ่งเป็นเพราะพวกเขาจะไม่เกี่ยวข้องวิวัฒนาการโดยปริยายในแบบคู่ขนาน ในการรวมกันทางตรรกะสามัญของการยืนยันชั่วคราวเป็นผู้ประกอบการประกอบพร้อมกันของตรรกะชั่วคราว ความเรียบง่ายของวิธีการนี้พร้อมกันส่งผลให้เกิดตรรกะชั่วคราวเป็นตรรกะโมดัลของทางเลือกสำหรับการให้เหตุผลเกี่ยวกับระบบที่เกิดขึ้นพร้อมกันในด้านของการซิงโครไนซ์การแทรกแซงความเป็นอิสระการหยุดชะงักความมีชีวิตชีวา ฉันไม่สามารถตระหนักถึงความแตกต่างอย่างมาก ตรรกะแบบไดนามิกไม่สามารถครอบคลุมทุกแง่มุมที่ขับเคลื่อนด้วยเวลาภายในการขัดแย้งเช่นเดียวกับตรรกะชั่วคราวหรือไม่? หรือทำไมไดนามิกไม่ควรจัดการระบบที่เกิดขึ้นพร้อมกัน? คุณช่วยเคลียร์กรณีได้ไหม