Технологии Microsoft в теории и практике программирования




Технологии Microsoft в теории и практике программирования - стр. 42


Научный руководитель: Сошников Д. В.

Москва

В настоящее время во всём мире наблюдается повышение интереса к интеллектуальным системам и методам их разработки. Одной из главных причин является разработка и внедрение консорциумом W3 модели семантической паутины Semantic Web, в основе которой лежит декларативный язык представления знаний RDF.

При разработке интеллектуальных систем с помощью одного из существующих подходов — с использованием языков на основе алгоритмических моделей, отличных от модели фон Неймана (Prolog), специализированных средств представления знаний (CLIPS, Jess) или внедряемых систем (JULIA) — перед разработчиками встаёт задача интеграции системы с уже написанным императивным кодом. Особую важность она приобретает в последние годы, когда во всём мире наблюдается отчётливая ориентация на слабо связанные системы и значимость повторно используемого кода возрастает.

С учётом данных задач была разработана многопарадигмальная система программирования, объединяющая различные подходы к разработке (объектный, фреймовый, императивный, продукционный, а также возможность привязки реляционных данных к активным знаниям и онтологиям). Ядром системы является язык LIMA, представляющий собой надмножество C#, полученный за счёт его расширения интеллектуальными конструкциями, высокоуровневый семантически?ориентированный транслятор языка LIMA в язык C# и библиотека логического вывода. При использовании данной системы на основе LIMA-описаний базы знаний в фреймовом представлении генерируется C#-код, позволяющий проводить логический вывод (в том числе распределённый с использованием веб-сервисов) по описанной фреймовой иерархии, включение фреймов из удалённых баз знаний, интерпретацию реляционных данных как знаний в рамках выбранной онтологии, а также осуществлять чрезвычайно тесную интеграцию продукционных частей системы с императивным кодом, за счёт использования в качестве основы для языка LIMA языка C#.

Несомненным достоинством данной системы является метод интеграции подходов к программированию на основе высокоуровневой кодогенерации.


Содержание  Назад  Вперед