Logica e rappresentazione della conoscenza

Scrivere fatti e regole in forma precisa così che una macchina possa trarne conclusioni (IA simbolica).