Abstract:
Mantık programlama temelli bildirimsel problem çözme paradigması olan Yanıt KümesiProgramlama (YKP), yakın zamanda birçok alana uygulanmaya başlanmıştır. Dinamik özelliklere sahip çoğu uygulama alanındaki problemlere yeni bilgiler eklenmekte ya da eskileri çıkarılmakta ve bu dinamik süreç içersinde YKP ile bulunan yanıtların yenilenmesi gerekmektedir. Geleneksel YKP ile dinamik problemlerin çözümünde bazı aşamalar çok kere tekrarlanmakta ve performans kayıplarına sebep olmaktadır. Dinamik YKP'de ise çözücü uygulama durdurulup, yeni bigilerin eklenmesi veya eskilerinin çıkarılmasından sonra tekrarkaldığı yerden devam edebilmekte. Bu projede dinamik YKP'nin uygulanmasında kullanılabilecek bilgi gösterim yöntemleri geliştirilecektir.