public class ZReasoner extends AbstractConditionalLogicReasoner
Constructor and Description |
---|
ZReasoner() |
Modifier and Type | Method and Description |
---|---|
RankingFunction |
getModel(ClBeliefSet beliefset)
Returns a single (dedicated) model of the given belief base.
|
private boolean |
isTolerated(Conditional f,
ClBeliefSet kb,
java.util.Set<PossibleWorld> omega)
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(ClBeliefSet kb,
java.util.Set<PossibleWorld> omega)
Returns a partitioning of a knowledge base into partitions containing all conditionals that
tolerate the remaining set of conditionals of a knowledge base.
|
getModels, query
private java.util.ArrayList<ClBeliefSet> partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega)
Knowledge
- base that needs to be partitionedprivate boolean isTolerated(Conditional f, ClBeliefSet kb, java.util.Set<PossibleWorld> omega)
Conditional
- f - formula that should be tolerated by the knowledge baseClBeliefSet
- kb - corresponding knowledge basepublic RankingFunction getModel(ClBeliefSet beliefset)
ModelProvider
getModel
in interface ModelProvider<Conditional,ClBeliefSet,RankingFunction>
getModel
in class AbstractConditionalLogicReasoner