Package org.tweetyproject.arg.deductive.categorizer


package org.tweetyproject.arg.deductive.categorizer
  • Interface Summary
    Interface
    Description
    Classes implementing this interface represent categorizer in the sense of Definition 8.10 in

    Philippe Besnard and Anthony Hunter.
  • Class Summary
    Class
    Description
    This class implements a simple categorizer that does an bottom-up marking of the tree; leafs are marked undefeated and an inner node is marked defeated if at least one child is marked undefeated and defeated otherwise.

    The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated.
    This class implements the h-categorizer from

    Philippe Besnard and Anthony Hunter.