Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

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

Benzer bir sunumlar


... konulu sunumlar: "Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi Dr. Tuğba Özacar Öztürk 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 I. Ontolojideki değişliklerle başa çıkabilen bir ileriye zincirleme algoritması: RETE II. 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 III. Eniyileme buluşsallarının yeniden düzenlenmesi ve birleştirilmesi: Melez Buluşsal IV. Performans analizi V. 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


"Kural ve Sorgu Örüntülerinin Düzenlenmesi ile Rete Tabanlı bir Çıkarsama Motorunun Eniyilenmesi Dr. Tuğba Özacar Öztürk Ege Üniversitesi." indir ppt

Benzer bir sunumlar


Google Reklamları