Bulanık Mantık. Bulanık Mantık (Fuzzy Logic)

Benzer belgeler
Üyelik derecesi. Klasik küme YAKIN = Bulanık küme. Nesne Mesafe Yakınlık derecesi, µ( mesafe) ,5 0,8

Bulanık Kümeler ve Sistemler. Prof. Dr. Nihal ERGİNEL

IV.Ünite: SEMBOLİK MANTIK: D - Çok Değerli Mantık Özet

BULANIK MANTIK (FUZZY LOGIC)

MANTIK. Araş. Gör. Nesibe YALÇIN BİLECİK ÜNİVERSİTESİ BULANIK MANTIK

Yaklaşık Düşünme Teorisi

Esnek Hesaplamaya Giriş

2. Klasik Kümeler-Bulanık Kümeler

BULANIK MANTIK VE SİSTEMLERİ BAHAR DÖNEMİ ÖDEV 1. Müslüm ÖZTÜRK Bilişim Teknolojileri Mühendisliği ABD Doktora Programı

BULANIK MANTIK ile KONTROL

BULANIK MANTIK DENETLEYİCİLERİ. Bölüm-4 Bulanık Çıkarım

Bulanık Mantık Denetleyicileri

Bölüm 3. Klasik Mantık ve Bulanık Mantık. Serhat YILMAZ 1

DEVLET VEYA ÖZEL OKUL SEÇİMİNDE KARAR VERME SÜRECİ VE MATEMATİKSEL KARAR YÖNETİMİ

Olasılık Kuramı ve İstatistik. Konular Olasılık teorisi ile ilgili temel kavramlar Küme işlemleri Olasılık Aksiyomları

X ve Y boş olmayan iki küme olsun. İki küme arasında tanımlanmış olan bir bulanık ilişki R, X x Y nin bir bulanık alt kümesidir.

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. w w w. m a t b a z. c o m ÖNERMELER- BİLEŞİK ÖNERMELER

Hatalar ve Bilgisayar Aritmetiği

İleri Diferansiyel Denklemler

Bulanık Küme Kavramı BULANIK KÜME. Sonlu ve Sonsuz Bulanık Kümeler. Sonlu ve Sonsuz Bulanık Kümeler

DERS 2 : BULANIK KÜMELER

Mekatronik Mühendisliği Uygulamalarında Yapay Zekâ. Ders 1- Yapay Zekâya Giriş. Erhan AKDOĞAN, Ph.D.

Bulanık Mantık Tabanlı Uçak Modeli Tespiti

DAMITMA KOLONLARININ BULANIK DENETLEYİCİLERLE DENETİMİ

KAHRAMANMARAŞ SÜTÇÜ İMAM ÜNİVERSİTESİ EĞİTİM ÖĞRETİM YILI FEN-EDEBİYAT FAKÜLTESİ MATEMATİK BÖLÜMÜ BİRİNCİ VE İKİNCİ ÖĞRETİM DERSLERİ

BULANIK MANTIK ile KONTROL

KLİMA SİSTEM KONTROLÜNÜN BULANIK MANTIK İLE MODELLEMESİ

4. Bulanık Sayılar- Üyelik Fonksiyonları

YÖNEYLEM ARAŞTIRMASI - I

2011 Third International Conference on Intelligent Human-Machine Systems and Cybernetics

13.Konu Reel sayılar

END Bulanık Kümeler GİRİŞ. Belirsizlik Kavramı Yrd. Doç. Dr. Selçuk ÇEBİ Günlük yaşam Problemler

İbrahim Küçükkoç Arş. Gör.

İstatistik ve Olasılık

Okut. Yüksel YURTAY. İletişim : (264) Sayısal Analiz. Giriş.

EĞİTİM-ÖĞRETİM YILI 12. SINIF İLERİ DÜZEL MATEMATİK DERSİ DESTEKLEME VE YETİŞTİRME KURSU KAZANIMLARI VE TESTLERİ

MAK 210 SAYISAL ANALİZ

1.Sınıf / Güz Dönemi

... ROBOTİK VE KODLAMA EĞİTİMİ ÇERÇEVESİNDE ÖĞRETİM YILI BİLİŞİM TEKNOLOJİLERİ DERSİ ÜNİTELENDİRİLMİŞ YILLIK DERS PLANI

