Automatisiertes Denken ist ein Bereich der Informatik und künstlichen Intelligenz, der darauf abzielt, Softwaresysteme zu entwerfen, die denken, schlussfolgern und Schlussfolgerungen ziehen können. Automatisiertes Denken nutzt Techniken aus verschiedenen Bereichen der Mathematik, Logik und künstlichen Intelligenz bei der Analyse komplexer, realer Probleme.
Das Gebiet des automatisierten Denkens hat seine Wurzeln in der mathematischen Logik, einem Zweig der Mathematik, der sich mit den Grenzen des richtigen Denkens befasst. Frühe Forschungen auf diesem Gebiet konzentrierten sich auf die Entwicklung logischer Systeme, die mathematische und andere symbolische Probleme korrekt lösen konnten. Als Computer immer leistungsfähiger wurden, erkannten die Forscher, dass dieselben Systeme zur Lösung komplexerer Probleme verwendet werden könnten.
In den letzten Jahren sind automatisierte Argumentationssysteme zu einem wichtigen Bestandteil automatisierter Computerdienste wie intelligenter persönlicher Assistenten und Expertensystemen geworden. Diese Systeme sind darauf ausgelegt, automatisiertes Denken zu nutzen, um von Menschen gestellte Probleme zu verstehen und zu lösen. Sie können durch Probleme argumentieren, indem sie sich auf große Faktendatenbanken stützen, oder indem sie Heuristiken, eine Reihe von Faustregeln, verwenden, um Entscheidungen zu treffen.
Automatisiertes Denken ist ein aktives und sich schnell entwickelndes Forschungsgebiet und wird oft als Schlüsselkomponente der künstlichen allgemeinen Intelligenz angesehen. Heutige Systeme können durch symbolische Probleme, kausale Probleme und nicht-symbolische Probleme wie die Verarbeitung natürlicher Sprache argumentieren. Mit der Weiterentwicklung der Technologie und des Fachgebiets werden automatisierte Denksysteme immer ausgefeilter und leistungsfähiger, sodass Maschinen den Menschen bei vielen Arten von Aufgaben besser unterstützen oder sogar ersetzen können.
