PAL2v Para-Analyzer

The code calculate the regular PAL2v equations and generate the PAL2v Lattice with 12 logical states, presenting the Para-Analyzer output

The script run the Paraconsistent Annotated Logic by 2 value annotations (PAL2v), also called Paraconsistent Annotated Evidential Logic (PAL ).

The script generate the PAL2v Lattice, splited by 12 "logical states". The PAL2v result is then classified in one of these 12 logical states, allowing the PAL2v to be used in decision making process of expert systems, robot directions, and so on.

How it works:

1. 2 values are required in the command line window: favorable evidence degree and unfavorable evidence degree.
2. Then, 2 control limits are required to generate the 12 logical states of the Para-Analyzer.
3. The script presents the PAL2v results in the command line window certainty degree , contradiction degree (, real certainty degree and certainty interval .
4. The script also calculate the normalized PAL2v outputs [0,1], resulting evidence degree , contradiction evidence degree and real evidence degree , as used by Paraconsistent Analysis Nodes (PAN) and networks (PANnet).
5. A PAL2v Lattice is generated, presenting the PAL2v output () as black dot. The Graph also display the position of the unique PAL2v output, real certainty degree , after extracting contradiction, as red dot.

References:

[1] De Carvalho Junior, A.; Justo, J. F.; De Oliveira, A. M.; Da Silva Filho, J. I., A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives, Engineering Applications of Artificial Intelligence, Volume 127, Part B, 2024, 107342, ISSN 0952-1976 DOI: 10.1016/j.engappai.2023.107342.

[2] J. I. Da Silva Filho, Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic, Journal of Intelligent Learning Systems and Applications, Vol. 4 No. 2, 2012, pp. 144-153. DOI: 10.4236/jilsa.2012.42014.

Interested in PAL2v logic? Access the following as a starting point: PAL2v Key Points