Paraconsistent Analysis Node (NAP) Toolbox

This toolbox implements the Paraconsistent Analysis Node (NAP) for Simulink, developed on top of two-valued Annotated Paraconsistent Logic (

This toolbox provides a simplified Simulink implementation of the Paraconsistent Analysis Node (NAP), based on Annotated Paraconsistent Logic with two values (LPA2v). The block is designed to process uncertain, incomplete, or contradictory signals by evaluating favorable (μ) and unfavorable (λ) evidence degrees.Key Features & How It Works

• Simplified Configuration: You only need to define the physical universe bounds (Minimum limit and Maximum limit) and the Optimized value directly in the block parameters mask.
• Automatic Signal Normalization: The block handles the internal mapping of physical inputs to the normalized paraconsistent lattice ([0, 1] or [-1, 1]).
• Direct Output Generation: Based on the input signals, the block automatically calculates key non-classical decision metrics:

Algorithm : Paraconsistent Analysis Node

Input: Variable S1 = μ₁, Variable S2 = λ₁

Output: S3 = μEr : resultant real evidence degree

1. Present two input values:μ = Favorable Evidence Degree, 0 ≤ μ ≤ 1λ = Unfavorable Evidence Degree, 0 ≤ λ ≤ 1
2. Calculate the Degree of Certainty:Dc = μ − λ
3. Calculate the Degree of Contradiction:Dct = (μ + λ) − 1
4. Calculate the Normalized Degree of Contradiction:μct = (μ + λ) / 2
5. Calculate the distance d (projection on the horizontal axis of the degrees of certainty on the PAL2v-lattice):d = √[(1 − |Dc|)² + Dct²]
6. Determine the output signal:If d > 1, then Ds = 0.5 → Consider Undefinition and go to End.Otherwise, go to the next item.
7. Determine the Real Certainty Degree:If Dc > 0, calculate: Dcr = (1 − d)If Dc < 0, calculate: Dcr = (d − 1)
8. Calculate the resultant real evidence degree:μEr = (Dcr + 1) / 2
9. Present the results in the output:Do S3 = μEr
10. End

Quick Start

1. Add the PAN block to your Simulink model.
2. Connect your physical signals to the mu(in) and Lambda(in) ports.
3. Open the block mask and set your limits and optimized values.
4. Run the simulation to obtain real-time paraconsistent analysis metrics!