Paraconsistent Algorithm Extractor of Contradiction Effects - <i>Paraextrctr<sub>ctr</sub></i>
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
Abstract
Nowadays networks of analyses based in non-classic logics are used with success in the treatment of uncertainties. The characteristic of accepting the contradiction in his structure is the main cause of the methodologies based in Paraconsistent Logic is ideals for applications in systems of analyses and decision making. In this work we presented an algorithm based in Paraconsistent logic capable to extract in a gradual way the effects of the contradiction in originated signals of information of uncertain knowledge database. The Algorithm Paraconsistent Extractor of Contradiction effects - <i>Paraextrctr<sub>ctr</sub></i> is formed with base in fundamental concepts of the Paraconsistent Annotated Logic with annotation of two values (PAL2v) it can be applied in filters of networks of analyses of signal information where uncertain and contradictory signals can be present. The process of extraction of the effect of the contradiction is always begun by the largest inconsistency degree among two signals that belong to the group that is in analysis. In the end of the analysis it is found a consensus value. In this work we presented numeric example and one example of application of the <i>Paraextrctr<sub>ctr</sub></i> in Load Profile Forecast used in support to decision of the operation in an Electric Power System, but his application potentiality is demonstrated in several fields of the Artificial Intelligence.
- International Council on Large Electric Systems, “Practical Use of Expert Systems in Planning and Operation of Power Systems,” TF 38.06.03, électra, No. 146, February 1993, pp. 30-67.
- J. I. Da Silva Filho, A. Rocco, M. C. Mario and L. F. P. Ferrara, “Annotated Paraconsistent Logic Applied to an Expert System Dedicated for Supporting in an Electric Power Transmission Systems Re-Establishment,” IEEE PES-PSC 2006 Power System Conference and Exposition, Atlanta, 29 October-1 November 2006, pp. 2212-2220.
- J. I. Da Silva Fiho, G. Lambert-Torres and J. M. Abe, “Uncertainty Treatment Using Paraconsistent Logic: Introducing Paraconsistent Artificial Neural Networks,” IOS Press, Amsterdam, 2010, p. 328.
- J. M. Abe and J. I. Da Silva Filho,, “Inconsistency and Electronic Circuits,” In: E. Alpaydin, Ed., Proceedings of EIS’98 International ICSC Symposium on Engineering of Intelligent Systems, Vol. 3, Artificial Intelligence, ICSC Academic Press, Rochester, 1998, pp. 191-197.
- H. A. Blair and V. S. Subrahmanian, “Paraconsistent Logic Programming,” 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, 17-19 December 1987.
- N. C. A. Da Costa, V. S. Subrahmanian and C. Vago, “The Paraconsistent Logic PJ,” Mathematical Logic Quarterly, Vol. 37, No. 9-12, 1991, pp. 139-148. doi:10.1002/malq.19910370903
- S. Ja?kowski, “Propositional Calculus for Contradictory Deductive Systems,” Studia Logica, Vol. 24, No. 1, 1969, pp. 143-157. doi:10.1007/BF02134311
- N. C. A. Da Costa and D. Marconi, “An Overview of Para- consistent Logic in the 80’s,” The Journal of Non-Classical Logic, Vol. 6, No. 1, 1989, pp. 5-32.
- N. C. A. Da Costa, “On the Theory of Inconsistent Formal Systems,” Notre Dame Journal of Formal Logic, Vol. 15, No. 4, 1974, pp. 497-510. doi:10.1305/ndjfl/1093891487
- N. C. A. Da Costa, J. M. Abe and V. S. Subrahmanian, “Remarks on Annotated Logic,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 37, 1991, pp. 561-570.
- V. S. Subrahmanian, “On the Semantics of Quantitative Logic Programs,” Proceedings of the 4th IEEE Symposium on Logic Programming, San Francisco, 31 August-4 September 1987, pp. 173-182.
- J. M. Abe and J. I. Da Silva Filho, “Simulating Inconsistencies in a Paraconsistent Logic Controller,” International Journal of Computing Anticipatory Systems, Vol. 12, 2002, pp. 315-323.