автоформалізація

Значення

1. (Інформаційні технології) –

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

2. (Філософія) –

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

Правопис та відмінювання