Class SafetyReasoner

java.lang.Object
org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner

public class SafetyReasoner extends Object
a set of arguments S is safe wrt. the complex attacks iff there are no arguments a, b of S and argument c such that: b supports c or c is in S and there is a complex attack from a to c.
Author:
Lars Bengel