Skip to main content
Top

2016 | OriginalPaper | Chapter

9. Paraconsistent Logics and Applications

Author : Jair Minoro Abe

Published in: New Approaches in Intelligent Control

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this work we summarize some of the applications of so-called Paraconsistent logics, mainly one class of them, the paraconsistent annotated logics. Roughly speaking such systems allow inconsistencies in a non-trivial manner in its interior; so it is suitable to handle themes in which inconsistencies become a central issue, like pattern recognition, non-monotonic reasoning, defeasible reasoning, deontic reasoning, multi-agent systems including distributed systems, collective computation, among a variety of themes.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
The first four diagnosis rules were supplied by the first expert clinician and the two remaining diagnosis rules were provided by the second expert clinician.
 
Literature
1.
go back to reference Abe, J.M.: Fundamentos da Lógica Anotada (1992) (Foundations of Annotated Logics in Portuguese). Ph.D. thesis, FFLCH/USP, São Paulo, Brazil (1992) Abe, J.M.: Fundamentos da Lógica Anotada (1992) (Foundations of Annotated Logics in Portuguese). Ph.D. thesis, FFLCH/USP, São Paulo, Brazil (1992)
2.
go back to reference Abe, J.M.: Some aspects of paraconsistent systems and applications. Log. et Anal. 15, 83–96 (1997)MATH Abe, J.M.: Some aspects of paraconsistent systems and applications. Log. et Anal. 15, 83–96 (1997)MATH
3.
go back to reference Abe, J.M., Da Silva Filho, J.I.: Inconsistency and electronic circuits. In: Alpaydin, E. (ed.) Proceedings of the International ICSC Symposium on Engineering of Intelligent Systems (EIS’98), Volume 3, Artificial Intelligence, pp. 191–197. ICSC Academic Press International Computer Science Conventions Canada/Switzerland (1998) Abe, J.M., Da Silva Filho, J.I.: Inconsistency and electronic circuits. In: Alpaydin, E. (ed.) Proceedings of the International ICSC Symposium on Engineering of Intelligent Systems (EIS’98), Volume 3, Artificial Intelligence, pp. 191–197. ICSC Academic Press International Computer Science Conventions Canada/Switzerland (1998)
4.
go back to reference Abe, J.M., da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Mult. Valued Log. Soft Comput. 9, 147–169 (2003) Abe, J.M., da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Mult. Valued Log. Soft Comput. 9, 147–169 (2003)
5.
go back to reference Abe, J.M. Nakamatsu, K.: Multi-agent systems and paraconsistent knowledge. In: Nguyen, N.T., Jain, L.C. (eds.) Knowledge Processing and Decision Making in Agent-Based Systems, Book Series Studies in Computational Intelligence, vol. 167, VIII, 400 p. 92 illus., pp. 101–121. Springer (2009) Abe, J.M. Nakamatsu, K.: Multi-agent systems and paraconsistent knowledge. In: Nguyen, N.T., Jain, L.C. (eds.) Knowledge Processing and Decision Making in Agent-Based Systems, Book Series Studies in Computational Intelligence, vol. 167, VIII, 400 p. 92 illus., pp. 101–121. Springer (2009)
6.
go back to reference Abe, J.M., Prado, J.C.A., Nakamatsu, K.: Paraconsistent artificial neural network: applicability in computer analysis of speech productions. Lect. Notes Comput. Sci. 4252, 844–850 (2006) (Springer) Abe, J.M., Prado, J.C.A., Nakamatsu, K.: Paraconsistent artificial neural network: applicability in computer analysis of speech productions. Lect. Notes Comput. Sci. 4252, 844–850 (2006) (Springer)
7.
go back to reference Anderson, A.R., Belnap, Jr. N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (Anderson, A.R., Belnap, Jr., N.D., Dunn, J.M.: Entailment, vol. II (1992)) (1975) Anderson, A.R., Belnap, Jr. N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (Anderson, A.R., Belnap, Jr., N.D., Dunn, J.M.: Entailment, vol. II (1992)) (1975)
8.
go back to reference Ávila, B.C.: Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para Tratar Exceções em Sistemas de Frames com Múltipla Herança. Ph.D. thesis, University of São Paulo, São Paulo (1996) Ávila, B.C.: Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para Tratar Exceções em Sistemas de Frames com Múltipla Herança. Ph.D. thesis, University of São Paulo, São Paulo (1996)
9.
go back to reference Borkowski, L., Słupecki, J.: The logical works of J. Łukasiewicz. Stud. Logica. 8, 7–56 (1958)CrossRefMATH Borkowski, L., Słupecki, J.: The logical works of J. Łukasiewicz. Stud. Logica. 8, 7–56 (1958)CrossRefMATH
10.
go back to reference Da Costa, N.C.A.: Logiques classiques et non classiques: Essai sur les fondements de la logique, Dunod Masson Ho, 275 pp (1997) Da Costa, N.C.A.: Logiques classiques et non classiques: Essai sur les fondements de la logique, Dunod Masson Ho, 275 pp (1997)
11.
go back to reference Da Costa, N.C.A., Subrahmanian, V.S.: Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intelligence Med. (Print) 1, 167–174 (1989) Da Costa, N.C.A., Subrahmanian, V.S.: Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intelligence Med. (Print) 1, 167–174 (1989)
12.
go back to reference Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on Annotated Logic. Zeitschrift f. math. Logik und Grundlagen Math. 37, 561–570 (1991) Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on Annotated Logic. Zeitschrift f. math. Logik und Grundlagen Math. 37, 561–570 (1991)
13.
go back to reference Da Costa, N.C.A., Prado, J.P.A., Abe, J.M., Ávila, B.C., Rillo, M.: Paralog: Um Prolog Paraconsistente baseado em Lógica Anotada, Coleção Documentos, Série Lógica e Teoria da Ciência, IEA-USP, 18, 21 pp (1995) Da Costa, N.C.A., Prado, J.P.A., Abe, J.M., Ávila, B.C., Rillo, M.: Paralog: Um Prolog Paraconsistente baseado em Lógica Anotada, Coleção Documentos, Série Lógica e Teoria da Ciência, IEA-USP, 18, 21 pp (1995)
14.
go back to reference Da Silva Filho, J.I.: Métodos de interpretação da Lógica Paraconsistente Anotada com anotação com dois valores LPA2v com construção de Algoritmo e implementação de Circuitos Eletrônicos, EPUSP. PhD Thesis (in Portuguese), São Paulo (1999) Da Silva Filho, J.I.: Métodos de interpretação da Lógica Paraconsistente Anotada com anotação com dois valores LPA2v com construção de Algoritmo e implementação de Circuitos Eletrônicos, EPUSP. PhD Thesis (in Portuguese), São Paulo (1999)
15.
go back to reference Da Silva Filho, J.I., Abe, J.M.: Paraconsistent electronic circuits. Int. J. Comput. Anticip. Syst. 9, 337–345 (2001) Da Silva Filho, J.I., Abe, J.M.: Paraconsistent electronic circuits. Int. J. Comput. Anticip. Syst. 9, 337–345 (2001)
16.
go back to reference Da Silva Filho, J.I., Torres, G.L., Abe, J.M.: Uncertainty Treatment Using Paraconsistent Logic—Introducing Paraconsistent Artificial Neural Networks, vol. 211, 328 pp. IOS Press, Holanda (2010) Da Silva Filho, J.I., Torres, G.L., Abe, J.M.: Uncertainty Treatment Using Paraconsistent Logic—Introducing Paraconsistent Artificial Neural Networks, vol. 211, 328 pp. IOS Press, Holanda (2010)
17.
go back to reference Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, London (1995)MATH Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, London (1995)MATH
18.
go back to reference Lopes, H.F.S., Abe, J.M., Anghinah, R.: Application of paraconsistent artificial neural networks as a method of aid in the diagnosis of alzheimer disease. J. Med. Syst. 1–9 (2009) (Springer-Netherlands) Lopes, H.F.S., Abe, J.M., Anghinah, R.: Application of paraconsistent artificial neural networks as a method of aid in the diagnosis of alzheimer disease. J. Med. Syst. 1–9 (2009) (Springer-Netherlands)
19.
go back to reference Lopes, H.F.S., Abe, J.M., Kanda, P.A.M., Machado, S., Velasques, B., Ribeiro, P., Basile, L.F.H., Nitrini, R., Anghinah, R.: Improved application of paraconsistent artificial neural networks in diagnosis of alzheimer’s disease. Am. J. Neurosci. 2(1), 54–64 (2011) (Science Publications) Lopes, H.F.S., Abe, J.M., Kanda, P.A.M., Machado, S., Velasques, B., Ribeiro, P., Basile, L.F.H., Nitrini, R., Anghinah, R.: Improved application of paraconsistent artificial neural networks in diagnosis of alzheimer’s disease. Am. J. Neurosci. 2(1), 54–64 (2011) (Science Publications)
20.
go back to reference Mario, M.C., Abe, J.M., Ortega, N., Del Santo Jr., M.: Paraconsistent artificial neural network as auxiliary in cephalometric diagnosis. Artif. Organs 34(7), 215–221 (2010) (Wiley Interscience) Mario, M.C., Abe, J.M., Ortega, N., Del Santo Jr., M.: Paraconsistent artificial neural network as auxiliary in cephalometric diagnosis. Artif. Organs 34(7), 215–221 (2010) (Wiley Interscience)
21.
go back to reference Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning, rough sets and current trends in computing. Lecture Notes in Artificial Intelligence Series, pp. 470–478, Springer (2005) Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning, rough sets and current trends in computing. Lecture Notes in Artificial Intelligence Series, pp. 470–478, Springer (2005)
23.
go back to reference Prado, J.P.A.(1996), Uma Arquitetura em IA Baseada em Lógica Paraconsistente, Ph.D. thesis (in Portuguese), University of São Paulo Prado, J.P.A.(1996), Uma Arquitetura em IA Baseada em Lógica Paraconsistente, Ph.D. thesis (in Portuguese), University of São Paulo
24.
go back to reference Routley, R., Meyer, R.K., Plumwood, V., Brady, R.: Relevant Logics and its Rivals, vol. I. Ridgeview, Atascardero (1983) Routley, R., Meyer, R.K., Plumwood, V., Brady, R.: Relevant Logics and its Rivals, vol. I. Ridgeview, Atascardero (1983)
25.
go back to reference Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings 4th IEEE Symposium on Logic Programming, pp. 173–182. Computer Society Press, Washington (1987) Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings 4th IEEE Symposium on Logic Programming, pp. 173–182. Computer Society Press, Washington (1987)
26.
go back to reference Torres, C.R.: Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial Eτ para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-estruturado. PhD. thesis (in Portuguese), Federal University of Itajuba, Brazil (2010) Torres, C.R.: Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial Eτ para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-estruturado. PhD. thesis (in Portuguese), Federal University of Itajuba, Brazil (2010)
27.
go back to reference Vasiliev, N.A.: Imaginary (non-Aristotelian) Logic. Trans. Vergauwen, R., Zaytsev, E.A. Log. et Anal. 46(182), 127–163 (2003) Vasiliev, N.A.: Imaginary (non-Aristotelian) Logic. Trans. Vergauwen, R., Zaytsev, E.A. Log. et Anal. 46(182), 127–163 (2003)
28.
go back to reference Abe, J.M.: Paraconsistent Artificial Neural Networks: An Introduction. Lecture Notes In Computer Science 3214, Springer, pp. 942–948 (2004) Abe, J.M.: Paraconsistent Artificial Neural Networks: An Introduction. Lecture Notes In Computer Science 3214, Springer, pp. 942–948 (2004)
29.
go back to reference Abe, J.M.: Para-Fuzzy Logic Controller. Lecture Notes In Computer Science 3214, Springer, pp. 935–941 (2004) Abe, J.M.: Para-Fuzzy Logic Controller. Lecture Notes In Computer Science 3214, Springer, pp. 935–941 (2004)
30.
go back to reference Abe, J.M., Akama, S.: Paraconsistent Annotated Temporal Logics D*τ, pp. 217–226. Springer, Lecture Notes in Computer Science (2000)MATH Abe, J.M., Akama, S.: Paraconsistent Annotated Temporal Logics D*τ, pp. 217–226. Springer, Lecture Notes in Computer Science (2000)MATH
31.
go back to reference Abe, J.M., Da Silva Filho, J.I.: Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 71, 287 pp. IOS Press, Amsterdam, Ohmsha, Tokyo (2001) Abe, J.M., Da Silva Filho, J.I.: Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 71, 287 pp. IOS Press, Amsterdam, Ohmsha, Tokyo (2001)
32.
go back to reference Abe, J.M., Da Silva Filho, J.I.: Advances in Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 85, 277 pp. IOS Press, Amsterdan, Ohmsha, Tokyo (2002) Abe, J.M., Da Silva Filho, J.I.: Advances in Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 85, 277 pp. IOS Press, Amsterdan, Ohmsha, Tokyo (2002)
33.
go back to reference Abe, J.M., Nakamatsu, K., Akama, S.: Non-Alethic Reasoning in Distributed Systems. Lecture Notes In Computer Science 3684, Springer, pp. 724–731 (2005) Abe, J.M., Nakamatsu, K., Akama, S.: Non-Alethic Reasoning in Distributed Systems. Lecture Notes In Computer Science 3684, Springer, pp. 724–731 (2005)
34.
go back to reference Abe, J.M., Ortega, N., Mário, M.C., Del Santo, Jr., M.: Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis. Lecture Notes In Computer Science 3684, Springer, pp. 716–723 (2005) Abe, J.M., Ortega, N., Mário, M.C., Del Santo, Jr., M.: Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis. Lecture Notes In Computer Science 3684, Springer, pp. 716–723 (2005)
35.
go back to reference Abe, J.M., Lopes, H.F.S., Nakamatsu, K., Akama, S.: Paraconsistent Artificial Neural Networks and EEG Analysis (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 164–173 (2010) Abe, J.M., Lopes, H.F.S., Nakamatsu, K., Akama, S.: Paraconsistent Artificial Neural Networks and EEG Analysis (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 164–173 (2010)
36.
go back to reference Abe, J.M., Nakamatsu, K., Akama, S.: Monadic Curry System N1* (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 143–153. ISSN 0302-9743 (2010) Abe, J.M., Nakamatsu, K., Akama, S.: Monadic Curry System N1* (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 143–153. ISSN 0302-9743 (2010)
37.
go back to reference Abe, J.M., Lopes, H.F.S., Nakamatsu, K.: Paraconsistent neurocomputing and brain signal analysis, Vietnam Journal of Computer Science (2014): Print, pp. 1–12. Springer, Berlin, Heidelberg (2014). ISSN 2196-8888. doi:10.1007/s40595-014-0022-9 Abe, J.M., Lopes, H.F.S., Nakamatsu, K.: Paraconsistent neurocomputing and brain signal analysis, Vietnam Journal of Computer Science (2014): Print, pp. 1–12. Springer, Berlin, Heidelberg (2014). ISSN 2196-8888. doi:10.​1007/​s40595-014-0022-9
38.
go back to reference Akama, S., Nakamatsu, K., Abe, J.M.: Constructive Discursive Reasoning. Lecture Notes in Computer Science, Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 200–206 (2010) Akama, S., Nakamatsu, K., Abe, J.M.: Constructive Discursive Reasoning. Lecture Notes in Computer Science, Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 200–206 (2010)
39.
go back to reference Akama, S., Abe, J.M., Nakamatsu, K.: Contingent information: a four-valued approach. In: Advances in Intelligent Systems and Computing, vol. 326, pp. 209–217, Springer International Publishing (2015). ISSN 2194-5357. doi:10.1007/978-3-319-11680-8_17 Akama, S., Abe, J.M., Nakamatsu, K.: Contingent information: a four-valued approach. In: Advances in Intelligent Systems and Computing, vol. 326, pp. 209–217, Springer International Publishing (2015). ISSN 2194-5357. doi:10.​1007/​978-3-319-11680-8_​17
40.
go back to reference Alasuutari, A., Nakamatsu, K., Abe, J.M.: Safety verification for e-business model based on paraconsistent annotated logic program bf-EVALPSN, frontiers of artificial intelligence and applications (FAIA) series. In: Proceeding of: Intelligent Decision Technologies 2014, Volume 262: Smart Digital Futures 2014, Volume: Frontiers in Artificial Intelligence and Applications, pp. 248–257, Netherlands (2014). ISSN 0922-6389 (print). doi:10.3233/978-1-61499-405-3-248 Alasuutari, A., Nakamatsu, K., Abe, J.M.: Safety verification for e-business model based on paraconsistent annotated logic program bf-EVALPSN, frontiers of artificial intelligence and applications (FAIA) series. In: Proceeding of: Intelligent Decision Technologies 2014, Volume 262: Smart Digital Futures 2014, Volume: Frontiers in Artificial Intelligence and Applications, pp. 248–257, Netherlands (2014). ISSN 0922-6389 (print). doi:10.​3233/​978-1-61499-405-3-248
41.
go back to reference Ávila, B.C., Abe, J.M., Prado, J.P.A.: ParaLog-e: a paraconsistent evidential logic programming language. In: XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, pp. 2–8 (1997) Ávila, B.C., Abe, J.M., Prado, J.P.A.: ParaLog-e: a paraconsistent evidential logic programming language. In: XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, pp. 2–8 (1997)
42.
go back to reference Da Costa, N.C.A., O Conhecimento Científico (2000), Discurso Editorial, São Paulo Da Costa, N.C.A., O Conhecimento Científico (2000), Discurso Editorial, São Paulo
43.
go back to reference Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., Murolo, A., Leite, C.: Lógica Paraconsistente Aplicada (in Portuguese), Editora Atlas (1999) Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., Murolo, A., Leite, C.: Lógica Paraconsistente Aplicada (in Portuguese), Editora Atlas (1999)
44.
go back to reference Da Silva Filho, J.I., Abe, J.M.: Paraconsistent analyzer module. Int. J. Comput. Anticip. Syst. 9, 346–352 (2001) Da Silva Filho, J.I., Abe, J.M.: Paraconsistent analyzer module. Int. J. Comput. Anticip. Syst. 9, 346–352 (2001)
45.
go back to reference Nakamatsu, K., Abe, J.M.: Advances in Logic-Based Intelligent Systems, Frontiers in Artificial Intelligence and Its Applications, vol. 132, 289 pp. IOS Press, Amsterdan (2005) Nakamatsu, K., Abe, J.M.: Advances in Logic-Based Intelligent Systems, Frontiers in Artificial Intelligence and Its Applications, vol. 132, 289 pp. IOS Press, Amsterdan (2005)
46.
go back to reference Nakamatsu, K., Abe, J.M.: The paraconsistent process order control method. Vietnam J. Comput. Sci. 1(1):29–37 (2014) Nakamatsu, K., Abe, J.M.: The paraconsistent process order control method. Vietnam J. Comput. Sci. 1(1):29–37 (2014)
47.
go back to reference Nakamatsu, K., Abe, J.M.: Paraconsistent annotated logic programs and application to intelligent verification systems. Stud. Comput. Intell. (Print) 514, 279–315 (2014). ISSN: 1860-949X. doi:10.1007/s40595-013-0002-5 Nakamatsu, K., Abe, J.M.: Paraconsistent annotated logic programs and application to intelligent verification systems. Stud. Comput. Intell. (Print) 514, 279–315 (2014). ISSN: 1860-949X. doi:10.​1007/​s40595-013-0002-5
48.
go back to reference Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. Lecture Notes in Computer Science 2005, Springer, pp. 470–478 (2000) Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. Lecture Notes in Computer Science 2005, Springer, pp. 470–478 (2000)
49.
go back to reference Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. Lecture Notes in Computer Science, Springer, Heidelberg, vol. 2639, pp. 719–723 (2003) Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. Lecture Notes in Computer Science, Springer, Heidelberg, vol. 2639, pp. 719–723 (2003)
50.
go back to reference Nakamatsu, K, Akama, S., Abe, J.M.: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. Lecture Notes In Computer Science 3684, Springer, pp. 708–723 (2005) Nakamatsu, K, Akama, S., Abe, J.M.: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. Lecture Notes In Computer Science 3684, Springer, pp. 708–723 (2005)
51.
go back to reference Nakamatsu, K., Abe, J.M., Kountchev, R.: Introduction to Intelligent Elevator Control Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 133–142 (2010) Nakamatsu, K., Abe, J.M., Kountchev, R.: Introduction to Intelligent Elevator Control Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 133–142 (2010)
52.
go back to reference Nakamatsu, K., Abe, J.M., Watanabe, T.: Introduction to Intelligent Network Routing Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 123–132 (2010) Nakamatsu, K., Abe, J.M., Watanabe, T.: Introduction to Intelligent Network Routing Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 123–132 (2010)
53.
go back to reference Nakamatsu, K., Imai, T., Abe, J.M., Watanabe, T.: Application of EVALPSN to network routing. In: Advances in Intelligent Decision Technologies, Springer, Berlin/Heidelberg, Germany, pp. 527–536 (2010) Nakamatsu, K., Imai, T., Abe, J.M., Watanabe, T.: Application of EVALPSN to network routing. In: Advances in Intelligent Decision Technologies, Springer, Berlin/Heidelberg, Germany, pp. 527–536 (2010)
54.
go back to reference Souza, S., Abe, J.M.: Nevus and Melanoma Paraconsistent Classification, Studies in Health Technology and Informatics, vol. 207, pp. 254–260, (print). IOS Press, Amsterdam, Holanda (2014). ISSN 0926-9630 Souza, S., Abe, J.M.: Nevus and Melanoma Paraconsistent Classification, Studies in Health Technology and Informatics, vol. 207, pp. 254–260, (print). IOS Press, Amsterdam, Holanda (2014). ISSN 0926-9630
55.
go back to reference Souza, S., Abe, J.M.: Handwritten numerical characters recognition based on paraconsistent artificial neural networks. In: Bdic et al., A. (ed.) Recent Developments in Computational Collective Intelligence, Studies in Computational Intelligence 513, pp. 93–102. © Springer International Publishing Switzerland (2014). ISSN: 1860-949X. doi:10.1007/978-3-319-01787-7_9 Souza, S., Abe, J.M.: Handwritten numerical characters recognition based on paraconsistent artificial neural networks. In: Bdic et al., A. (ed.) Recent Developments in Computational Collective Intelligence, Studies in Computational Intelligence 513, pp. 93–102. © Springer International Publishing Switzerland (2014). ISSN: 1860-949X. doi:10.​1007/​978-3-319-01787-7_​9
56.
go back to reference Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bull. Symb. Log. 2, 118–119 (1996) Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bull. Symb. Log. 2, 118–119 (1996)
57.
go back to reference Torres, C.R., Abe, J.M., Torres, G.L., Da Silva Filho, J.I., Martins, H.G.: A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 154–163 (2010) Torres, C.R., Abe, J.M., Torres, G.L., Da Silva Filho, J.I., Martins, H.G.: A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 154–163 (2010)
Metadata
Title
Paraconsistent Logics and Applications
Author
Jair Minoro Abe
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-32168-4_9

Premium Partner