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.

กฎระเบียบสำหรับการเสร็จ \ (\ mathcal {ALC} \) satisfiability แนวคิด

\ (\ sqcap \) กฎ ถ้า \ (C \ sqcap D \ in L (V), \ text {บาง} \ v ใน V \ text {และ} \ {C, D \} \ ไม่ได้ \ subseteq L (V) \)
แล้วก็ \ (L (V) = L (V) \ ถ้วย \ {C, D \} \)
\ (\ sqcup \) กฎ ถ้า \ (C \ sqcup D \ in L (V), \ text {บาง} \ v ใน V \ text {และ} \ {C, D \} \ ฝา L (V) = \ emptyset \)
แล้วก็ \ (\ text {เลือก} X \ in \ {C, D \} \ text {} และปล่อยให้ L (V) = L (V) \ ถ้วย \ {X \} \)
\ (อยู่แล้ว \ \) กฎ ถ้า \ (\ exists RC \ in L (V), \ text {บาง} \ v ใน V, \ text {และไม่มี} r \ text {สืบ-} \) \ (v '\ text {} ของวี \ text {เช่นนั้น} C \ in L (V) \)
แล้วก็ \ (V = V \ ถ้วย \ {v '\}, E = E \ ถ้วย \ {\ langle V, v' \ rangle \}, L (v ') = \ {C \} \) \ ( \ text {} และ L (\ langle วี 'rangle \ = \ {r \} \) \ (\ text {สำหรับจุดยอดใหม่} V V)' \)
\ (\ forall \) กฎ ถ้า \ (V, v '\ in V, v' \ text {เป็น} r \ text {ตัวตายตัวแทนของ} V, \ forall RC \ in L (V) \ text {และ} C \ ไม่ได้ \ in L (v ' ) \)
แล้วก็ \ (L (v ') = l (v') \ ถ้วย {C} \)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.