Logika digunaakan gasan manyadiaakan semantik formal tentang bagaimana fungsi penalaran harus ditarapakan pada simbol-simbol dalam sistem KR.