Süni intellektin əsasları Süni intellekt nədir?

20.DNF və KNF

dəyişənini və ya onun inkarını ˥ literal adlandıraq.Literallar konyuksiyasını konyukt ,dizyunksiyanı dizyunkt adlandıraq. Təklif 2. qeyri-səlis düsturu dizyuktiv normal forma (DNF) adlanır.Əgər: .Burada, , –konyuktdurlar. Təklif 3. qeyri-səlis düsturun konyuktiv normal forma adlanır(KNF).Əgər: .Burada, , -dizyunktdurlar. Tədqiqatlar göstərir ki,ümumi əhəmiyyətlilik və ziddiyyətlilik anlayışı qeyri-səlis və adi məntiqdə üst-üstə düşür.Daha dəqiq desək aşağıdakı teorem mövcuddur: Teorem 1. Əgər ümumi əhəmiyyətlidirsə(ziddiyyətlidir),onda və yalnız onda, düsturu qeyri-səlis ümumi əhəmiyyətlidir(qeyri-səlis ziddiyyətlidir). -dən -ə təsvir olunan qeyri-səlis düsturlar,elə A nisbi qayda münasibətini saxlayırlar ki, . ,onda və yalnız onda ya: ,ya da .Məsələn: var , və qiymətləri isə müqayisə olunmazdır. onu göstərir ki, daha çox qeyri-müəyyən düzgünlük qiymətidir,nəinki . A-münasibətinin -ə genişlənməsi belə ola bilər: ; ; onda və yalnız onda ,nə vaxt ki, , . Teorem 2. Tutaq ki, qeyri-səlis düsturdur və [ təsviri verir.Əgər ,onda (isbatsız).İndi də qeyri-səlis impilikasiya anlayışına müraciət edək.Məlumdur ki,ikiqiymətli məntiqdə düsturu düsturunu aparır,əgər: -nin implikantı, isə -in implikantı adlanır. Təklif 4. Tutaq ki, və iki qeyri-səlis düsturlardır.Deyəcəyik ki, -ni qeyri-səlis implikasiya edir və ya: ,əgər . Belə halda deyəcəyik ki, qeyri-səlis düsturunu implikasiya edir və ya -nin qeyri-səlis implikantıdır. Qeyri-səlis implikasiyaların misallarına baxaq: ; ; ˥ ˥ ; ; ; Təklif 5. Tutaq ki, DNF-də düsturdur və konyunkdur. -i -in qeyri-səlis ilkin implikantı adlandıraq,əgər: və , -dən nəticə etibarı ilə və ya . Beləliklə,qeyri-səlis ilkin implikantı bütün düzgün qeyri-səlis implikantlar çoxluğuna maksimal elementdir.”®” yaratmış qaydaya uyğundur. Analoji qaydada qeyri-səlis ilkin implikant anlayışını daxil etmək olar və bu anlayış bəyaqkinə ikilidir. Təklif 6. Tutaq ki, KNF-də düsturdur və dizyuktdur. -ni -in qeyri-səlis ilkin implikantı adlandıraq.Əgər: və , -dən nəticə etibarı ilə və ya .İndi isə qeyri-səlis funksiyanın bütün qeyri-səlis ilkin implikantları yaranması məsələsini qoymaq olar.Bu problem qeyri-səlis funksiyalar üçün minimal formanın tapılma məsələsi ilə bağlıdır.Həmin məsələ üçün birləşməyə ayrılmayan elementlərin aşağıdakı xarakteristikası vacibdir.