Использование знаний для решения интеллектуальных задач требует языковых средств, с помощью которых в соответствии с известными моделями представляются знания о проблемной области, строятся запросы и делается вывод для формирования ответов на эти запросы. Для реляционной модели декларативные знания и запросы к ним формируются в виде логической или функциональной программы, а процесс вывода по запросам, как правило, имеет итерационный характер: в результате итерации производится последовательное разрешение логической или функциональной программы относительно запроса. В случае объектной модели знания и запросы должны быть представлены в форме сетей объектов, а вывод делается путем сопоставления запросов и знаний в этой форме. Для ассоциативной модели знания формируются в виде образов, отображаемых в сети, в узлах которой реализуются базисные функции, а сама сеть настраивается на образ путем обучения. Ответ на запрос, поступающий в виде некоторого образа на вход сети, получается на ее выходе как результат ассоциативного вывода, основанного на сопоставлении входного образа с эталонными образами, сформированными в сети в процессе обучения.
Рассмотрим особенности языковых средств, используемых для представления знаний о проблемной области, построения запросов и вывода для формирования ответов на эти запросы при решении интеллектуальных задач в рамках функционального, логического, объектно-ориентированного и агентно-ориентированного программирования.
