Logic & knowledge representation

Writing facts and rules in a precise form so a machine can draw conclusions from them (symbolic AI).