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.

ภาษาที่กฎ

กฎตรรกะ (ผลกระทบในตรรกะคำกริยา):
  • กำหนดไว้อย่างชัดเจนวิจัยครอบคลุมดีเข้าใจ
  • อย่างเข้ากันได้กับ OWL DL และ RDF
  • ไม่สามารถตัดสินใจโดยไม่มีข้อ จำกัด
ขั้นตอนกฎระเบียบ (เช่นกฎการผลิต):
  • วิธีการที่เป็นอิสระจำนวนมากมักจะกำหนดไว้เพียงราง
  • บ่อยครั้งที่ใช้เป็นภาษาโปรแกรมนกฮูกและ RDF ความสัมพันธ์ไม่ชัดเจน
  • การประมวลผลที่มีประสิทธิภาพเป็นไปได้
โปรแกรมตรรกะ (เช่นอารัมภบท, F-logic):
  • กำหนดไว้อย่างชัดเจน แต่วิธีการที่แตกต่างกัน
  • บางส่วนที่เข้ากันได้กับนกฮูกและ RDF
  • decidability / ความซับซ้อนอย่างมากขึ้นอยู่กับวิธีการที่เลือก
หัวข้อหลัก: กฎสรุปเหตุผล
(ซึ่งจะยังเป็นพื้นฐานของการเขียนโปรแกรมตรรกะ)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.