Logic is used to supply formal semantics of how reasoning functions should be applied to the symbols in the KR system.
Panglokikane kaanggen ngawehin kawentenan semantik formal ngenenin sapunapi kawigunan idep pastika kaanggen pananda sane wenten ring sistem KR.