InfOCF+W
A tool for reasoning with conditional knowledge basesConditional belief base
Syntax: conjunction: "a,b"; disjunction "a;b"; negation "!a"; brackets ((a;b),a); tautology: Top; contradiction: Bottom
Representation (for the conditional belief base)
Choose representation to compute
cw-minimal c-representationssum-minimal c-representations
ind-minimal c-representations
all c-representations
System Z ranking function
System W preferred structure
Maximal impact (for c-representations)
Number of conditionalsManual
Solutions
Query (with respect to the conditional belief base)
Close
Inference systems
System PSystem Z
System W
Inference with c-representations
cw-minimal
sum-minimal
ind-minimal
all
sum-minimal
ind-minimal
all
Maximal impact
number of conditionalsmanual
Inference mode
skepticalweakly skeptical
credulous