SAYISAL ÇÖZÜMLEME. Yrd.Doç.Dr.Esra Tunç Görmüş. 1.Hafta

Bulanık Mantığa Giriş

Sistem Mühendisliği. Prof. Dr. Ferit Kemal Sönmez

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE

AKSARAY KANUNİ ANADOLU İMAM HATİP LİSESİ EĞİTİM ÖĞRETİM YILI MATEMATİK DERSİ 11.SINIFLAR ÜNİTELENDİRİLMİŞ YILLIK PLANI TEKNİKLER

Programlama Nedir? Bir bilgisayar bilimcisi gibi düşünmek ve programlama ne demektir?

CETP KOMPOZİTLERİN DELİNMELERİNDEKİ İTME KUVVETİNİN ANFIS İLE MODELLENMESİ MURAT KOYUNBAKAN ALİ ÜNÜVAR OKAN DEMİR

Derste Neler Anlatılacak? Temel Mekatronik Birimler,temel birim dönüşümü Güncel konular(hes,termik Santral,Rüzgar Enerjisi,Güneş

MAKİNE MÜHENDİSLİĞİNE GİRİŞ Ders 2

1.Sınıf / Güz Dönemi

İŞLETME BÖLÜMÜ Bilgi Kılavuzu Ankara

Neotektonik incelemelerde kullanılabilir. Deformasyon stili ve bölgesel fay davranışlarına ait. verileri tamamlayan jeolojik dataları sağlayabilir.

A (B C) = {4, 5, 6} {2, 3, 4, 6, 7} = {4, 6} ; ve (A B) (A C) = {4, 6} {6} = {4, 6}. 6. Dağıtıcı yasayı Venn şeması yoluyla doğrulayınız.

İNŞAAT PROJELERİNDE RİSK YÖNETİMİ : TEMEL KAVRAMLAR. Prof. Dr. İrem Dikmen Toker ODTÜ İnşaat Mühendisliği Bölümü Ankara

T.C. KAHRAMANMARAŞ SÜTÇÜ İMAM ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ ELEKTRİK-ELEKTRONİK MÜHENDİSLİĞİ ANABİLİM DALI

1.Sınıf / Güz Dönemi

Tablo 5.1. Sekiz Yarıyıllık Lisans Eğitim-Öğretim Planı

1.Sınıf / Güz Dönemi

MATEMATİK BİLİM GRUBU III KURS PROGRAMI

MATEMATİK VE FEN BİLİMLERİ EĞTİMİ ANABİLİM DALI MATEMATİK EĞİTİMİ BİLİM DALI TEZLİ YÜKSEK LİSANS PROGRAMI

ÖZLEM AYDIN TRAKYA ÜNİVERSİTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ

I. YARIYIL (1. SINIF GÜZ DÖNEMİ) 2012 %25 DERS PLANI. Ders Saati İle İlgili Komisyon Görüşü Uygun Uygun Değil

BİÇİMSEL YÖNTEMLER (FORMAL METHODS) Betül AKTAŞ Suna AKMELEZ

Laboratuvara Giriş. Adnan Menderes Üniversitesi Tarımsal Biyoteknoloji Bölümü TBT 109 Muavviz Ayvaz (Yrd. Doç. Dr.) 3. Hafta (03.10.

Hazırlık Sınıfı. 1.Sınıf / Güz Dönemi

ÖZEL ÖĞRETİM KURSU MATEMATİK-III ÇERÇEVE PROGRAMI. : Kesikkapı Mah. Atatürk Cad. No 79 Fethiye /MUĞLA

2013-ÖABT-İÖ-MAT

Tablo 5.1. Sekiz Yarıyıllık Lisans Eğitim-Öğretim Planı

Rassal Değişken Üretimi

HAFİF BETONLARDA DONATI ADERANSI DAYANIMININ BULANIK MANTIK YÖNTEMİYLE MODELLENMESİ

Birinci Mertebeden Adi Diferansiyel Denklemler

Ç.Ü. Fen ve Mühendislik Bilimleri Dergisi Yıl:2016 Cilt:34-5

DERS 5 : BULANIK MODELLER

SEMBOLİK MANTIK MNT102U

T.C. DOKUZ EYLÜL ÜNİVERSİTESİ SOSYAL BİLİMLER ENSTİTÜSÜ EKONOMETRİ ANABİLİM DALI EKONOMETRİ DOKTORA PROGRAMI

MATLAB A GİRİŞ. EE-346 Hafta-1 Dr. Ayşe DEMİRHAN

Örnek...6 : Örnek...1 : Örnek...7 : Örnek...2 : Örnek...3 : Örnek...4 : Örnek...8 : Örnek...5 : MANTIK 2 MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER

OTOMATİK KONTROL SİSTEMLERİ TEMEL KAVRAMLAR VE TANIMLAR

Araştırma Problemleri: Problem İfadeleri, Araştırma Soruları ve Hipotezler

Ortaokul Sınıflar Matematik Dersi Öğretim Programı*: Kazandırılması Öngörülen Temel Beceriler

MEKATRONİĞİN TEMELLERİ

KBM0308 Kimya Mühendisliği Laboratuvarı I ISI İLETİMİ DENEYİ. Bursa Teknik Üniversitesi DBMMF Kimya Mühendisliği Bölümü 1

Electronic Letters on Science & Engineering 2(1) (2006) Available online at

Ders 9 İşlem tanımları. Ders Sorumlusu: Dr. Saadettin Erhan KESEN

Albert Long Hall, Boğazi 4-55 Nisan 2008

Hazırlık Sınıfı. 1.Sınıf / Güz Dönemi

2009 MÜFREDATI MÜHENDİSLİK FAKÜLTESİ / MAKİNE MÜHENDİSLİĞİ EĞİTİM PLANI SINIF: 1 DÖNEM: GÜZ. Ders Kodu Dersin Adı T P K ECTS Ders Tipi

Electronic Letters on Science & Engineering 4(2) (2008) Available online at

DERS BİLGİLERİ. Ders Kodu Yarıyıl T+U Saat Kredi AKTS MAKRO İKTİSAT TEORİSİ MAK

KLİMA SİSTEM KONTROLÜNÜN BULANIK MANTIK İLE MODELLENMESİ

GENETİK ALGORİTMALARA GİRİŞ (II) BİNARİ KODLANMIŞ GA

ÖZEL ÇORUM ADA ÖZEL ÖĞRETİM KURSU MATEMATİK 3 BİLİM GRUBU ÇERÇEVE PROGRAMI

Bölüm Dönem Ders Kodu Ders Adı Şube Adı Durum İNŞAAT MÜHENDİSLİĞİ 4 INS2030 DOĞAL AFETLER VE AFET EĞİTİMİ A Şubesi Açıldı İNŞAAT MÜHENDİSLİĞİ 8

Gazi Üniversitesi Sosyal Bilimler Dergisi Vol/Cilt:4, No/Sayı:10, 2017

Hazırlık Sınıfı. 1.Sınıf / Güz Dönemi

Makine Mühendisliği Bölümü 2018 Eğitim - Öğretim Planı

ROBOTİK VE YAPAY ZEKA

METALURJİ VE MALZEME MÜHENDİSLİĞİ 1. SINIF (I.ve II.Ö) ÖĞRETİM YILI GÜZ YARIYILI YIL İÇİ SINAV PROGRAMI

DARÜŞŞAFAKA LİSESİ SALİH ZEKİ LİSE ÖĞRENCİLERİ ARASI MATEMATİK PROJELERİ YARIŞMASI

Transkript:

Bulanık Mantık (Fuzzy Logic) Bulanık mantık, insan düşünmesini ve mantık yürütmesini modellemeye ve karşılaşılan problemlerde ihtiyaç doğrultusunda kullanmayı amaçlar. Bilgisayarlara, insanların özel verileri işleyebilme, deneyimlerinden ve önsezilerinden yararlanarak çalışabilme yeteneğini vermeye çalışır. İnsan mantığı karşılaştığı problemleri çözerken; Eğer <gerçekleşen olay> ise <sonuç> şeklinde dilsel kurallar oluşturur. Bulanık mantık insanın bu dilsel kurallar ile karar verme kabiliyetini makinelere/ bilgisayarlara uyarlamaya çalışır. 1

Bulanık Mantık (Fuzzy Logic) Bulanık mantık, dilsel kurallarla birlikte dilsel değişkenler ve terimler kullanır. İnsan karar mekanizmasında kullanılan dilsel kurallar ve terimler kesin değil bulanıktır. İnsan mantık sistemini bilgisayarlara/makinelere uyarlanması, bilgisayarların/makinelerin problem çözme kabiliyetini artırır. İnsan karar mekanizmasını bilgisayarlara uyarlayabilmek için dilsel terimler ve değişkenler matematiksel olarak üyelik dereceleri ve üyelik fonksiyonları ile ifade edilirler. 2

Bulanık Mantık (Fuzzy Logic) Bulanık karar mekanizmaları sayısal değerler yerine sembolik dilsel ifadeler kullanırlar. Bu sembolik dilsel ifadelerin bilgisayarlara aktarılması matematiksel bir temele dayanır. Bu matematiksel temel bulanık mantıktır. Bulanık mantık kullanan sistemler, karmaşık non- lineer problemlerin matematiksel modelleme zorluğuna karşı bir alternatiftir. Bulanık mantık, sistemin matematiksel modellenmesi ihtiyacını giderir. 3

Bulanık Mantık (Fuzzy Logic) Bulanık mantık kullanan sistemler, insanın yapabildiği gibi, kesin olmayan dilsel bilgilere bağlı olarak etkin sonuç çıkarabilirler. Bulanık mantıkta bilgi sayısal değerler yerine büyük, küçük, çok, az, vb. dilsel ifadelerdir. Eğer bir sistem davranışı kurallar ile ifade edilebiliyor ise veya çok karmaşık non- lineer işlemler gerektiriyor ise bulanık mantık yaklaşımı böyle bir sistem için uygulanabilir. 4

Bulanık Mantık (Fuzzy Logic) Bulanık mantığı motive eden sebepler; Kompleks sistemlerin geleneksel matematik araçları ile analizindeki zorluklar. Geleneksel kontrol yapılarını kullanmak için oldukça fazla non-lineer ve zor anlaşılır olan bir prosesin kontrolü için bulanık mantık kullanılabilir. İnsan bunun için iyi bir örnektir. İnsanlar kompleks sistemler konusunda ve bunların kontrolünde mevcut geleneksel sistemlerden daha iyidir. Kesin olmayan dilsel bilgilere dayanarak etkili sonuçlar alabilmektedir. Bu sebeple özellikle sistemin karmaşık olduğu ve analizinin klasik yöntemlerle yapılamadığı ve bilginin belirsiz olduğu veya kesin olmadığı durumlarda bulanık mantık yöntemi çok uygun olmaktadır. 5

Bulanık Mantık (Fuzzy Logic) Bulanık mantığı motive eden sebepler; Kontrol mühendisliğinde insan işletmenler yerine geçecek kontrol sistemleri sağlama ihtiyacı. İnsan mantık sistemi iyi tanımlanmamış ve net sınırları olmayan bilgi ve kavramları sebep çıkarmada kullanabilmektedir. Belirsiz ve kesin olmayan bilgilere dayanarak etkili sonuçlar üreten bulanık mantık, insan işletmenler tarafından kullanılan kontrol stratejilerini kolaylıkla gerçekleştirme olanağı sağlar. 6

Bulanık Mantığın Temel Kavramları Kısa Bir Tarihçe 1920 : J. Lukasiewicz in çok değerli mantık üzerine çalışmaları 1937 : Max Black ın Muğlak Küme (Vague Set) ile ilgili makaleleri. Sadece üyelik fonksiyonu tanımlamış bilim dünyası tarafından ciddiye alınmamış. 1965 : L.A. Zadeh in bulanık (fuzzy) küme teorisi 1974 : E. H. Mamdani bir buhar makinasının bulanık denetimini gerçekleştiriyor. 1976 : Danimarka da Circle Coment ve SIRA firmaları çimento fırınlarının denetiminde bulanık uygulamalar 1987 : ikinci IFSA kongresinde ilk bulanık denetleyiciler sergilenmiş. 1987 : Hitachi nin tasarladığı Japon Sendai metrosu bulanık denetleyicisi çalışmaya başlamış. 1990-: Yaşamın hemen hemen her alanına girmiştir. 7

Bulanık Mantık (Fuzzy Logic) Bulanık mantık uygulama örnekleri; Çamaşır makineleri, buzdolabı, kameralar, vb tüketici ürünleri. Motor kontrolü, araç güç devri ve iletim kontrolü, batarya şarz cihazı, vb otomotiv ve enerji ürünleri. Isı denetimi, kimyasal işlemler, çimento fırını arıtma ve damıtma sistemleri vb endüstriyel proses kontrol ürünleri. Robotik ve üretim ile ilgili diğer konular. Bulanık veri yapıları vb zeki bilgi sistemleri. vb. 8

Bulanık Mantığa Giriş Bulanık mantık, Ariston un iki değerli mantığının tersine çok değerli mantık temelleri üzerine kuruludur. İki değerli kümeler yerine çok değerli kümeler ile sonuç üretir. Klasik mantığın dayandığı temel varsayım Her önerme ya doğrudur veya yanlıştır. cümlesidir. Bu varsayım Artisto dan beri tartışma konusu olmuştur. Aristo Temel Varsayım adlı tezinde Gelecek şartlara bağlı olarak olayların şüpheli doğruluk durumları ndan bahseder. Aristo ya göre, Gelecek olaylar hakkındaki önermeler ne doğru ne de yanlıştır. 9

Bulanık Mantığa Giriş İki durumda da olması imkan dahilindedir. Yani, doğruluk değerleri belirsizdir veya olaylara bağlıdır. Günümüzde iyice anlaşılmıştır ki doğruluk değerleri kesin olmayan durumlar, sadece gelecek olaylara özgü değildir. Ayrıca, bazı önermelerin doğruluk değerleri ölçümlerin temel sınırlamaları yüzünden belirsiz olmaktadır. Bu tür durum ve önermeler için, doğru ve yanlış değerlerinin yanında belirsiz veya bulanık olarak adlandırılan bir üçüncü doğruluk değerine izin vermek gerekmektedir. 10

Klasik Mantıkla ilgili örnek paradokslar Giritli yalancı paradoksu: Giritli bir yalancı: Giritliler yalancıdır. Yalan söyleyip söylemediğini sorgulayalım; Önermenin zıddı: Giritliler yalancı değildir. Eğer yalan söylüyor ise yalancı değil. Eğer doğru söylüyorsa ise yalancıdır. İki değerli önermede bir kişi; Ya yalancıdır yada yalancı değildir. Ya hep yalan söyler yada hiç yalan söylemez. Bu paradoks bile başlı başına bir üçüncü değer gerektirir: Az yalan söyler çok yalan söyler v.b. Buda bulanık mantık yaklaşımını gerekli kılar. 11

Klasik Mantıkla ilgili örnek paradokslar Ön yüzünde ve arka yüzünde iki zıt önerme yazılı olan kağıt paradoksu: Bir kağıdın önyüzünde ( A yüzü olsun ) Bu kağıdın arkasında ki önerme doğrudur {A} yazılı olsun. Arka yüzünde (B yüzü olsun) yazılı olsun. Bu kağıdın arkasında ki önerme yanlıştır {B} Eğer A yüzündeki doğru ise B yüzündekine göre, A yüzündeki yanlıştır. Eğer A yüzündeki yanlış ise B yüzündekine göre, A yüzündeki doğrudur. 12

Bulanık Mantık Bu örnek prodakslardan da anlaşılacağı gibi, bulanık mantık, belirsiz olarak adlandırılan bir üçüncü doğruluk değerine izin vererek klasik mantığı daha esnek hale getirme ihtiyacından dolayı ortaya çıkmıştır. Bulanık mantığın önünde her şeyin bir derecesi vardır düşüncesi yatar. Bulanık mantığın belirsizlik ortamında çıkarım yapan varsayımlara dayalı diğer teorilerden ayrılır. Varsayımlara dayalı çıkarımın temelinde olasılık teorisi vardır. Fakat, bulanık mantığın dayandığı olasılık tan ziyade olabilirlik esasıdır. 13

Bulanık Mantık Olasılık (probability): Kavram olarak bir olayın olabilme ihtimali ve tekrar sıklığı, bir kümeye dahil olma ihtimali, doğruluk veya yanlış olabilme ihtimali, vb., ile ilgilidir. Olabilirlik (possibility): Olabilirlik ise ihtimalden ziyade olayların gerçekleşme düzeyi, olayla ilgili verdiğimiz kararın düzeyi, olayı algılama derecemiz ile bir kümeye ait olama derecesi, doğruluk derecesi, vb., ile ilgilidir. Bulanık mantıkta kullanılan üyelik fonksiyonları aslında bir olabilirlik dağılımıdır. 14

Bulanık Mantık Olabilirlik (possibility): Bulanık mantığın kullandığı belirsizlik saptanabilir ve derecelendirilebilir bir belirsizliktir. Bir aralık için olabilirlik, o bölgedeki maksimum üyelik derecesidir. max ( x) x A I 15

Bulanık Mantık Olasılık (probability): Olasılık dağılımı; f ( x) dx 1 Bir aralık için olasılık; b a f ( x) dx 1 16

Bulanık Mantık Olasılık ve olabilirliğin açıklamaya çalıştıkları belirsizlik yapısal olarak farklıdır; Örnek: Olasılık ifadesi; şişenin içindeki sıvı %50 ihtimal ile saf sudur. Olabilirlik yada bulanık mantık ifadesi: şişenin içindeki sıvı %50 oranında saf sudur. Bulanık mantık belirsizlik ifade eden kavramlara üyelik derecesi atayarak, belirginlik sağlar; Uzun, ne derece uzun? az uzun, çok uzun, vb. 17

Özetle Bulanık Mantık; Kesin değerler yerine, yaklaşık, kısmi değerler Tamamı veya hiçbiri yerine bir derece 0 veya 1 yerine, 0 ve 1 aralığında belirli bir derece Bulanık mantıkta bilgi, az-çok.büyük-küçük gibi dilsel ifadeler ile gösterilir Bulanık çıkarım, dilsel ifadeler ile tanımlanan kurallar ile yapılır Bulanı mantık matematiksel modellemesi zor olan sistemler için oldukça uygundur Bulanık mantık, tam olarak bilinmeyen veya eksik olan bilgiler kullanarak işlem yapma ve sonuç çıkarma kabiliyetine sahiptir 18

Çok değerlilik ; Çok değerlilik en çok doğal dillerde karşımıza çıkar ; Siyah ; ne zaman siyah olmaktan çıkar ve koyu gri olur. Hava ; ne zaman kararmaya başlar ve tam karanlık olur. Yetenekli ile dahi arasındaki sınır nedir. Bir eser ne zaman güzel olur. Bir kişi ne zaman uzundur. Bazı nitelemelerde öyla sınır durumlar vardır ki, bu sözcüğü kullanıp kullanmamak gerektiği konusunda bir karar vermek zordur. İşte bir sözcüğün belirsizliği burada başlar. 19

Çok değerlilik ; Örneğin, uzun boyluluk özelliğini ele alalım. Klasik mantık ile; 181 cm uzun boylu iken 179 cm kısa boylu mudur? 175 cm de bir dereceye kadar uzun boyludur, 179 cm de hatta 170 cm de bir derece uzun boyludur. Bulanık mantık boy uzunluğunu derecelendirerek bu probleme bir çözüm sağlar. Bulanık mantık yaklaşımı ile; 180 cm de bir derece uzundur, 170 cm de bir derece uzundur. Matematiksel olarak bulanık mantık çok değerlilik demektir. Doğru, çok doğru, az doğru, az, çok, normal gibi sözel olarak ifade edilen dilsel değerler, sayısal olarak [0,1] reel sayı aralığında yer alan dereceler ile ifade edilir. Bulanık mantık, geçerliliği kesin olan değil, yaklaşık olan çıkarım kurallarına sahiptir. 20

Bulanık Mantığın Temel Kavramları Bulanık mantık sistemleri dört temel kavrama dayanmaktadır ; Bulanık kümeler Dilsel değişkenler, dilsel terimler Üyelik fonksiyonları Bulanık kurallar 21