структурована сукупність знань, понять, методів і принципів, яка описує певну галузь реальності та дозволяє її досліджувати, пояснювати й прогнозувати

процес отримання нових висновків із наявних фактів і правил за допомогою формальної логіки

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