Automatiseret ræsonnement

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning

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.

ArtikelstumpStub
Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.