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.

บริการการใช้เหตุผล (3)

เราสามารถลดการบริการทั้งหมดเพื่อตรวจสอบ satisfiability:

Satisfiability แนวคิด

\ (K \ ไม่ได้ \ รุ่น C \ equiv \ bot \ longleftrightarrow \) มีอยู่ \ (x \) นั้น \ (K \ ถ้วย \ {C (x) \} \) พอใจ

subsumption

\ (K \ รุ่น C \ sqsubseteq D \ longleftrightarrow K \ ถ้วย \ {C \ sqcap \ NEG D (x) \} \) เป็น unsatisfiable

Instance ตรวจสอบ

\ (K \ รุ่น C () \ longleftrightarrow K \ ถ้วย \ {\ NEG C () \} \) เป็น unsatisfiable


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.