Otomatikleştirilmiş muhakeme
Otomatikleştirilmiş muhakeme, otomatik akıl yürütmenin farklı yönlerinin izah edilmesine odaklanmış bir bilgisayar bilimi ve matematiksel mantık alanıdır. Otomatik akıl yürütme çalışması, bilgisayarların neredeyse tamamen otomatik olarak bilgisayar programları üretmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak düşünülmesine rağmen, teorik bilgisayar bilimi ve hatta felsefe ile de bağlantıları vardır.