Автоформалізація — процес автоматичного перетворення інформації, даних або знань з неструктурованого (наприклад, природномовного тексту) у строго формалізований, машиночитаний вид (наприклад, код, логічні формули, структуровані записи) за допомогою спеціальних алгоритмів чи програмних засобів без безпосередньої участі людини на кожному кроці.
Автоформалізація — у філософії та методології науки: концепція або ідеал наукового пізнання, що передбачає можливість і необхідність повного зведення (редукції) змісту будь-якої теорії або галузі знань до сукупності формальних правил, аксіом і логічних виведень, що можуть бути алгоритмізовані та виконуватися автоматично.