THE ROLE OF ANNOTATED LOGICS IN AI: A REVIEW PAPER

Jair Abe; Kazumi Nakamatsu; Ari Aharari; Joao Filho

doi:10.15625/1813-9663/37/3/15955

Author affiliations

Authors

Jair Abe Paulista University
Kazumi Nakamatsu University of Hyogo
Ari Aharari Sojo University
Joao Filho Santa Cecilia University

DOI:

https://doi.org/10.15625/1813-9663/37/3/15955

Keywords:

paraconsistent logic, annotated logic, expert systems, computer networks, AI

Abstract

Annotated Logics are a category of non-classical logics that have recently appeared from a historical point of view. They are a type of paraconsistent, paracomplete and non-alethic logic. With the rapid development of AI and Automation and Robotics, more and more theory and techniques were coined to support the various issues that the themes were presenting. This expository work explores how to deal directly with conflicts (contradictions) and paracompleteness directly, without extra-logical devices. Support is given by the paraconsistent annotated evidential logic Et. Some applications are discussed.

Metrics

Metrics Loading ...

References

[1] J.M. Abe, Fundamentos da l´ogica anotada , (Foundations of annotated logics), in Portuguese, Doctor thesis, University of Sao Paulo, Sao Paulo,135p, (1992).

J.M. Abe, S. Akama, K. Nakamatsu, “Introduction to Annotated Logics -Foundations for Paracomplete and Paraconsistent Reasoning”, Intelligent Systems Reference Library, Vol.88, 190p., Springer International Publishing (2015).

J.M. Abe, “Some Aspects of Paraconsistent Systems and Applications”, Logique et Analyse, Vol.15, pp.83-96 (1997).

J.M. Abe, “Paraconsistent Intelligent Based-Systems: New Trends in the Applications of Para-consistency”, 306p, Springer-Verlag, Heiderberg, Intelligent Systems Reference Library Vol. 94 (2015).

S. Akama, “Towards Paraconsistent Engineering”, 234p., Intelligent Systems Reference Library Vol.110 (2016)

F.R. Carvalho, J.M. Abe, “A Simplified Version of the Fuzzy Decision Method and its Comparison with the Paraconsistent Decision Method”, AIP Conf. Proc. Vol.1303, no.24, pp.216-235 (2010).

F.R. Carvalho, I. Brunstein, J.M. Abe, “Decision Making Method Based on Paraconsistent An-notated Logic and Statistical Method: A Comparison”, Computing Anticipatory Systems, AIP Conf.Proc. Vol.1051, pp.195-208 (2008).

J.I. da Silva Filho, Abe, J.M. “Paraconsistent analyzer module”, International Journal of Com-puting Anticipatory Systems, Vol. 9, pp.346-352 (2001).

J.I. da Silva Filho, G.L. Torres, J.M. Abe, “Uncertainty Treatment Using Paraconsistent Logic -Introducing Paraconsistent Artificial Neural Networks”, 328p., IOS Press, Netherland (2010).

H. Mintzberg, “The fall and rise of strategic planning”, Harvard Business Review, Boston, (1994).

I.I. Mitroff, R.O. Mason, C.M. Pearson, “Framebreak: the radical redesign of American busi-ness”. Jossey-Bass, San Francisco (1994).

[12] A.P. Pimenta Jr., J.M. Abe, C.C. Oliveira, “An analyser of computer network logs based on Paraconsistent Logic”, IFIP International Federation for Information Processing, AICT Vol.459, pp.620-627, Springer International Publishing (2015).

A.P. Pimenta Jr., J.M. Abe, G.C. Silva, “Determination of operating parameters and performance analysis of computer networks with Paraconsistent Annotated Evidential Logic Eτ ”, IFIP

Advances in Information and Communication Technology, Vol.488, Springer International Publishing (2016).

M.E. Porter, “Competitve Strategy: Technique for Analyzing Industries and Competitors”. Free Press, New York (1980).

J.B. Quinn, “Strateg´ıes for change: logical incrementalism”, Homewood, III., Business one irwin (1980).

N.F. Reis, C.C. Oliveira, L. Sakamoto, A.G. Lira, J.M. Abe, “Construction of Scenarios through the Paraconsistent Annotated Evidential Logic Eτ”, IFIP Advances in Information and Commu-

nication Technology, Vol.438, pp.76-84, Springer-Verlag, Heidelberg (2014).

R. Sylvan, J.M. Abe, “On general annotated logics, with an introduction to full accounting logics”, Bulletin of Symbolic Logic, Vol.2, pp.118-119 (1996).

P.F. Tavares, G.C. Silva, L. Sakamoto, J.M. Abe, A. P. Pimenta Jr, “IT Incident Management and analysis using Non-Classical Logics”, Advances in Production Management Systems, Initiatives for a Sustainable World, IFIP Advances in Information and Communication Technology, Vol.488, pp.19-26, Springer International Publishing (2016).