Automatiserede ræsonnementer er et område indenfor datalogi og matematisk logik dedikeret til at forstå forskellige aspekter af det at ræsonnere. Studiet af automatiserede ræsonnementer hjælper til at producere computerprogrammer, som lader computere ræsonnere fuldstændigt, eller nær-fuldstændigt, automatisk. Selvom forskning i automatiserede ræsonnementer ses som et underfelt af kunstig intelligens har det også forbindelser med teoretisk datalogi og filosofi.
Kategori:Teoretisk datalogi Kategori:Kunstig intelligens