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.
A Generic ILP Algorithm
Given the key ideas of ILP as search a generic ILP system is defined as:
The algorithm works as follows:
It keeps track of a queue of candidate hypotheses QH
It repeatedly deletes a hypothesis H from the queue and expands that hypotheses using inference rules; the expanded hypotheses are then added to the queue of hypotheses QH, which may be pruned to discard unpromising hypotheses from further consideration
This process continues until the stopcriterion is satisfied