Table Of ContentIntelligent Systems Reference Library 94
Jair Minoro Abe Editor
Paraconsistent
Intelligent-
Based Systems
New Trends in the Applications of
Paraconsistency
Intelligent Systems Reference Library
Volume 94
Series editors
Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland
e-mail: [email protected]
Lakhmi C. Jain, University of Canberra, Canberra, Australia, and
University of South Australia, Adelaide, Australia
e-mail: [email protected]
About this Series
TheaimofthisseriesistopublishaReferenceLibrary,includingnoveladvancesand
developments in all aspects of Intelligent Systems in an easily accessible and well
structured form. The series includes reference works, handbooks, compendia,
textbooks,well-structuredmonographs,dictionaries,andencyclopedias.Itcontains
wellintegratedknowledgeandcurrentinformationinthefieldofIntelligentSystems.
Theseriescoversthetheory,applications,anddesignmethodsofIntelligentSystems.
Virtually all disciplines such as engineering, computer science, avionics, business,
e-commerce,environment,healthcare,physicsandlifescienceareincluded.
Moreinformationaboutthisseriesathttp://www.springer.com/series/8578
Jair Minoro Abe
Editor
Paraconsistent Intelligent-
Based Systems
New Trends in the Applications
of Paraconsistency
123
Editor
Jair Minoro Abe
São Paulo
Brazil
ISSN 1868-4394 ISSN 1868-4408 (electronic)
Intelligent Systems Reference Library
ISBN978-3-319-19721-0 ISBN978-3-319-19722-7 (eBook)
DOI 10.1007/978-3-319-19722-7
LibraryofCongressControlNumber:2015940988
SpringerChamHeidelbergNewYorkDordrechtLondon
©SpringerInternationalPublishingSwitzerland2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar
methodologynowknownorhereafterdeveloped.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom
therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor
foranyerrorsoromissionsthatmayhavebeenmade.
Printedonacid-freepaper
SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia
(www.springer.com)
To my wife Tiyo and my lovely daughters
Clarissa Sayumi and Letícia Hisae
Preface
The studying of Logic in Brazil has enjoyed a wide influence on the field due in
large measure to the teachings, writings, and efforts of Newton C.A. da Costa
spanning a period of half century or more.
The many hours I have spent in seminairs, lectures, and private conversations
with Prof. Newton Costa were a real privilege.
Thispresentbookgivesmespecialsatisfactiontobeabletorecordmygratitude
and admiration to Prof. Newton Costa on this occasion.
One of da Costa’s major virtues is the construction (with other logicians inde-
pendently)ofanewtypeofnon-classicallogic,namelytheso-calledparaconsistent
logics (da Costa’s C systems). Roughly speaking, such systems allow contradic-
n
tions in their interior without trivialization. This is a rare contribution in pure
science made by Brazilian scientists.
In the beginning of my career I have experienced people observing ‘paracon-
sistentsystemscanbeeveninteresting,butthereisnointrinsicvalueatall,sothere
are not relevant applications’…
Thisbookisdevotedtosomeapplicationsofannotatedlogics,whichareakind
paraconsistent (and generally also paracomplete) logics.
I hope that this tiny collaboration deserves the attention of more experts to
become interested in the subject that is undoubtedly promising.
I would like to express thanks to the collaborators who were willing with
high-level works. Without them this book would have not been possible.
Last but not least, I am deeply grateful to Prof. Lakhmi C. Jain for his
encouragement and opportunity offered to accomplish this project.
Jair Minoro Abe
vii
Contents
Paraconsistent Logics: Preamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Jair Minoro Abe
Constructive Discursive Logic: Paraconsistency in Constructivism. . . . 23
Seiki Akama, Jair Minoro Abe and Kazumi Nakamatsu
Paraconsistent Annotated Logic Program EVALPSN
and Its Applications. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Kazumi Nakamatsu, Jair Minoro Abe and Seiki Akama
The New Hardware Structure of the Emmy II Robot . . . . . . . . . . . . . 87
Cláudio Rodrigo Torres and Régis Reis
A Suggestion for Sample Size Determination Using an Instrument
for Collecting Medical Data Based on Discrete Items. . . . . . . . . . . . . . 105
Euro de Barros Couto Junior
Paraconsistent Logic Algorithms Applied to Seasonal
Comparative Analysis with Biomass Data Extracted
by the Fouling Process. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
João Inácio da Silva Filho, Irapajy da Silva Caetano,
Floriana Nascimento Pontes, Maurício Conceição Mario,
Jair Minoro Abe and Fábio Giordano
ix
x Contents
An Algorithmic Method Supported by Paraconsistent Annotated
Logic Applied to the Determination of Friction Factors
for Turbulent Flow in Smooth Pipes. . . . . . . . . . . . . . . . . . . . . . . . . . 153
Maurício Conceição Mário, Marcílio Dias Lopes,
Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia,
João Inácio Da Silva Filho, José Carlos Morilla,
Clóvis Misseno Da Cruz, Jair Minoro Abe,
Claudio Rodrigo Torres and Deovaldo de Moraes Júnior
Paraconsistent Logic Study of Image Focus in Cylindrical
Refraction Experiments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Paulo Henrique Ferraz Masotti and Roberto Navarro de Mesquita
Paraconsistent Artificial Neural Networks and Aspects
of Pattern Recognition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
Sheila Souza and Jair Minoro Abe
Paraconsistent Logic in Decision Making: Paraconsistent
Decision Method (PDM). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
Fábio Romeu de Carvalho
Paraconsistent Neurocomputing and Biological Signals Analysis . . . . . 273
Jair Minoro Abe, Helder Frederico da Silva Lopes
and Renato Anghinah
Contributors
Jair Minoro Abe Graduate Program in Production Engineering, ICET—Paulista
University, São Paulo, Brazil; Institute for Advanced Studies, University of São
Paulo, São Paulo, Brazil
Seiki Akama C-Republic, Asao-Ku, Kawasaki, Japan
Renato Anghinah Reference Center of Behavioral Disturbances and Dementia
(CEREDIC) of Faculty of Medicine, University of São Paulo, São Paulo, Brazil
Clóvis Misseno Da Cruz UNISANTA—Santa Cecília University, Santos, SP,
Brazil
Irapajy da Silva Caetano UNISANTA—Santa Cecília University, Santos, SP,
Brazil
João Inácio da Silva Filho UNISANTA—Santa Cecília University, Santos, SP,
Brazil; IEA-USP—Institute of Advanced Studies of the University of São Paulo,
São Paulo, Brazil
Helder Frederico da Silva Lopes Faculty of Medicine, University of São Paulo,
São Paulo, Brazil
Euro de Barros Couto Junior Municipal Government of São Paulo, São Paulo,
Brazil
Fábio Romeu de Carvalho Paulista University, UNIP, São Paulo, Brazil
Cláudio Luís Magalhães Fernandes UNISANTA—Santa Cecília University,
Santos, SP, Brazil
Dorotéa Vilanova Garcia UNISANTA—Santa Cecília University, Santos, SP,
Brazil
Fábio Giordano UNISANTA—Santa Cecília University, Santos, SP, Brazil
Marcílio Dias Lopes UNISANTA—Santa Cecília University, Santos, SP, Brazil
xi
