Class DefeasibleInferenceRule<T extends Invertable>

    • Constructor Detail

      • DefeasibleInferenceRule

        public DefeasibleInferenceRule()
        Constructs an empty instance
      • DefeasibleInferenceRule

        public DefeasibleInferenceRule​(T conclusion,
                                       java.util.Collection<T> premise)
        Constructs a defeasible inference rule p => c
        Parameters:
        conclusion - ^= p
        premise - ^= c