From Deterministic World View To Uncertainty and Fuzzy Logic: A Critique of Artificial Intelligence and Classical Logic
From Deterministic World View To Uncertainty and Fuzzy Logic: A Critique of Artificial Intelligence and Classical Logic
Abstract
The purpose of this paper is to show paradigm shift about mechanistic and deterministic
world view or thinking that it has been a dominant role over centuries. This view is
based on three columns: First, Aristotelian Logic which it has nearly ruled for twenty
three centuries. Second is Newtonian Mechanics and Cartesian Dualism. Third
Determinism, which has been transformed Uncertainty in the 20th century. The central
theme of this paper is Critique of Classical Logic, Cartesian Dualism and Artificial
Intelligence. Finally we will show that natural thinking and system would be ruled in
the next century: Fuzzy World or Fuzzy Logic.
Keywords: Fuzzy logic, classical logic, Cartesian dualism, artificial intelligence
1. Introduction
This essential idea of this paper is to critise classical logic, mechanistic world or
deterministic world view, Cartesian dualism, machine/artificial intelligence. Our aim is
to prove the profound role of the fuzzy logc. Uncertainity and natural/human
intelligence. The contents of this paper are based on nine sections;
55
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
Introduction
Aristotelian Logic
Cartesian and Newtonian World View:
Mind-Body Problem and Dualism
Mind Intelligence and Artificial Intelligence
Human Intelligence versus Machine/Artificial Intelligence
Critique of Artificial Intelligence
Gdels Theorem: Incompleteness and Human Reasoning
Logic and Artificial Intelligence: Uncertainty and Fuzzy Logic
Epilogue
2. Aristotelian logic
The analysis of logical form, opposition and conversion are combined in syllogistic,
Aristotles the greatest invention in logic Aristotle may also be credited with the
formulation of several metalogical theses, most notably the Law of Noncontradiction,
the principle of the Excluded Middle, and the Law of Bivalence (King and Shapiro,
1995).
Fernand Schwarz, a French anthropologist and philosopher, in his book, was termed the
Aristotelian logic either/ or logic as metaphysical calamity or disaster (Schwarz,
1997).
After centuries it was understood that the world and human being can not be represent
with yes-no rules, laws and expressions..When we reach to 20th century, a new approach
to physical world takes place: Fuzzy World
56
L. Zadeh, father of Fuzzy Logic, shows this paradigm shift from bivalent logic to fuzzy
logic is to represent better than Aristotalian (human) reason in fig.1
New Logical Systems by L. A. Zadeh
bivalent
logic
truth is bivalent
every
proposition is
either true or
false with no
intermediate
degree of truth
allowed
multivalent
logic
truth is
multivalent
almost all
concepts
are bivalent
fuzzy
logic
everything is or
is to allowed to
be graduated,
that is, be a
matter of degree
everything is or
is allowed to be
granulated
57
58
This is, roughly, the content of Cartesian Dualism but why believes the view is true?
Descartes was impressed by some of the mental-physical differences listed earlier. But
his most powerful argument for dualism, and the one that has historically received the
most attention, proceeds from the more conceivability of ones own disembodied
existence (OConner, Robb, 2003)
Two arguments persuaded Descartes that he could virtually all his normal beliefs. The
first is the argument from dreaming. We believe that we are sitting by the fire with a
piece of paper in my hand. Why? Because my senses tell me so. But could I not be
dreaming? In dreams my senses present me with information of the same kind as I
receive waking. So how do I know that I am not dreaming now?
A similar argument can be mounted for the proposition that I think, which verifies itself
very act of being doubted. Neither I think nor I exist expresses a necessary truth: each
might have been false.
We should say that the truth that I exist is self-evident. Descartes wrote rather that its
manifest to the natural light of reason (Scruton, 2002).
Descartes has been painted as dividing the mental and the material so clearly that bodily
processes make no real contribution to guiding human behavior. Descartes has been
accused of disdain for the body and seeking liberation from the body ad emotions so
as became a purified or disembodied mind (Hatfield, 2007).
59
Philosophy of Mind: David Braddon-Mitchell and Frank Jackson propose that two
approaches are widely used to introduce the philosophy of mind. One approach is
historical: it is given a sketch of the views of some of the great scholars of the past. The
other approach is the one chosen by book. The reader learns about current views and as
a consequence learns only about the concepts that in use nowadays.
The authors argue that we all have an implicit knowledge of the mind, just like we have
an implicit knowledge of grammar of our mother tongue. In the case of grammar, our
implicit knowledge is revealed by our ability to formulate correct sentences and to
recognize incorrect sentences. Our knowledge about mind is revealed by our ability to
predict our own behavior as well as of other people these predictions are stated in terms
of mental states. Hence our commonly used mental terms are a window in to human
mind (Beudewijnse, 2008).
Another review on Dennetts Book, Writer of Descartes Error about Mind:
Dennett is one of the pioneers, is assuming increasing importance in contemporary
cognitive science. A second and equally important aim of the book is to challenge the
Cartesian, anthropomorphic and realist prejudices of the lay public.
Dennett begins, in his deceptively easy style, with a list of questions prompting the
reader to consider which organisms might or might not process minds (Dickins and
Frankish, 1997).
Physics of the Mind: As a physical theory of the mind possible? What kind of physics
would this be? We proceed assuming that the mind and brain refer to the same physical
system at different level of description. This situation is not new to physics. The world
is amenable to understanding at various levels. Understanding searched by physicists is
specific in certain ways: physics is a search for basic laws, a few universal first
principles describing a wealth of observed phenomena. Many other physics of the
mind and we will attempt to overcome this initial reaction. Some of the reasons for
discomfort are obvious: the mind is perceived as deeply personal, something that no
equation will ever be able to describe, no computer ever be able to simulate. The future
will tell how close a physical theory could come to understand individual minds.
Another reason for skepticism is that the mind the mind is both diverse and
unpredictable, therefore how can it be reduced to few basic laws? Newton nothing
wrong with developing physics of the mind, which he called spiritual substance.
However Newton failed and since then few physicists have dared to approach the
subject. Recently new data, new institutions and new mathematical tools have emerged,
and today we make a new attempt. We seek to identify a few basic principles of the
mind operation formulate these principles mathematically, use them to explain a wealth
of known data, and make predictions that can be tested in the lab (Perlovsky, 2006).
60
61
And intelligence is the computational part of the ability to achieve goals in the world.
Varying kind and degrees of intelligence occur in people, many animals and some
machines.
The answer of to Isnt there a solid definition of intelligence that doesnt depend on
relating it to human intelligence? is that according to him: The problem is that we
cannot yet characterize in general what kinds of computational procedures we want to
call intelligence. We understand some of the mechanisms of intelligence and not others
(McCarthy, 2007).
62
63
tradition or concern (other than inspirational) for the accidents of human constitution,
but disciplined by the limits of mechanical computation. More than other new sciences,
AI and philosophy have things to say to one to another: any attempt to create and
understand minds must be of philosophical interest. In fact, AI is philosophy, conducted
by novel means (Glymour, et al 2006).
Questions Currently Latent in Artificial Intelligence: Here we have identified two
questions which lie beneath the surface of the pluralistic AI of today.
The first question, to rephrase, ask why we do not have a mathematical theory of the
perception-action cycle. Of course there is work on active perception on sensory-motor
coordinate systems and engineering department robotics is full of mathematics. But the
kind of theory I mean is one that is as universally useful for characterizing cyclic
systems as Shannons information theory is characterizing communication channels.
Implicit in this is the second question. What would we want such a post-Shannon
system to do? What quantity should a perception-action cycle system maximize?
A third question was directed at AI researchers by Penrose and by the hostility and
controversy it caused, you know he had hit a weak spot in AI Penrose wondered if the
fact that physical substrate of the world, of which relativity and quantum mechanics are
our best accounts, might be sufficiently different from the digital substrate of computers
that it would render AI impossible. Is there something in the quantum that is necessary
for mind? (Bell, 1999)
May be we will never manage to build real artificial intelligence. The problem could be
too difficult for human brain over to solve (Bostrom, 2003).
Even in case scientists underline advantages of human over machine, human
intelligence is often approached by them unilaterally (Tikhemirov, 1975).
64
65
66
67
68
69
Lucas and Penrose, think that Gdels incompleteness theorem proves that. Their main
argument is that Gdels theorem implies man-machine non-equivalence in the
following sense:
There is no machine which could capture all our mathematical intuitions (iki, 2005).
For many decades now it has been claimed that Gdels two incompleteness theorems
preclude the possibility of the development of a true artificial intelligence which could
rival the human brain.
Gdel himself realized that the incompleteness theorems do not preclude the possibility
of a machine mind. In fact there is an interesting argument posed by Rudy Rucker
where he shows that it is possible to construct a Lucas style argument using
incompleteness theorems which actually suggests the possibility of aerating machine
minds (Sullins III, 1997).
Logic and Artificial Intelligence: Towards to Fuzzy AI: Throughout its relatively
short history, AI has been heavily influenced by the logical ideas. AI has drawn on
many research methodologies: the value and relative importance of logical formalisms
is questioned by some leading practioners, and has been debated in the literature from
time to time. But most members of the AI community would agree that logic has an
important role to play in at least some central areas of AI research, and on influential
minority considers logic to be the most important factor in developing strategic,
fundamental advances.
Logic is used in understanding problems intelligent reasoning and guiding the design of
mechanical reasoning systems.
Theoretical computer science developed out of logic, theory of computation (if this to
be considered a different subject from logic), and some related areas of mathematics
(SEP, 2003).
One of the most important contributions of artificial intelligence has been realization of
the importance of knowledge in the performance of many human tasks. This realization
has led AI researchers of concentrate on the issue of knowledge representation.
Attempts to represent human knowledge by AI researchers have led to development of
large number of clever paradigms for this purpose. However, in implementing these
paradigms the restriction to binary logic greatly reduced their power.
The use of fuzzy sets via the theory of approximate reasoning provides a very powerful
for extending the capability of binary logic in ways that enable a much better
representation of human knowledge (Yager, 1997).
Perhaps, the greatest success of artificial intelligence has been the expert system
paradigm. The typical structure of an expert system involves a collection rules, called
the rule base, which describe the knowledge about the domain in which expert system
works. There is a close parallel between fuzzy logic controller and expert system.
70
71
Fuzzy logic, by exploring uncertainty and unpredictability, continues to shape the world
in which we live (Bih, 2006).
Fuzzy logic not only deals with problems at the technological side of computational
intelligence. Since what a fuzzy set does represent is a concrete use of predicate (or
linguistic label), and as Wittgenstein assented the meaning of a word is its use in the
language, fuzzy logic also deals with what is as the Gordian Knot of computational
intelligence, the problem of meaning, and this is a side of fuzzy logic that, in the way
towards computing with words, seems to be a great interest (Trillas, 2006).
It is well known that logic is the study of the laws of thought that govern the operation
of our mind. In general, a logical system consists of syntax and semantics, i.e., a
formal system for description of states of affairs and a proof theory for deducing the
entailment of a set of sentences. All the classical logic, fuzzy logic, and other nonclassical logics are efficient tools that have been created by people to model statements
about all kinds of things and the interactions among objects in the real world we are
living in (Ma, et al, 2006).
As fuzzy theorists and practioners, we frequently find our self confronting significant
philosophical issues in our work. Indeed if we are not doing so, we are probably and
possibly missing out a lot. While different fuzzy theories and application approaches
may be founded upon different set of philosophical presuppositions, all such theories
rest upon some epistemological and ontological assumptions, whether explicitly
acknowledged or not.
A lack of appropriate treatment of the philosophical grounding creates a situation of
discord, or not least a level of misunderstanding, between fuzzy theorists and
practioners on the one hand and crisp theorists and practioners on the other (Trken,
2006).
Fuzzy set theory provides a means for representing uncertainties. Historically,
probability theory has been the primary tool for representing uncertainty in
mathematical models. Because of this, all uncertain was assumed to follow the
characteristics of random uncertainty. (Ross, 1956)
Our understanding of physical processes is based largely on impressive human
reasoning. This imprecision (When compared to precise quantities required by
computers) is nonetheless a form of information that can be quite useful to humans. The
ability to embed such reasoning in hitherto intractable and complex problem is the
criterion by which the efficacy of fuzzy logic is judged. (Ross, 1995)
The generalized theory of uncertainty (GTU) differs from other theories in three
important respects. First, the thesis that information is a generalized constraint, with
statistical uncertainty being a special, albeit important case. Second, bivalence is
abandoned though out GTU, and third, one of the principal objectives of GTU is
achievement of NL-capability (Zadeh, 2006).
72
73
The foundations fuzzy logic: The foundations fuzzy logic have became firmer and its
impact within the basic sciences- and especially in mathematical and physical scienceshas become more visible and more substantive. And yet, there are still many
misconceptions about the aims of fuzzy logic and misjudgments of its strengths and
limitations.
One of the common misconceptions is rooted in semantics: as a label, fuzzy logic, FL,
has two different meanings. More specifically, in a narrow sense fuzzy logic, FLn, is a
logical system which aims at a formalization of approximate reasoning.
In a wide sense, fuzzy logic, FLw, is a coexistence with fuzzy set theory, FST. FLw is
far broader than Fln and contains Fln as one of its branches (Zadeh, 1999).
There are many misconceptions about fuzzy logic. Fuzzy logic is not fuzzy. Basically,
fuzzy logic is a precise logic of imprecision and approximate reasoning. More
specifically, fuzzy logic may be viewed as an attempt at formalization/mechanization of
two remarkable human capabilities. First, the capabilities to converse, reason, and make
rational decisions in an environment of imprecision, uncertainty, incompleteness of
information, conflicting information, partiality of truth and partiality of possibility- in
short, in an environment of imperfect information and a second, the capability to
perform a wide variety of physical and mental tasks without any measurements and any
computations.
Fuzzy logic is much more than a logical system. It has many facets. The principal facets
are: logical, fuzzy set-theoretic, epistemic and relational (Zadeh, 2008).
9. Epilogue
Regarding some futurists in 21st century and beyond our world would be probably more
imprecise and complex. The End of Historys writer that in our past in our post human
future, Francis Fukuyama places bioethical problems into context by first explaining the
science behind the issues and then exploring the many way these issues (class
stratification, psycho tropic drug impact, and life expectancy) might affect society and
politics (Fukuyama, 2002). Jeremy Rifkins The Biotech Century discussed many of
the biological processes, technologies, moral dilemmas, and political issues that new
face humanity for first time (Rifkin, 1999). Michio Kaku future scientists deal with
more different approaches for visionary sights in his book, Visions of the Future deals
with three revolutions in the 21st century: The Intelligence Revolution, The Biotech
Revolution and The Quantum Revolution (Kaku, 1999).
Another fact are chaotic structures and systems. Nature, being composed of all of these
things, will always have novelty and beauty that can never be exhausted. As with the Mset, we can appreciate natures beauty precisely because we can simulate it, but only to
limited accuracy. If all natural phenomena were either perfectly describable or
absolutely indescribable, not only would they uninteresting, but life would be
impossible (Flake, 1999).
74
AI, man, machines and loves (Critique of AI by a film) and fuzzy poem
AI: Artificial Intelligence is Steven Spielbergs epic tribute to Stanley Kubrick.
Although written and directed by Spielberg, the idea behind the film was conceived by
Kubrick. And what an austere vision it is. The intrinsic desire far artificial intelligence
in western civilization is nothing more than an attempt to eternalize its presence, to
ensure that we accept its power as a natural phenomenon.
In the final analyses, AI represents a colossal failure of imagination. Indeed, it sees
imagination itself a commodity to be distributed and consumed like all other
commodities: Its vision of the future is totally one-dimension and totally colonized by
white man and their alienating technologies (Komninou, 2003).
Final result, the humanity would be needed immortal or eternal mind and soul or as
quoted philosophers we would needed poetical beauty, absolute truth goodness. Overall
these concepts are not precise.
What could fuzzy logic possibly to with a quote a 13th century Sufi poet? Fuzzy logic
can be an extremely versatile and flexible to with which to model systems that are
complex, vague and imprecise for new trust that the whole idea of going beyond right
and wrong. True and false is what fuzzy logic is all about. Fuzzy logic (like Rumi, I
suppose) is not a frequent topic around break tables at psychological conferences
(Mathe, 2002).
A voice and in interpretation about fuzzy word from Mevlana Jalaluddin Rumi (12071273):
Out beyond ideas of wrong-doing and right-doing, there is a field, Ill meet you there.
When the soul lies down in that grass, the world is too full to talk about. Ideas,
language, even the phrase each other doesnt make any sense.
Rumi
References
Albus J.S., Meystel A.M., Engineering of mind: An introduction to the science of
intelligent systems, John Wiley & Sons, Wiley Series on Intelligent Systems, New
York, 2001.
Aminzadeh F., Applications of AI and soft computing for changing problems in the oil
industry, Journal of Petroleum Science and Engineering, 47(1-2), 5-14, 2005.
Braddon-Mitchell D., Jackson F., Philosophy of mind and cognition, an introduction.
Victoria (Australia): Blackwell, Cognitive Systems Research, 9, 229231, 2008.
Bell A.J., Levels and loops: The future of artificial intelligence and neuroscience,
Philosophical Transactions of the Royal Society, London, 354, 2013-2020, 1999.
75
Bih J., Paradigma shiftan introduction to fuzzy logic, IEEE Potentials, 25-1, 6-21,
January/February 2006.
Bostrom N., When machines outsmart human, Futures, 35-7, 759-764, 2003.
Capra F., The web of life: A new scientific understanding of living systems, Anchor
Press, Norwell, 1997.
Dick S., The postbiological universe, Acta Astronautica, 62(8-9), 499-504, 2008.
Dickins T.E., Frankish K., Review ofDennet, D.C. (1996), Kinds of minds, History and
Philosophy of Psychology Newsletter, 24, 36-40, 1997.
Dreyfus H.L., Why Heideggerian AI failed and how fixing it would require making it
more Heideggreian, Philosophical Psychology, 20-2, 247-268, 2007
Dubois D., Prade H., An introduction to fuzzy systems, Clinical Chimica Acta, 270, 329, 1998.
Dusek V., Philosophy of technology: An introduction, Willey-Blackwell Publications,
2006.
Ellery A., Humans versus robots for space exploration and development, Space Policy,
19, 87-91, 2003.
Ferre F., Philosophy of technology, Prentice Hall, N. Jersey, 1988.
Flake G. W., The computational beauty of bature, Bradferd Book , The MIT Press ,
Cambridge , 1999.
Ford K., Glymour C., Hayes P. J., Android epistemology, AAAI. Press/MIT Press,
Menlo Park, CA, 1995.
Frantz R., Simon H., Artificial intelligence as a framework for understanding intuition,
Journal of Economic Psychology, 24, 265-277, 2003.
Fukuyama F., Our posthuman future: Consequences of biotechnology revolution,
Farrar, Straus and Giroux Publishing, New York, 2002.
Gamez D., Progress in machine consciousness, Consciousness and Cognition, 17, 887910, 2008.
Goertzel B., Human-level artificial general intelligence and possibility of a technical
singularity: A reaction to Ray Kurzweils the singularity is near and McDermotts
critique of Kurzweil, Artificial Intelligence, 171, 1161-1173, 2007.
76
77
Minsky M., Steps toward artificial intelligence, in Computers and Thought, McGrawHill, New York, 1963.
Mira J.M., Symbols versus connections: 50 years of artificial intelligence,
Neurocomputing, 71, 671-680, 2008.
Nilsson N.J., Human-level artificial intelligence? Be serious, AI Magazine, 25th
Anniversary Issue, pp. 65-75, December, 2005.
Noble D. F., The religion of technology: The divinity of man and the spirit of invention,
Penguin Books, New York, 1999.
OConnor T., Robb D. (Editor), Philosophy of mind: Contemporary readings, by
Routhledge Press, London, 2003.
Perlovsky L., toward physics of the mind: Concepts, emotions, consciousness, and
symbols, Physics of Life Reviews, 3, 23-55, 2006.
Pfeifer R., Bongard, J., How the body shapes the way think; A New View of
Intelligence , A Bradferd Book, The MIT Press , Cambridge, 2007.
Pomerol J-C., Artificial intelligence and human decision making, European Journal of
Operational Research, 99, 3-25, 1997.
Rifkin J., Biotech century, New York, Penguin Putnam, Inc., 1999.
Ross T. J., Fuzzy logic with engineering applications, McGraw-Hill Inc., New York,
1995.
Russell S., Norvig P., Artificial intelligence: A modern approach, Prentice Hall, New
Jersey, 2003.
Sack W., Artificial human nature, Design Issues, 13, 55-64, 1997.
Schwarz F., La tradition et Les Voises de la connaissance, Dhier et daujourdhui,
Interpreter: Aslan, A.M., Kadim bilgeliin yeniden kefi, nsan Yaynlar, stanbul,
1997.
Scruton R., A short history of modern philosophy, Routledge Press, London, 2002.
Searle J.R., Dualism revisited, Journal of Physiology-Paris, 101, 169-178, 2007.
Seising R., On the absence of strict boundaries- vagueness, haziness and fuzziness in
philosophy, Science and Medicine, Applied Soft Computing, 8, 1232-1242, 2008.
iki Z., Godels incompleteness theorem and man-machine non-equivalence, 11.
Mathematikertreffen, Zagreb-Graz, Grazer Math. Ber. ISSN 1016-7692, 75-78, 2005.
78
Simon H.A., Machine as mind, Competition and Intelligence, AAAI, MIT Press, 1995a.
Simon H.A., Artificial intelligence: An empirical science, Artificial Intelligence, V. 77,
pp. 95-127, 1995b.
Simon H.A., Barriers and bounds to rationality, Structural Change and Economic
Dynamics, 11, 243-253, 2000.
Spector L., Evolution of artificial intelligence, Artificial Intelligence, 170, 1251-1253,
2006.
Sullins III, J.P., Gdels incompleteness theorem and artificial life, Phil And Tech V. 2,
N:3-4, Spring, Summer, pp. 141-157, 1997.
Thomason R., Logic and artificial intelligence, Stanford Encyclopedia of Philosophy,
May, 2008.
Tikhomirov O.K., Philosophical and psychological problems of artificial intelligence,
Proceedings of the 4th International Joint Conference on Artificial Intelligence, San
Francisco, CA, USA, V. 1, pp. 932-937, 1975.
Trillas E., On the use of words of fuzzy sets, Information Sciences, 176, 1463-1487,
2006.
Trken . B., An ontological and epistemological perspective of fuzzy theory, Elsevier,
Inc., Amsterdam, 2006.
Ulanowicz R.E., Life after Newton: An ecological metaphysic, Biosystems, 50, 127142, 1999.
Wang P., Three fundamental misconceptions of artificial intelligence, Journal of
Experimental & Theoretical Artificial Intelligence, 19, 249-268, September 2007.
Yager R.R., Fuzzy logic and artificial intelligence, Fuzzy Sets and Systems, 90, 193198, 1997.
Zadeh L.A., Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs, and fuzzy
probabilities, Computer and Mathematics with Applications, 37, 35, 1999.
Zadeh K. S., Fuzzy revolution: Goodbye to the Aristotelian Weltanschauung, Artificial
Intelligence in Medicine, 21, 1-25, 2001.
Zadeh L.A., Generalized theory of uncertainty (GTU)-principal concepts and ideas,
Computational Statics and Data Analysis, 51, 5-46, 2006.
Zadeh L.A., Is there a need for fuzzy logic, Information Sciences, 178, 2251-2279,
2008.
79