Speeding up operations on feature terms using constraint programming and variable symmetry

اصطلاحات خصیصه تعمیم اصطلاحات مرتبه اول هستند که اخیرا توجه بیشتری به سودمندی آنها در یادگیری ماشین آلات ساختاری، پردازش زبان طبیعی و دیگر برنامه های هوش مصنوعی داده شده است. یکی از موانع اصلی استفاده گسترده آنها این است که وقتی ویژگی های ارزشمند اجازه می دهند، عملیات اساسی آنها (تقسیم، متحد سازی و ضد انهدام) هزینه های بسیار محاسباتی دارند. ما یک فرمول محدودیت برنامه نویسی برای این عملیات ارائه می دهیم که در بعضی موارد با توجه به رویکردهای استاندارد، دستورات سرعت های بالا را فراهم می کند. علاوه بر این، بهره برداری از چندین تقارن - که اغلب در پایگاه داده های ویژگی های ظاهر می شود - موجب صرفه جویی قابل توجه اضافی. ما نتایج آزمایشگاهی مزایای این روش را ارائه می دهیم.