public class ZReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private RankingFunction |
ocf
The ranking function for this knowledge base based
on penalty points of System Z.
|
private java.util.Set<PossibleWorld> |
omega |
Constructor and Description |
---|
ZReasoner(BeliefBase beliefBase)
Creates a new System Z reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private RankingFunction |
computeOCF()
Returns a ranking functions based on penalty points of System Z.
|
RankingFunction |
getOCF()
Returns the ranking function this reasoner bases on.
|
private boolean |
isTolerated(Conditional f,
ClBeliefSet kb)
Checks whether or not the given formula is tolerated by the knowledge base,
i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A)
in the knowledge base (it satisfies the material implication A => B).
|
private java.util.ArrayList<ClBeliefSet> |
partition(BeliefBase kb)
Returns a partitioning of a knowledge base into partitions containing all conditionals that
tolerate the remaining set of conditionals of a knowledge base.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private RankingFunction ocf
private java.util.Set<PossibleWorld> omega
public ZReasoner(BeliefBase beliefBase)
beliefBase
- a knowledge base.public Answer query(Formula query)
Reasoner
public RankingFunction getOCF()
private RankingFunction computeOCF()
private java.util.ArrayList<ClBeliefSet> partition(BeliefBase kb)
Knowledge
- base that needs to be partitionedprivate boolean isTolerated(Conditional f, ClBeliefSet kb)
Conditional
- f - formula that should be tolerated by the knowledge baseClBeliefSet
- kb - corresponding knowledge base