Metal Gear

Итак, как мы уже отмечали, для высокоуровневого представления знаний можно создать специальный язык, с помощью которого обеспечивается формализация такого представления. Поскольку знания могут относиться к самым разным областям, не удивительно, что существует множество раздичных ЯПЗ. Кроме того, знания могут быть представлены как в виде коротких фраз, так и в виде сложных конструкций, содержащих как фразы на естественном языке, так и математические формулы. Наконец, не следует забывать и о существовании так называемых метазнаний (т.е. знаний о знаниях) и сложных ассоциациях или (если вам это ближе) об иерархиях классов и
наследовании.
Конечно, формализация представления знаний — это только высокоуровневая концепция, для практического применения которой необходимо использовать низкоуровневое программирование. Однако описанные ниже формальные представления с успехом можно выразить в виде конструкций языка программирования C++.