Классификация языков программирования агентов

Ниже представляется классификация языков, наиболее часто используемых в технологии интеллектуальных агентов^[1].

• 1. Универсальные языки программирования (Java).
• 2. Языки, «ориентированные на знания»:
  • • представления знаний (KIF);
  • • переговоров и обмена знаниями (KQML, AgentSpeak, April)',
  • • спецификации агентов.
• 3. Специализированные языки программирования агентов (TeleScript).
• 4. Языки сценариев и scripting languages (Tc, l/Tk).
• 5. Символьные языки и языки логического программирования (Oz).

Java — вероятно, один из наиболее популярных языков, используемых в последнее время для программирования агентов./аш представляет собой язык программирования, его синтаксис подобен C++, но с идеологией более схожей со Smalltalk и Objective С. Система программирования на Java включает виртуальную машину Java и транслятор с Java в bytecode.

KQML — язык и протокол для поддержки взаимодействия агентов в распределенных приложениях. Примеры возможных применений языка включают такие интеллектуальные многоагентные системы, как интеллектуальные агенты планирования, поддерживающие распределенную обработку.

SKTP — Simple Knowledge Transfer Protocol. Первые две реализации SKTP были написаны на языках Common Lisp и Пролог соответственно. В настоящее время разрабатываются интерфейсы на других языках. SKTP — реализация стека протокола KQML.

KIF — язык для обмена знаниями между различными программами, написанными различными людьми на разных языках и в разное время. Он имеет декларативную семантику (значение выражений, представленных на этом языке, может быть понято без обращения к специальному интерпретатору); он логически полон (обеспечивает выражение произвольных предложений логики предикатов первого порядка), обеспечивает представление знаний о представлении знаний; обеспечивает представление немонотонных правил вывода, определение объектов, функций и отношений.

April — Agent Process Interaction Language — язык высокого уровня, который предлагает простой интерфейс с другими языками программирования типа С. April. Язык ориентирован на реализацию многоагентных систем. Однако April не является языком программирования агентов в том смысле, что он не предлагает таких высокоуровневых возможностей, как планировщики, механизмы вывода на основе правил и системы представления знаний.

AgentSpeak. Аналогом класса в данном языке выступает семейство, представителем (экземпляром) семейства является агент. Каждый агент обладает БД отношений с публичной и приватной частями, множеством сервисов и множества планов — процедур, о которых известно только — выполнены они или нет. Язык обеспечивает распределенность хранения информации в пространстве функционирования агентов.

TeleScript. Первая коммерческая реализация концепции мобильного агента была сделана в среде TeleScript-техиологии фирмы General Magic. Данная технология основана на метафоре электронного рынка — общедоступной сети {public network), которая позволяет продавцам и потребителям товаров и услуг находить друг друга и заниматься совместным бизнесом.

Agent-Tcl — система мобильных агентов, в которой агенты написаны на 7с/ 7.4 и Tk 4.0. Agent-Tcl активно используется в задачах информационного поиска и прикладных программах информационного управления.

Oz — параллельный объектно-ориентированный язык программирования, который разработан в DFKI (Германия). Имеются несколько проектов в DFKL использующих Oz совместно с архитектурой InteRRaP.

Obliq — интерпретируемый язык без контроля типов, который поддерживает распределенные объектно-ориентированные вычисления. Вычисление в Obliq может охватывать многократные потоки управления внутри одного адресного пространства, многократные адресные пространства в пределах одного компьютера, множество компьютеров в гетерогенной локальной сети и, наконец, даже множество сетей в Internet. Вычисления в Obliq могут перемещаться по сети, сохраняя сетевые соединения.

Facile — язык программирования высокого уровня для систем, которые требуют комбинации сложного манипулирования данными с параллельными распределенными вычислениями.

AKL {Agent Kernel Language) — параллельный язык программирования, разработанный в Шведском Институте Информатики {SICS). В AKL вычисления выполняются агентами, взаимодействующими через хранилища ограничений и условий {stores of constraints). Этот подход объединяет сразу несколько парадигм программирования. В соответствующих контекстах об A/CL-агентах можно думать как о процессах, объектах, функциях, отношениях или ограничениях.

• [1] См. интернет-ресурсы: Vittikh V. A. Op. cit.; Project of multi-agent technology in difficultsystems. Open University of the Netherlands; Weerasooriya, A. S., Rao Ramamohanarao K. Op. cit.;Agent Programming and Scripting languages; Java; Tcl/Tk; The DFK1 Oz Programming System;Obliq; April: Agent Process Interaction Language; AKL, AGENTS, and Penny; Penguin; FIPA;Официальная документация no Protege; OWL, язык web-онтологий. Руководство; Статистический портал World Gazetteer. URL: www. world-gazetteer.com; Доклад о развитии человека. Электронный ресурс ООН. URL: http://www.un.org/ru/development/hdr/2009.