Biliyin təmsili və əsaslandırma
Biliyin təmsili və əsaslandırma (ing. Knowledge Representation and Reasoning) — süni intellektin ən vacib sahələrindən biridir və kompüterlərin məlumatları emal etməyi, məntiqi nəticələr çıxarmağı, həmçinin insan dilini və düşüncə tərzini başa düşməyi öyrənməsinə kömək edir.
Bu sahə əsasən insan biliyini kompüterlərə öyrətməklə həmin bilikdən məntiqi nəticələr çıxarmağı, qərarlar verməyi və problemləri həll etməyi təmin edir.
== Biliyin təmsili ==
Biliyin təmsili, məlumatların strukturlaşdırılmış formada saxlanılmasını təmin edir ki, maşınlar bu məlumatları emal edə və onlardan nəticələr çıxara bilsinlər. Təmsil üsulları aşağıdakılardır:
Məntiq əsaslı təmsil — burada predikat məntiqi, propositional məntiq kimi məntiq modellərindən istifadə edilir. Əsas qaydalar və qanunlar müəyyən edilir və maşınlar bu qaydalara əsaslanaraq nəticələr çıxarır.
Yarımstrukturlaşdırılmış bilik — ontologiyalar, semantik şəbəkələr və taksonomiyalarla bilik təsvir edilir. Bu, məlumatlar arasında əlaqələri qurmağa və nəticə çıxarmağa kömək edir.
İstehsal qaydaları (ing. Production Rules) — qayda-əsaslı sistemlərdə "Əgər ...