Yapay zekanın işleyişini resmi bir üslupla ayrıntılı olarak açıklar.