Modifier and Type | Field and Description |
---|---|
private Program |
ArgumentationKnowledgeBase.program |
Constructor and Description |
---|
ArgumentationKnowledgeBase(Program program) |
Modifier and Type | Field and Description |
---|---|
(package private) Program |
ArgumentationReasonerTest.prog |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
NLPProgram |
AspNlpTranslator.toNLP(Program program) |
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
SdInconsistencyMeasure.inconsistencyMeasure(Program beliefBase) |
java.lang.Double |
PmInconsistencyMeasure.inconsistencyMeasure(Program beliefBase) |
Modifier and Type | Field and Description |
---|---|
private Program |
ScreenedRemainderSets.program |
private Program |
ScreenedRemainderSets.screen |
private Program |
ScreenedMaxichoiceConsolidation.screen |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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 q
|
Constructor and Description |
---|
ScreenedMaxichoiceConsolidation(Program screen,
SelectionFunction<Rule> selection,
Solver 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,
Solver solver)
Creates a new set of screened remainder sets of program p that all contain
the screened rules r.
|
Modifier and Type | Field and Description |
---|---|
protected Program |
SimpleRevisionCompareModel.beliefBase |
protected Program |
SimpleRevisionCompareModel.newBeliefs |
Modifier and Type | Method and Description |
---|---|
private Program |
CredibilityTest.loadFromJar(java.lang.String filename) |
Program |
CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms,
AnswerSetList answersets)
The method takes the list of ordered programs and the answer set of the
credibility logic program and calculates a revided program
|
Program |
CredibilityRevision.DefaultBehavior.process(java.util.List<Program> orderedPrograms,
AnswerSetList answersets) |
Program |
PreferenceHandling.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
Program |
CredibilityRevision.revise(java.util.List<java.util.Collection<Rule>> ol) |
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 program
|
Modifier and Type | Method and Description |
---|---|
protected static java.util.List<Pair<Rule,Rule>> |
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 program
|
Modifier and Type | Method and Description |
---|---|
Program |
CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms,
AnswerSetList answersets)
The method takes the list of ordered programs and the answer set of the
credibility logic program and calculates a revided program
|
Program |
CredibilityRevision.DefaultBehavior.process(java.util.List<Program> orderedPrograms,
AnswerSetList answersets) |
Program |
CredibilityRevision.translate(java.util.List<Program> orderedList)
Translates the given list of programs to the credibility logic program.
|
Modifier and Type | Field and Description |
---|---|
private Program |
ScepticalLiteralTransformationFunction.beliefSet |
private Program |
NaiveLiteralTransformationFunction.beliefSet |
Modifier and Type | Method and Description |
---|---|
static Program |
ASPParser.parseProgram(java.io.Reader reader) |
static Program |
ASPParser.parseProgram(java.lang.String program) |
Program |
InstantiateVisitor.visit(ASTProgram node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
AnswerSetList |
DLVComplex.computeModels(Program p,
int models) |
AnswerSetList |
DLV.computeModels(Program p,
int models) |
AnswerSetList |
Solver.computeModels(Program p,
int maxModels)
this method computes at most maxModels answer sets for a given program.
|
AnswerSetList |
Clingo.computeModels(Program p,
int maxModels) |
protected AnswerSetList |
DLVComplex.runDLV(Program p,
int nModels,
java.lang.String otherOptions) |
protected AnswerSetList |
DLV.runDLV(Program p,
int nModels,
java.lang.String otherOptions) |
Modifier and Type | Method and Description |
---|---|
Program |
Program.clone() |
static Program |
Program.defaultification(Program p)
Creates the defaultifictation p_d of a given program p.
|
Program |
Program.exchange(Term<?> v,
Term<?> t) |
Program |
Program.reduct(java.util.Collection<DLPLiteral> 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) |
Modifier and Type | Method and Description |
---|---|
void |
Program.add(Program other)
Adds another programs content to the content of this program.
|
static Program |
Program.defaultification(Program p)
Creates the defaultifictation p_d of a given program p.
|
Constructor and Description |
---|
Program(Program other)
Copy Ctor: Used by clone method
|