Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi Dr. Tuğba Özacar Öztürk tugba.ozacar@ege.edu.tr Ege Üniversitesi.

... konulu sunumlar: "Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi Dr. Tuğba Özacar Öztürk tugba.ozacar@ege.edu.tr Ege Üniversitesi."— Sunum transkripti:

1 Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi
Dr. Tuğba Özacar Öztürk Ege Üniversitesi Bilgisayar Mühendisliği

2 Giriş Rete tabanlı bir OWL çıkarsama motorunun gerçekleştirimi
Çıkarsama motoru üzerinde bir eniyileme buluşsalının uygulanması eniyileme buluşsalı bilinen bazı eniyileme buluşsallarını yeniden düzenler ve birleştirir Performans analizi Testlerde Lehigh Üniversitesi Karşılaştırmalı Değerlendirmesi kullanılmaktadır

3 Motivasyon Büyük boyutta ve birleşik ontolojileri işleyebilme yeteneği, bütün anlamsal web araçları için olduğu gibi çıkarsama araçları için de çok gereklidir. Ontolojideki değişikliklerle başa çıkabilen ve yüksek performanslı kural tabanlı bir çıkarsama motoru

4 İçerik Ontolojideki değişliklerle başa çıkabilen bir ileriye zincirleme algoritması: RETE RETE üzerinde uygulanan eniyileme buluşsalları Kısıtlayıcı Koşulları Öncelikli Olarak Yerleştirmek Ortak Değişkene Sahip Koşulları Ardışık Olarak Dizmek Eniyileme buluşsallarının yeniden düzenlenmesi ve birleştirilmesi: Melez Buluşsal Performans analizi Sonuçlar

5 I. RETE Algoritması

6 II. Kısıtlayıcı Koşulları Öncelikli Olarak Yerleştirme Buluşsalı
Amaç: kısıtlayıcı koşulları öncelikli olarak yerleştirerek, Rete ağının orta kısmında oluşan yükü azaltmak Kısıtlayıcı koşullara sahip koşulları belirlemek az sayıda ontoloji üçlüsüyle eşleşen koşullar daha az değişkene sahip koşullar kompleks yüklemlere sahip koşullar

7 II. Ortak Değişkene Sahip Koşulları Ardışık Olarak Dizme Buluşsalı
Amaç: ortak değişkene sahip koşulları ardışık olarak dizerek, Rete ağının orta kısımlarında oluşan yükü hafifletmek Eğer bir kuralın n. koşulu, n-1. koşul ile ortak bir değişkene (x), sahip ise n-1. gerçeklemede, x üzerinde oluşmuş kısıtlar sonucu E(kn)'in boyutları azalır

8 III. Melez Buluşsal Adım 1: C (r1) ← null
C(r)'ye ait en kısıtlayıcı koşulu (x), bul ve x'i C(r)'den silerek, C (r1)'ye ekle Adım 2: eğer C (r) ≠∅ ise x ∈ C (r) olmak üzere, l ile en fazla sayıda ortak değişkene sahip koşullar içinde en kısıtlayıcı olanını (x), belirle ve x'i C(r)'den silerek, C (r1)'ye ekle Adım 2 değilse r'yi döndür

9 IV. Performans Analizi

10 V. Sonuçlar Bu çalışmada, Rete tabanlı bir çıkarsama motorunun zaman ve bellek gereksinimlerini azaltmak amacıyla, bu çıkarsama motoru üzerinde, sorgu örüntülerini yeniden düzenleyen melez bir eniyileme uygulanmıştır. Eniyileme buluşsalı beklendiği gibi sorgu performansını arttırmıştır. Fakat sistem hala gelişime açıktır.

11 Teşekkürler