Fuzzy Logic A. History & Justification. Looking at Fuzzy Logic 1. Accurate modeling of inaccuracy “When using a mathematical model, careful attention.

Slides:



Advertisements
Similar presentations
The Halting Problem of Turing Machines. Is there a procedure that takes as input a program and the input to that program, and the procedure determines.
Advertisements

Gödel’s Incompletness Theorem By Njegos Nincic. Overview  Set theory: Background, History Naïve Set Theory  Axiomatic Set Theory  Icompleteness Theorem.
Robert Jackson Marks II2 Based on intuition and judgment No need for a mathematical model Relatively simple, fast and adaptive Less sensitive to system.
CLASSICAL LOGIC and FUZZY LOGIC. CLASSICAL LOGIC In classical logic, a simple proposition P is a linguistic, or declarative, statement contained within.
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 7: Beyond Classical Logic.
Limitations. Limitations of Computation Hardware precision Hardware precision Software - we’re human Software - we’re human Problems Problems –complex.
FUZZY SYSTEMS. Fuzzy Systems Fuzzy Sets – To quantify and reason about fuzzy or vague terms of natural language – Example: hot, cold temperature small,
Chapter 41 Serway & Jewett 6 th Ed.. “God does not play dice with the Universe” … Einstein was very unhappy about this apparent randomness in nature.
HISTORY OF LOGIC BY JOHN NAGUIB. What is Logic? The science or study of how to evaluate arguments and reasoning. “Logic is new and necessary reasoning”
From Kant To Turing He Sun Max Planck Institute for Informatics.
Introduction to Algorithms A History Tour Definition of Algorithms Problem solving: Problem Statement Assumptions Processes Paradoxes.
February 11, 2015CS21 Lecture 161 CS21 Decidability and Tractability Lecture 16 February 11, 2015.
CS1001 Lecture 22. Overview Mechanizing Reasoning Mechanizing Reasoning G ö del ’ s Incompleteness Theorem G ö del ’ s Incompleteness Theorem.
So far we have learned about:
Chapter 18 Fuzzy Reasoning.
1 Chapter 18 Fuzzy Reasoning. 2 Chapter 18 Contents (1) l Bivalent and Multivalent Logics l Linguistic Variables l Fuzzy Sets l Membership Functions l.
Faith and Reason And the Word became flesh and dwelt among us… -John 1:14 This is a great mystery… -Eph 5:32 The Holy Family with Painted Frame -Rembrandt.
First Order Logic (chapter 2 of the book) Lecture 3: Sep 14.
Lecture 24: Gödel’s Proof CS150: Computer Science
TR1413: Discrete Mathematics For Computer Science Lecture 1: Mathematical System.
INHERENT LIMITATIONS OF COMPUTER PROGRAMS CSci 4011.
Fuzzy Systems and Applications
Fuzzy Logic BY: ASHLEY REYNOLDS. Where Fuzzy Logic Falls in the Field of Mathematics  Mathematics  Mathematical Logic and Foundations  Fuzzy Logic.
Mathematics and the Theory of Knowledge
First Order Logic. This Lecture Last time we talked about propositional logic, a logic on simple statements. This time we will talk about first order.
FUZZY LOGIC Babu Appat. OVERVIEW What is Fuzzy Logic? Where did it begin? Fuzzy Logic vs. Neural Networks Fuzzy Logic in Control Systems Fuzzy Logic in.
Areas of knowledge – Mathematics
“Knowing What is Unknowable: Things Gödel Proves a Computer Will Never Do” Robert J. Marks II Distinguished Professor of Electrical and Computer Engineering.
Class 36: Proofs about Unprovability David Evans University of Virginia cs1120.
Fuzzy Logic. Lecture Outline Fuzzy Systems Fuzzy Sets Membership Functions Fuzzy Operators Fuzzy Set Characteristics Fuzziness and Probability.
Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html.
David Evans CS200: Computer Science University of Virginia Computer Science Class 24: Gödel’s Theorem.
Logic in Computer Science - Overview Sep 1, 2011 POSTECH 박성우.
Cs3102: Theory of Computation Class 16: Uncomputable Numbers and Unrecognizable Languages Spring 2010 University of Virginia David Evans.
Institute for Experimental Physics University of Vienna Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences Undecidability.
 Definition Definition  Bit of History Bit of History  Why Fuzzy Logic? Why Fuzzy Logic?  Applications Applications  Fuzzy Logic Operators Fuzzy.
Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Hilbert’s Progamme Early in C20, the mathematician Hilbert led a programme to formalise maths; to reduce it to a clear set of axioms and show that all.
1 Asst. Prof. Dr. Sukanya Pongsuparb Dr. Srisupa Palakvangsa Na Ayudhya Dr. Benjarath Pupacdi SCCS451 Artificial Intelligence Week 9.
Copyright © Curt Hill Mathematical Logic An Introduction.
Lecture 18. Unsolvability Before the 1930’s, mathematics was not like today. Then people believed that “everything true must be provable”. (More formally,
Weird Atoms and Strange Photons The Quantum Nature of the Universe Hiro Miyake Spark! March 10, 2012.
Course Overview and Road Map Computability and Logic.
Logical Systems and Knowledge Representation Fuzzy Logical Systems 1.
Great Theoretical Ideas in Computer Science.
Godel’s proof Danny Brown. Outline of godel’s proof 1.Create a statement that says of itself that it is not provable 2.Show that this statement is provable.
Great Theoretical Ideas in Computer Science.
Thinking in Methodologies Class Notes. Gödel’s Theorem.
First Order Logic Lecture 3: Sep 13 (chapter 2 of the book)
AI Fuzzy Systems. History, State of the Art, and Future Development Sde Seminal Paper “Fuzzy Logic” by Prof. Lotfi Zadeh, Faculty in Electrical.
Computation Motivating questions: What does “computation” mean? What are the similarities and differences between computation in computers and in natural.
Based on intuition and judgment No need for a mathematical model Provides a smooth transition between members and nonmembers Relatively simple, fast and.
Alonzo Church: Mathematician. Philosopher. Computer Scientist? Who is Alonzo Church? Alonzo Church was a man who was very important to the computer science.
Bertrand Russell ( ) From The Problems of Philosophy (1912)  Truth & Falsehood  Knowledge, Error, & Probable Opinion  The Limits of Philosophical.
To Infinity and Beyond!. Paradox A paradox is a seemingly consistent, logical argument that nonetheless ends with a ridiculous conclusion Like the story.
The subject of language, logic and proofs…
Introduction to Fuzzy Logic and Fuzzy Systems
Axiomatic Number Theory and Gödel’s Incompleteness Theorems
Mathematics and Certainty
Discrete Mathematics for Computer Science
Fuzzy Logic and Fuzzy Sets
Great Theoretical Ideas in Computer Science
Lecture 2 Propositional Logic
CLASSICAL LOGIC and FUZZY LOGIC
Mathematics and Knowledge
Lecture 22: Gödel’s Theorem CS200: Computer Science
PHIL 2000 Tools for Philosophers 1st Term 2016
Great Theoretical Ideas in Computer Science
Philosophy of Mathematics: a sneak peek
An example of the “axiomatic approach” from geometry
Presentation transcript:

Fuzzy Logic A. History & Justification

Looking at Fuzzy Logic 1. Accurate modeling of inaccuracy “When using a mathematical model, careful attention must be given to the uncertainties of the model.” Richard P. Feynman Mr. Spock’s folly: Precision is not truth What is Xtmprszntwlfd?

The probability that a fair die will show six is 1/6. This is a crisp probability. All credible mathematicians will agree on this exact number. The weatherman's forecast of a probability of rain tomorrow being 70% is also a fuzzy probability. Using the same meteorological data, another weatherman will typically announce a different probability.

Looking at Fuzzy Logic 2. Lukasieicz Logic: The logic of half truths. 11 One justification: Bipolar Paradoxes

Gödel’s Proof According to TIME magazine's top 100 persons of the century, the following are the most influential scientists and thinkers of the twentieth century: Leo Baekeland, plastics pioneer Tim Berners-Lee, Internet designer Rachel Carson, environmentalist Albert Einstein, physicist Philo Farnsworth, inventor of electronic television Enrico Fermi, atomic physicist Alexander Fleming, bacteriologist Sigmund Freud, psychoanalyst Robert Goddard, rocket scientist Kurt Gödel, mathematician Edwin Hubble, astronomer John Maynard Keynes, economist The Leakey family, anthropologists Jean Piaget, child psychologist Jonas Salk, virologist William Shockley, solid-state physicist Alan Turing, computer scientist James Watson amp;& Francis Crick, molecular biologists Ludwig Wittgenstein, philosopher The Wright brothers, visionary aviators

Gödel’s Proof Meta-language paradoxes Meta-language: Language that refers to itself: “This sentence contains five words.” is true. “This sentence contains six words.” is false. “All Cretans are liars.”Paradox of the Liar is usually attributed to Epimenides (6 th Century BC), who was a Cretan : “All Cretans are liars.”

Gödel’s Proof Other Meta-Language Paradoxes “What I am telling you now is a lie.” “If this sentence is true, the next sentence is false. The previous sentence is true.” “I minister only to those who do not minister to themselves.” “Nothing is impossible.” (Can God make a rock so large he cannot move it?) “Everything is possible.” Russell’s Paradox (1901)

Gödel’s Proof Logical Development from Axioms (self-evident reality – or assumptions of truth) is a foundation of mathematics. From Axioms, we get lemmas, theorems and corollaries that builds to a theory. Gödel showed all such theories are either incomplete or inconsistent. Gödel & Einstein (Princeton: August 1950)

Gödel’s Proof Inconsistent: Show that 1+1=2 and 1+1  2. Incomplete: We cannot show that 1+1=2. Theorem X: Theorem X cannot be proved. Kurt Gödel If we can proof Theorem X, then the theory is inconsistent. (Proving Theorem X is inconsistent with Theorem X.) If we cannot prove Theorem X, the theory is incomplete. That is, there are things we cannot prove.

Gödel’s Proof  All theory logically developed from an axiomatic foundation is ultimately either incomplete or inconsistent. 1Cor 13:12 “For now we see through a glass, darkly; but then face to face: now I know in part; but then shall I know even as also I am known.” “There is more in the world than you have dreamt of in all of your philosophies, Horatio.” Hamlet (Act 1Scene IV.) Is such logic more compatible with Asian philosophy?

Looking at Fuzzy Logic 3. Probability versus Possibility (Fuzzy) A difference: All things probable are possible. All things possible are not probable. The contrapositive: Impossible events are improbable. Improbable events are not impossible. Engineering for possible events is different than engineering for probable events.

Looking at Fuzzy Logic 4. Degree of Membership (Fuzzy Linguistic Variables) Fuzzy and “Crisp” Control

e.g. On a scale of one to 10, how good was the dive? Examples include close, heavy, light, big, small, smart, fast, slow, hot, cold, tall and short.

Fuzzy  Probability Example #1 Billy has ten toes. The probability Billy has nine toes is zero. The fuzzy membership of Billy in the set of people with about nine toes, however, is nonzero.

Example #2 (Bezdek) A bottle of liquid has a probability of ½ of being rat poison and ½ of being pure water. A second bottle’s contents, in the fuzzy set of liquids containing lots of rat poison, is ½. The meaning of ½ for the two bottles clearly differs significantly and would impact your choice should you be dying of thirst. (cite: Bezdek) #1 #2