Package org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
package org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
-
ClassDescriptionThis class implements a comparison application for selective revision operators using the SimpleRevisionCompare gui.This class represents the naive transformation function for literals as introduced in [1].This class represents a selective revision using the base revision approach from [1] for the inner revision and the sceptical argumentative transformation function from [2].Represents the type of transformation to be applied in a logic program or algorithm.This class represents the sceptical transformation function for literals as introduced in [1].