Çı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ı
Varlıkların zihindeki tasarımı kavram olarak ifade edilir. "Ağaç", "kuş", "çiçek", "insan" tek tek varlıkların tasarımıyla ortaya çıkmış kavramlardır. Kavramlar genel olduklarından tek bir varlığın zihindeki tasarımı olan hayâlden farklıdır.... devamı