Çıkarımları sembolik bir dille denetlemek için geliştirilmiştir. Çıkarım, eldeki bilgilerden bir sonuç çıkarma işlemidir. Eldeki bilgilerden beklenen sonuçların çıkıp çıkmadığını araştırmaya denetleme denir.... devamı