Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

ความหมายของ Datalog

ความหมายที่กำหนดโดยใช้แบบจำลองตรรกะ:
  • แปลความหมายของ \ (\ mathcal {I} \) กับโดเมน \ (\ delta_ {\ mathcal {I}} \)
  • การประเมินผลของตัวแปร: การกำหนดตัวแปร \ (\ mathcal {Z} \) (รูปที่ตัวแปรบน \ (\ delta_ {\ mathcal {I}} \))
  • แปลความหมายของข้อกำหนดและสูตรใน \ (\ mathcal {I} \) (และ \ (\ mathcal {Z} \)):
    • แปลความหมายของค่าคงที่: \ (^ {\ mathcal {I}, \ mathcal {Z}} = ^ {\ mathcal {I}} \ in \ delta_ {\ mathcal {I}} \)
    • แปลความหมายของตัวแปร: \ (x ^ {\ mathcal {I}, \ mathcal {Z}} = \ mathcal {N} (x) \ in \ delta_ {\ mathcal {I}} \)
    • แปลความหมายของคำกริยา n สถานที่: \ (p ^ {\ mathcal {I}} \ in \ delta_ {\ mathcal {I}} ^ n \ n)
    • \ (\ mathcal {I}, \ mathcal {Z} \ รูปแบบ p (t_1, \ ldots, t_n) \) ถ้าหากว่า \ ((t_1 ^ {\ mathcal {I} \ mathcal {N}}, \ ldots , t_n ^ {\ mathcal {I}, \ mathcal {Z}}) \ in p ^ {\ mathcal {I}} \)
    • \ (\ mathcal {I} \ models B \ to H \) IFF \ สำหรับการมอบหมายแต่ละตัวแปร (\ mathcal {Z} \) เป็นทั้ง \ (\ mathcal {I}, \ mathcal {Z} \ รุ่น H \) หรือ \ (\ mathcal {I}, \ mathcal {Z} \ ไม่ได้รูปแบบ \ B \)
  • \ (\ mathcal {I} \) เป็นแบบจำลองสำหรับการตั้งกฎ, ถ้าหากว่า \ (\ mathcal {I} \ models B \ to H \) สำหรับกฎทั้งหมด \ (B \ to H \) จำนวนนี้

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.