Otomatik akıl yürütme
Otomatik akıl yürütme, bilgisayar biliminin (bilgi temsilini ve akıl yürütmeyi içerir) ve akıl yürütmenin farklı yönlerini anlamaya çalışan bir alandır. Otomatik akıl yürütme çalışması, bilgisayarların tamamen veya neredeyse tamamen otomatik olarak akıl yürütmesine izin veren bilgisayar programlarının üretilmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak görülse de, teorik bilgisayar bilimi ve felsefesi ile de bağlantıları vardır.