Class | Description |
---|---|
PclBeliefSet |
This class models a belief set on probabilistic conditional logic, i.e.
|
ProbabilisticConditional |
This class represents a probabilistic conditional of the form (B|A)[p]
with formulas A,B and a probability p.
|