.png){kind=icon}
.png){kind=icon}
Return
Speeding up operations on feature terms using constraint programming and variable symmetry
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2014.11.010.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Feature terms are a generalization of first-order terms which have recently received increased attention for their usefulness in structured machine learning, natural language processing and other artificial intelligence applications. One of the main obstacles for their wide usage is that, when set-valued features are allowed, their basic operations (subsumption, unification, and antiunification) have a very high computational cost. We present a Constraint Programming formulation of these operations, which in some cases provides orders of magnitude speed-ups with respect to the standard approaches. In addition, exploiting several symmetries that often appear in feature terms databases causes substantial additional savings. We provide experimental results of the benefits of this approach. (C) 2014 Elsevier B.V. All rights reserved.
Keywords:
Feature terms
Constraint programing
Symmetries
Structured machine learning
Inductive logic programming
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W