Искусственный интеллект

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