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.

Algorithm – Generic Parameters

  • Initialize denotes the hypotheses started from
  • R denotes the set of inference rules applied
  • Delete influences the search strategy
    • Using different instantiations of this procedure, one can realise a depth­first (Delete = LIFO), breadth­first Delete = FIFO) or best­first algorithm
  • Choose determines the inference rules to be applied on the hypothesis H

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.