Uses of Class
net.sf.tweety.lp.asp.syntax.Program
-
-
-
Uses of Program in net.sf.tweety.arg.lp.syntax
Fields in net.sf.tweety.arg.lp.syntax declared as Program Modifier and Type Field Description private Program
ArgumentationKnowledgeBase. program
Constructors in net.sf.tweety.arg.lp.syntax with parameters of type Program Constructor Description ArgumentationKnowledgeBase(Program program)
-
Uses of Program in net.sf.tweety.argumentation.parameterisedhierarchy
Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as Program Modifier and Type Field Description (package private) Program
ArgumentationReasonerTest. prog
-
Uses of Program in net.sf.tweety.logics.translators.aspnlp
Methods in net.sf.tweety.logics.translators.aspnlp that return Program Modifier and Type Method Description Program
AspNlpTranslator. toASP(NLPProgram program)
Translate the given NLP-program into an ASP-program.Program
AspNlpTranslator. toASP(NLPRule rule)
Translates the given NLP-rule into an ASP Program.Methods in net.sf.tweety.logics.translators.aspnlp with parameters of type Program Modifier and Type Method Description NLPProgram
AspNlpTranslator. toNLP(Program program)
-
Uses of Program in net.sf.tweety.lp.asp.analysis
Methods in net.sf.tweety.lp.asp.analysis with parameters of type Program Modifier and Type Method Description java.lang.Double
PmInconsistencyMeasure. inconsistencyMeasure(Program beliefBase)
java.lang.Double
SdInconsistencyMeasure. inconsistencyMeasure(Program beliefBase)
-
Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.baserevision
Fields in net.sf.tweety.lp.asp.beliefdynamics.baserevision declared as Program Modifier and Type Field Description private Program
ScreenedRemainderSets. program
private Program
ScreenedMaxichoiceConsolidation. screen
private Program
ScreenedRemainderSets. screen
Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return Program Modifier and Type Method Description Program
ScreenedMaxichoiceConsolidation. consolidate(Program p)
Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.Program
ScreenedRemainderSets. getScreen()
Returns the screened rules that are contained in every remainder set.Program
ScreenedRemainderSets. getSourceBeliefBase()
Returns the original program p for which this set represents the set of remainder sets.Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return types with arguments of type Program Modifier and Type Method Description java.util.Collection<Program>
ScreenedRemainderSets. asPrograms()
Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.private java.util.Set<Program>
ScreenedRemainderSets. calculateRemainderSetCandidates(Program p)
Recursively calculates consistent subsets of p.Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type Program Modifier and Type Method Description private java.util.Set<Program>
ScreenedRemainderSets. calculateRemainderSetCandidates(Program p)
Recursively calculates consistent subsets of p.int
ELPLexicographicalComparator. compare(Program arg0, Program arg1)
Program
ScreenedMaxichoiceConsolidation. consolidate(Program p)
Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.private boolean
ScreenedRemainderSets. isConsistent(Program p)
private boolean
ScreenedRemainderSets. isProperSubset(Program p, Program q)
Returns true iff program p is a proper (strict) subset of program qConstructors in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type Program Constructor Description 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.ScreenedRemainderSets(Program p, Program r, ASPSolver solver)
Creates a new set of screened remainder sets of program p that all contain the screened rules r. -
Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.gui
Fields in net.sf.tweety.lp.asp.beliefdynamics.gui declared as Program Modifier and Type Field Description protected Program
SimpleRevisionCompareModel. beliefBase
protected Program
SimpleRevisionCompareModel. newBeliefs
-
Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.revision
Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return Program Modifier and Type Method Description private Program
CredibilityTest. loadFromJar(java.lang.String filename)
Program
CredibilityRevision.AnswersetProcessing. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided programProgram
CredibilityRevision.DefaultBehavior. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
Program
CredibilityRevision. revise(java.util.List<java.util.Collection<ASPRule>> ol)
Program
PreferenceHandling. revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
Program
CredibilityRevision. translate(java.util.List<Program> orderedList)
Translates the given list of programs to the credibility logic program.private Program
CredibilityRevision. translate(Program p, int programCredibility)
Helper method: Translates the given programMethods in net.sf.tweety.lp.asp.beliefdynamics.revision with parameters of type Program Modifier and Type Method Description protected static java.util.List<Pair<ASPRule,ASPRule>>
PreferenceHandling. getConflictingRules(Program p1, Program p2)
Helper method: Finds all pairs of conflicting rules in program p1 and p2.private Program
CredibilityRevision. translate(Program p, int programCredibility)
Helper method: Translates the given programMethod parameters in net.sf.tweety.lp.asp.beliefdynamics.revision with type arguments of type Program Modifier and Type Method Description Program
CredibilityRevision.AnswersetProcessing. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided programProgram
CredibilityRevision.DefaultBehavior. process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
Program
CredibilityRevision. translate(java.util.List<Program> orderedList)
Translates the given list of programs to the credibility logic program. -
Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
-
Uses of Program in net.sf.tweety.lp.asp.parser
Methods in net.sf.tweety.lp.asp.parser that return Program Modifier and Type Method Description static Program
ASPCore2Parser. parseProgram(java.io.Reader reader)
static Program
ASPCore2Parser. parseProgram(java.lang.String program)
Program
InstantiateVisitor. visit(ASTProgram node, java.lang.Object data)
-
Uses of Program in net.sf.tweety.lp.asp.reasoner
Methods in net.sf.tweety.lp.asp.reasoner with parameters of type Program Modifier and Type Method Description AnswerSet
ASPSolver. getModel(Program p, int maxInt)
Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.AnswerSet
ClingoSolver. getModel(Program p)
AnswerSet
DLVSolver. getModel(Program p)
abstract java.util.Collection<AnswerSet>
ASPSolver. getModels(Program p)
java.util.Collection<AnswerSet>
ASPSolver. getModels(Program p, int maxInt)
Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.java.util.List<AnswerSet>
ClingoSolver. getModels(Program p)
java.util.List<AnswerSet>
DLVSolver. getModels(Program p)
abstract java.lang.Boolean
ASPSolver. query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean
ClingoSolver. query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean
ClingoSolver. query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)
java.lang.Boolean
DLVSolver. query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean
DLVSolver. query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)
-
Uses of Program in net.sf.tweety.lp.asp.semantics
Methods in net.sf.tweety.lp.asp.semantics with parameters of type Program Modifier and Type Method Description boolean
AnswerSet. satisfies(Program beliefBase)
-
Uses of Program in net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return Program Modifier and Type Method Description Program
Program. clone()
static Program
Program. defaultification(Program p)
Creates the defaultification p_d of a given program p.Program
Program. exchange(Term<?> v, Term<?> t)
Program
Program. reduct(java.util.Set<ASPLiteral> state)
Returns the reduct of this program wrt.Program
Program. substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Program
Program. substitute(Term<?> v, Term<?> t)
Methods in net.sf.tweety.lp.asp.syntax with parameters of type Program Modifier and Type Method Description void
Program. add(Program other)
Adds another program's content to the content of this program.static Program
Program. defaultification(Program p)
Creates the defaultification p_d of a given program p.Constructors in net.sf.tweety.lp.asp.syntax with parameters of type Program Constructor Description Program(Program other)
Copy-Constructor -
Uses of Program in net.sf.tweety.lp.asp.writer
Methods in net.sf.tweety.lp.asp.writer with parameters of type Program Modifier and Type Method Description void
ClingoWriter. printProgram(Program p)
Prints program
-