A julia package for pushing uncertainty through Boolean functions. This package may be used to construct uncertain boolean functions, such as fault or decision trees. Various types of uncertain Booleans are supported, with an uncertain dependency between the states.
Uncertain Boolean inputs may be given as:
- Booleans: certain states 0 or 1
- Probabilities: uncertain states
- Interval probabilities: uncertain states
- Distributional and p-box probabilities
Supported Boolean operations:
- and, &
- or, |
- not, ~
- nor
- xor
When working with uncertain states, we must consider the dependency between the states. For example, to compute Z = X & Y, we must know the dependency between X and Y to compute Z exactly. UncLogic.jl
uses Copulas for the dependency between uncertain events. The pearson correlation coefficient between two events may be presented to an operator as a point value or an interval . If , then the dependency is not known and the output will be computed with all possible dependencies.
1. Downloading the source code
> git clone https://github.com/AnderGray/UncLogic.jl.git
> cd UncLogic
> julia --project
julia> using UncLogic