Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.

Benzer bir sunumlar


... konulu sunumlar: "MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN."— Sunum transkripti:

1 MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN

2 Tanım - 1 Bir yer değiştirme (substitution), X i = t i formundaki çiftlerin, X i bir değişken, t i bir terim, her i ≠ j için X i ≠ X j olduğu ve X i ’nin t j içinde yer almadığı durumlarda sonlu bir kümedir (boş olabilir).

3 Tanım - 2 Eğer A = Bθ olan bir θ yer değiştirmesi varsa A, B’nin bir örneğidir.

4 Tanım – 3 C hem A’nın hem B’nin bir örneği ise A ve B’nin ortak örneğidir (common instance) denir. Diğer bir deyişle, C=Aθ 1 olan θ 1 ve θ 2 yer değiştirmeleri varsa sözdizimsel olarak Bθ 2 ’ye eştir.

5 Tanım – 4 Evrensel modus ponens yasası, R=(A←B 1,B 2, …, B n ) kuralından ve B’ 1. B’ 2.. B’ n. gerçeklerinden (facts) eğer, A’ ← B’ 1,B’ 2, …, B’ n R’nin bir örneği ise A’ sonucu çıkarılabilir.

6 Tanım – 5 ve 6 Bir mantık programı sonlu kurallar kümesidir. Varoluş niceleyicisiyle nicelenmiş G hedefi (goal), eğer B 1,…, B n mantıksal sonuçlar ve A, G’nin örneği olduğu durumda A←B 1,B 2, …, B n, n ≥ 0 değişkensiz örneği (ground instance) P içinde bir cümlecik (clause) ise bir P programının mantıksal sonucudur.


"MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN." indir ppt

Benzer bir sunumlar


Google Reklamları