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.

อัลกอริทึม Tableau

วิธีที่เราสามารถ proove satisfiability ของแนวคิด?

(จำเอาไว้: แนวคิดคือพอใจถ้ามีรูปแบบ \ (\ mathcal {I} \) satisfiying มัน.)

เราจำเป็นต้องมีขั้นตอนการตัดสินใจที่สร้างสรรค์สำหรับรุ่นที่สร้าง

\ (\ longrightarrow \) อัลกอริทึม Tableau

ขั้นตอนการพิสูจน์:

  • เปลี่ยนแนวคิดให้เป็นรูปแบบปกติการปฏิเสธ (NNF)
  • ใช้กฎความสำเร็จในการสั่งซื้อโดยพลการเป็นเวลานานที่สุด
  • แนวคิดพอใจถ้าและเพียงถ้าฉากปะทะกันฟรีสามารถจะได้มาซึ่งการปกครองเสร็จสิ้นไม่สามารถใช้ได้

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.