แคลคูลัสแบบฟลู เอนท์ เป็นรูปแบบสำหรับการแสดงโดเมนแบบไดนามิกในตรรกะลำดับที่หนึ่งมันเป็นรูปแบบหนึ่งของแคลคูลัสสถานการณ์ความแตกต่างหลักคือสถานการณ์ถือเป็นการแสดงแทนสถานะ สัญลักษณ์ฟังก์ชันไบนารีถูกใช้เพื่อเชื่อมต่อเทอมที่แสดงข้อเท็จจริงที่เกิดขึ้นในสถานการณ์ ตัวอย่างเช่น สถานการณ์ที่กล่องอยู่บนโต๊ะแสดงด้วยสูตรปัญหาเฟรมได้รับการแก้ไขโดยการยืนยันว่าสถานการณ์หลังจากดำเนินการแล้วเหมือนกับสถานการณ์ก่อนดำเนินการ ยกเว้นเงื่อนไขที่เปลี่ยนแปลงไปจากการกระทำ ตัวอย่างเช่น การกระทำของการย้ายกล่องจากโต๊ะไปที่พื้นสามารถกำหนดเป็นทางการได้ดังนี้: ${\displaystyle \circ }$${\displaystyle s}$${\displaystyle \exists ts=on(box,table)\circ t}$

${\displaystyle State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)}$

สูตรนี้ระบุว่าสถานะหลังการเคลื่อนย้ายได้เพิ่มเทอมและลบเทอมออกไปจำเป็นต้องมี สัจพจน์ที่ระบุว่าการเคลื่อนย้ายเป็นแบบสลับที่ได้และไม่เป็นเอกฐาน เพื่อให้สัจพจน์ดังกล่าวใช้งานได้${\displaystyle on(box,floor)}$${\displaystyle on(box,table)}$${\displaystyle \circ }$

• คล่องแคล่ว (ปัญญาประดิษฐ์)
• ปัญหาเฟรม
• แคลคูลัสสถานการณ์
• แคลคูลัสเหตุการณ์