Uses of Class
org.tweetyproject.lp.asp.syntax.ASPRule

Packages that use ASPRule

Package	Description
org.tweetyproject.arg.lp.syntax
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.lp.asp.semantics
org.tweetyproject.lp.asp.syntax

Uses of ASPRule in org.tweetyproject.arg.lp.syntax

Subclasses with type arguments of type ASPRule in org.tweetyproject.arg.lp.syntax

Modifier and Type	Class	Description
class	Argument	Instances of this class represent arguments in the sense of Definition 2 in [1].

Constructors in org.tweetyproject.arg.lp.syntax with parameters of type ASPRule

Modifier	Constructor	Description
	Argument(ASPRule rule)	Constructs an `Argument` object initialized with a single ASP rule.

Constructor parameters in org.tweetyproject.arg.lp.syntax with type arguments of type ASPRule

Modifier	Constructor	Description
	Argument(List<ASPRule> rules)	Constructs an `Argument` object initialized with a list of ASP rules.

Uses of ASPRule in org.tweetyproject.lp.asp.beliefdynamics.baserevision

Subclasses with type arguments of type ASPRule in org.tweetyproject.lp.asp.beliefdynamics.baserevision

Modifier and Type	Class	Description
class	ELPBaseRevisionOperator	This class implements the base revision operator for extended logic programs as introduced in [KKI12].
class	ScreenedRemainderSets	This class represents the set of Screened Consistent Remainder Sets as defined in [1].

Classes in org.tweetyproject.lp.asp.beliefdynamics.baserevision that implement interfaces with type arguments of type ASPRule

Modifier and Type	Class	Description
class	MonotoneGlobalMaxichoiceSelectionFunction	This class implements a monotone global maxichoise selection function for remainder sets of extended logic programs as introduced in [KKI12].
class	ScreenedMaxichoiceConsolidation	This class implements the screened maxi-choice consolidation operator from [1].

Methods in org.tweetyproject.lp.asp.beliefdynamics.baserevision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	ScreenedMaxichoiceConsolidation.consolidate(Collection<ASPRule> p)
Collection<ASPRule>	ELPBaseRevisionOperator.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)
Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<ASPRule> remainderSets)
Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(ScreenedRemainderSets remainderSets)	Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	ScreenedMaxichoiceConsolidation.consolidate(Collection<ASPRule> p)
Collection<ASPRule>	ELPBaseRevisionOperator.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)
Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<ASPRule> remainderSets)

Constructor parameters in org.tweetyproject.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

Modifier	Constructor	Description
	ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)	Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.
	ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver solver)	Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.

Uses of ASPRule in org.tweetyproject.lp.asp.beliefdynamics.revision

Subclasses with type arguments of type ASPRule in org.tweetyproject.lp.asp.beliefdynamics.revision

Modifier and Type	Class	Description
class	CredibilityRevision	Implements the credibility revision approach for ASP described in Kruempelmann et al.
class	PreferenceHandling	The implementation orients on the diploma thesis of Mirja Boehmer in this class a variant of the approach "A Preference-Based Framework for Updating Logic Programs" by James P.

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.revision with type arguments of type ASPRule

Modifier and Type	Method	Description
Program	CredibilityRevision.revise(List<Collection<ASPRule>> ol)
Program	PreferenceHandling.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)

Uses of ASPRule in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Subclasses with type arguments of type ASPRule in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Modifier and Type	Class	Description
class	ParameterisedArgumentativeSelectiveRevisionOperator	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].

Classes in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision that implement interfaces with type arguments of type ASPRule

Modifier and Type	Class	Description
class	NaiveLiteralTransformationFunction	This class represents the naive transformation function for literals as introduced in [1].
class	ScepticalLiteralTransformationFunction	This class represents the sceptical transformation function for literals as introduced in [1].

Methods in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	ParameterisedArgumentativeSelectiveRevisionOperator.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)
Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(Collection<ASPRule> formulas)
Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single fact by either accepting or rejecting it.
Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(Collection<ASPRule> formulas)
Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Methods in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single fact by either accepting or rejecting it.
Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	ParameterisedArgumentativeSelectiveRevisionOperator.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)
Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(Collection<ASPRule> formulas)
Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(Collection<ASPRule> formulas)

Constructor parameters in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

Modifier	Constructor	Description
	NaiveLiteralTransformationFunction(Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new naive transformation function for literals.
	ScepticalLiteralTransformationFunction(Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new sceptical transformation function for literals.

Uses of ASPRule in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ASPRule

Modifier and Type	Method	Description
static ASPRule	ASPParser.parseRule(Reader reader)	Parse the rule
static ASPRule	ASPParser.parseRule(String rule)	Parse the rule
ASPRule	InstantiateVisitor.visit(ASTOpt node, Object data)
ASPRule	InstantiateVisitor.visit(ASTRule node, Object data)

Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type ASPRule

Modifier and Type	Method	Description
List<ASPRule>	InstantiateVisitor.visit(ASTRuleList node, Object data)

Uses of ASPRule in org.tweetyproject.lp.asp.reasoner

Classes in org.tweetyproject.lp.asp.reasoner that implement interfaces with type arguments of type ASPRule

Modifier and Type	Class	Description
class	ASPSolver	This class provides a common interface for asp solvers.

Uses of ASPRule in org.tweetyproject.lp.asp.semantics

Subclasses with type arguments of type ASPRule in org.tweetyproject.lp.asp.semantics

Modifier and Type	Class	Description
class	AnswerSet	An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.

Methods in org.tweetyproject.lp.asp.semantics with parameters of type ASPRule

Modifier and Type	Method	Description
boolean	AnswerSet.satisfies(ASPRule formula)

Uses of ASPRule in org.tweetyproject.lp.asp.syntax

Subclasses with type arguments of type ASPRule in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
class	Program	This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Classes in org.tweetyproject.lp.asp.syntax that implement interfaces with type arguments of type ASPRule

Modifier and Type	Class	Description
class	ASPRule	This class models a rule in ASP.
class	Program	This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Methods in org.tweetyproject.lp.asp.syntax that return ASPRule

Modifier and Type	Method	Description
ASPRule	ASPRule.clone()
ASPRule	ASPRule.exchange(Term<?> v, Term<?> t)
ASPRule	ASPRule.substitute(Term<?> v, Term<?> t)

Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPRule

Modifier and Type	Method	Description
int	ASPRule.compareTo(ASPRule arg0)

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPRule

Modifier	Constructor	Description
	ASPRule(ASPRule other)	Copy-Constructor
	Program(ASPRule... rules)	Creates a new program with the given rules.

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPRule

Modifier	Constructor	Description
	Program(Collection<ASPRule> rules)	Creates a new program with the given rules.
	Program(ASPLiteral query, Set<ASPRule> rules)	Creates a new program with the given query and rules.