public class PreferenceHandling extends CredibilityRevisionIterative<Rule>
Modifier and Type | Field and Description |
---|---|
private org.slf4j.Logger |
LOG
reference to the logback logger instance
|
private int |
maxInt |
private Solver |
solver |
Constructor and Description |
---|
PreferenceHandling(Solver solver) |
PreferenceHandling(Solver solver,
int maxInt) |
Modifier and Type | Method and Description |
---|---|
protected static java.util.List<Pair<Rule,Rule>> |
getConflictingRules(Program p1,
Program p2)
Helper method: Finds all pairs of conflicting rules in program p1 and p2.
|
static void |
main(java.lang.String[] args) |
Program |
revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas)
Revises the two given belief bases and returns the result, the former belief base has
a lesser credibility than the latter.
|
void |
setSolver(Solver solver) |
revise
revise
private org.slf4j.Logger LOG
private int maxInt
private Solver solver
public PreferenceHandling(Solver solver)
public PreferenceHandling(Solver solver, int maxInt)
public void setSolver(Solver solver)
public Program revise(java.util.Collection<Rule> base, java.util.Collection<Rule> formulas)
CredibilityRevision
revise
in class CredibilityRevision<Rule>
base
- The lower priority belief baseformulas
- The higher priority belief baseprotected static java.util.List<Pair<Rule,Rule>> getConflictingRules(Program p1, Program p2)
p1
- The first programp2
- The second programpublic static void main(java.lang.String[] args) throws SolverException, ParseException
SolverException
ParseException