Get Interactions Between Computational Intelligence and Mathematics Part 2 László T. Kóczy Free All Chapters
Get Interactions Between Computational Intelligence and Mathematics Part 2 László T. Kóczy Free All Chapters
Get Interactions Between Computational Intelligence and Mathematics Part 2 László T. Kóczy Free All Chapters
com
https://textbookfull.com/product/interactions-between-
computational-intelligence-and-mathematics-part-2-laszlo-t-
koczy/
OR CLICK BUTTON
DOWLOAD EBOOK
https://textbookfull.com/product/trends-in-mathematics-and-
computational-intelligence-maria-eugenia-cornejo/
https://textbookfull.com/product/artificial-intelligence-
foundations-of-computational-agents-david-l-poole/
https://textbookfull.com/product/computational-intelligence-
theories-applications-and-future-directions-volume-i-nishchal-k-
verma/
Computational Intelligence Theories Applications and
Future Directions Volume II ICCI 2017 Nishchal K. Verma
https://textbookfull.com/product/computational-intelligence-
theories-applications-and-future-directions-volume-ii-
icci-2017-nishchal-k-verma/
https://textbookfull.com/product/lake-biwa-interactions-between-
nature-and-people-2nd-edition-hiroya-kawanabe/
https://textbookfull.com/product/computational-intelligence-and-
sustainable-systems-intelligence-and-sustainable-computing-h-
anandakumar/
https://textbookfull.com/product/recent-studies-on-computational-
intelligence-doctoral-symposium-on-computational-intelligence-
dosci-2020-ashish-khanna/
https://textbookfull.com/product/computational-intelligence-and-
its-applications-abdelmalek-amine/
Studies in Computational Intelligence 794
László T. Kóczy
Jesús Medina-Moreno
Eloísa Ramírez-Poussa Editors
Interactions Between
Computational
Intelligence and
Mathematics Part 2
Studies in Computational Intelligence
Volume 794
Series editor
Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland
e-mail: [email protected]
The series “Studies in Computational Intelligence” (SCI) publishes new develop-
ments and advances in the various areas of computational intelligence—quickly and
with a high quality. The intent is to cover the theory, applications, and design
methods of computational intelligence, as embedded in the fields of engineering,
computer science, physics and life sciences, as well as the methodologies behind
them. The series contains monographs, lecture notes and edited volumes in
computational intelligence spanning the areas of neural networks, connectionist
systems, genetic algorithms, evolutionary computation, artificial intelligence,
cellular automata, self-organizing systems, soft computing, fuzzy systems, and
hybrid intelligent systems. Of particular value to both the contributors and the
readership are the short publication timeframe and the world-wide distribution,
which enable both wide and rapid dissemination of research output.
Eloísa Ramírez-Poussa
Editors
Interactions Between
Computational Intelligence
and Mathematics Part 2
123
Editors
László T. Kóczy Jesús Medina-Moreno
Department of Information Technology Department of Mathematics,
Széchenyi István University Faculty of Science
Győr, Hungary University of Cádiz
Cádiz, Spain
and
Eloísa Ramírez-Poussa
Budapest University of Technology Department of Mathematics,
and Economics Faculty of Economic and
Budapest, Hungary Business Sciences
University of Cádiz
Cádiz, Spain
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Preface
The latest technological advances in handling very complex problems make nec-
essary the combination of mathematical techniques with computational intelligence
tools in order to solve these various problems emerging in many different areas.
Indeed, important funding programs are devoted to the development of new
instruments to deal with the challenges that we face in the current technological age.
Without doubt, research topics associated with the interaction between computa-
tional intelligence and mathematics play a key role at presence. In this special issue,
engineers, scientists, and mathematicians provide appealing contributions focused
on the solution of meaningful and realistic problems, which connect those two
research areas. This contributed volume presents a series of novel solutions for such
problems.
Chapter “On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-
Prolog System: Declarative Semantics, Implementation and Applications” by
Clemente Rubio-Manzano and Martín Pereira-Fariña is focused on the design and
the implementation of an interval-valued fuzzy (IVF) logic language and its
incorporation into the Bousi-Prolog system. First of all, a detailed study on the
syntax and the semantics corresponding to the IVF logic language is presented. The
formalization of the notion of least IVF Herbrand model for IVF programs plays a
key role in this research. From the implementation point of view, the main chal-
lenge is now to add an IVFSs’ arithmetic to the Warren Abstract Machine based on
similarity. By means of potential applications, the authors show that the IVF logic
programming language thus developed is very useful in modeling the uncertainty
and imprecision of the knowledge related to lexical resources.
Chapter “The Existence of Generalized Inverses of Fuzzy Matrices” by
Miroslav Ćirić and Jelena Ignjatović provides a novel approach for testing the
existence of different generalized inverses of fuzzy matrices whose entries belong to
a complete residuated lattice. An iterative method to compute these greatest gen-
eralized inverses is also proposed. In particular, this iteration ends in a finite number
of steps when the considered fuzzy matrices have their entries in a Heyting algebra.
Moreover, the problem of representing generalized inverses as a solution for linear
equation systems is discussed.
v
vi Preface
questions, about a new measure on interactivity between fuzzy numbers, called the
“weighted possibilistic correlation coefficient,” were left unanswered. This paper
proves that when the marginal possibility distributions have equal, strictly
increasing or strictly decreasing membership functions, the lower limit of the
possibilistic correlation coefficient is −1. In addition, they also present an extension
of these results to the general case for fuzzy and quasi-fuzzy numbers. It is
important to highlight that the results presented in this work can be very useful in
time-series models and fuzzy statistics.
Chapter “A Generalized Net Model for the Coordination and Synchronization of
Human and Computer-Based Expert Type Decision Support Activities” by
Evdokia Sotirova, Janusz Kacprzyk, Krassimir Atanassov, and Eulalia Szmidt is
framed in the area of decision making. In this work, the authors introduce a new
approach for modeling and supporting a special class of multi-agent decision
making. The generalized net model of a decision-making process involves the
human agents (experts), some decision-making tools, and techniques exemplified
by algorithms, procedures, decision support systems, and expert systems.
Therefore, they prove that the use of the tools and techniques of the generalized nets
can organize, coordinate, and synchronize both the work of experts and
decision-making tools in order to obtain results in the most adequate, effective, and
efficient way.
Chapter “Wavelet Analysis and Structural Entropy Based Intelligent
Classification Method for Combustion Engine Cylinder Surfaces” by
Szilvia Nagy and Levente Solecki develops an intelligent fuzzy classification
method, based on structural entropy and wavelet analysis, for characterizing
combustion engine cylinder surfaces. From scanned images of the surfaces, the
proposed method is capable of identifying whether a surface is either worn or new
and if such surface can be helpful to establish the grade of wear. Specifically,
structural entropies are used to determine the general slope of the shape of the
surface. Concerning the wavelet analysis, this technique is employed to separate the
scale behavior patterns of the surfaces. The authors conclude that the developed
method can distinguish, with a good accuracy, both a worn surface scanned by a
contact stylus and a new surface scanned by an optical scanner on a silicone replica.
We wish to thank the authors for their excellent and inspiring contributions and
anonymous peer reviewers whose insight and suggestions have helped a lot to
improve the contributions. And last but not least, we wish to thank
Dr. Tom Ditzinger, Dr. Leontina di Cecco, and Mr. Holger Schaepe for their
dedication and help to implement and finish this large and ambitious publication
project.
ix
x Contents
C. Rubio-Manzano (B)
Department of Information Systems, University of the Bío-Bío, Concepción, Chile
e-mail: [email protected]
M. Pereira-Fariña
Centre for Argument Technology, University of Dundee, QMB Balfour Street,
Dundee DD14HN, UK
e-mail: [email protected]; [email protected]
M. Pereira-Fariña
Departamento de Filosofía e Antropoloxía, Universidade de Santiago de
Compostela, Praza de Mazarelos, 15782 Santiago de Compostela, Spain
2 Preliminary Concepts
IVFSs are a fuzzy formalism based on two membership mappings instead of a single
one, like in standard FSs. Each one of these membership functions are called, lower
membership function and upper membership function. Both are established on a
universe of discourse X , and they map each element from X to a real number in the
[0, 1] interval, where the elements of X belongs to A according to an interval.
As can be observed in Definition 1, those intervals are included in [0, 1] and closed
at both ends. On the other hand, some arithmetic operations on interval-numbers have
been recalled since they are useful in operating on cardinalities of IVFSs. Let a =
[a, a], b = [b, b] be intervals in R, and r ∈ R+. The arithmetic operations ’+’, ’−’,
’·’ and power are defined as follows:
a, a + b, b = a + b, a + b ; (1)
a, a − b, b = a − b, a − b ; (2)
a, a · b, b = min(a · b, a · b, a · b, a · b), max(a · b, a · b, a · b, a · b) ;
(3)
r r r
a, a = a , a for non-negative a, a (4)
4 C. Rubio-Manzano and M. Pereira-Fariña
The operations of union and intersection for IVFSs are defined by triangular
norms. Let A, B be IVFSs in X , t a t-norm and s a t-conorm. The union of A and
B is the interval-valued fuzzy set A ∪ B with the membership function: μ A∪B (x) =
[s(μ A (x), μ B (x)), s(μ A (x), μ B (x))]. The intersection of A and B is the IVFSs A∩B
in which μ A∩B (x) = [t (μ A (x), μ B (x)), t (μ A (x), (μ B (x))]. Thus, de Morgan’s laws
for IVFSs A,B in X are: (A ∪ B)c = Ac ∩ B c and (A ∩ B)c = Ac ∪ B c .
Let L be a lattice of intervals in [0, 1] that satisfies:
Also by definition
Hence, 0 L = [0, 0] and 1 L = [1, 1] are the smallest and the greatest elements in L.
Q, [α, α] (9)
A ← Q, [β, β] (10)
A, T ([α, α], [β, β]] (11)
On the Incorporation of Interval-Valued Fuzzy Sets into the Bousi-Prolog System … 5
If we have (9) and (10), we can deduce (11) with T a t-norm defined on the lattice
L([0, 1]).
The design of a programming language involves three main steps. Firstly, the defini-
tion of the syntax; secondly, the elaboration of a formal study of its semantics; and
thirdly, an implementation of the system. In order to address the tasks related with
syntax and semantics, we will follow the guidelines established in [19, 20]1 ; for the
implementation task, we will follow the guidelines detailed in [16].
3.1 Sintax
Not much time was wasted in port. Two days after arriving, on
May 10th, the bunkers were filled with coal, and there was precious
little cursing over the hard and dirty job which had so often caused
the crew to agree that what General Sherman said about war was
absurdly inadequate. It was different now. Every shovel and basket
of coal meant steam to shove the old boat nearer home. That
homeward-bound pennant trailed jubilantly from the masthead, a
silk streamer of red, white, and blue, one hundred and eighty feet
long, into whose folds had been fondly stitched the desires, the
yearnings, the anticipations of every man in the ship. Only a few of
them had stood, with bared heads, on the Corsair’s deck when she
had been formally commissioned as a fourth-rate gunboat of the
United States Navy in May of 1917, and the bright ensign had
whipped in the breeze.
Many of that company had seen service in other ships and some
were civilians again, but memory was apt to hark back to the Corsair
with a certain affection and regret. And wherever they were to be,
these youthful sailors would feel a thrill of pride and kinship at sight
of a Navy man and they would kindle to the sentiment:
O F the old crew, the crew which had sailed with Pershing’s First
Expeditionary Force, only two officers and eighteen men
watched the frowning headlands of Brittany sink into the sea as the
Corsair turned her bow to follow the long trail that led to the twin
lights of Navesink and the skyline of New York. A day at the Azores
for coal and she laid a course for Bermuda and another brief call
before straightening out for the last stretch of the journey. On May
28th she steamed into her home port after an absence just a little
short of two years. There was no uproarious welcome when the gray
Corsair slipped through the Narrows and sought a berth at the
Brooklyn Navy Yard. The war had ended more than half a year
earlier. It was already an old story, but the ship had done her duty
and was content with this.
A few days later she ceased to be enrolled in the United States
Navy. There was no ceremonious formality and the documents in the
case were exceedingly brief, but they signified the end of a story
which had added a worthy page to the annals of American
manhood. “Ships are all right. It is the men in them,” said one of
Joseph Conrad’s wise old mariners. This was true of the Corsair and
the other yachts of the Breton Patrol. And so the Navy Department
spoke the last word in this concise order:
Headquarters of the Third Naval
District, Brooklyn, New York
June 6, 1919
From: Officer in Charge, Material Department.
To: Commanding Officer U.S.S. Corsair, S.P. 159.
Subject: Orders.
Proceed to W. & A. Fletcher Shipyard, Hoboken, N.J.,
June 9, 1919. Place the vessel out of commission in