• construction and learnability of canonical horn formulas

    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 787
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     we describe an alternative construction of an existing canonical representation for definite horn theories, the guigues-duquenne basis (or gd basis), which minimizes a natural notion of implicational size. we extend the canonical representation to general horn, by providing a reduction from definite to general horn cnf. using these tools, we provide a new, simpler validation of the classic horn query learning algorithm of angluin, frazier, and pitt, and we prove that this algorithm always outputs the gd basis regardless of the counterexamples it receives.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها