Введение
Программные компании Соединенного Королевства
Компания Logic Programming Associates (LPA) специализируется на разработке программного обеспечения для логического программирования и искусственного интеллекта. LPA была основана в 1980 году и широко известна своими компиляторами Prolog, инструментарием экспертных систем Flex и, недавно, VisiRule. Компания LPA была создана для коммерциализации исследований в области логического программирования, проводимых под руководством профессора Роберта Ковальского в Департаменте вычислительной техники и управления Имперского колледжа Лондона.
История LPA Prolog
Одной из первых реализаций Prolog, предоставленных LPA, был micro PROLOG, который работал на популярных 8-битных домашних компьютерах, таких как Sinclair ZX Spectrum и Apple II. Одним из первых вариантов применения Prolog стала правовая сфера, а именно Закон о британском гражданстве. Лэнс Эллиот писал: «Акт о британском гражданстве был принят в 1981 году и вскоре после этого использовался для демонстрации эффективности методов и технологий искусственного интеллекта (ИИ), чтобы изучить, как недавно принятый закон можно закодировать в компьютерную формализацию, основанную на логике. В 1986 году в престижном журнале Communications of the ACM была опубликована широко цитируемая исследовательская работа под названием «Акт о британском гражданстве как логическая программа», которая впоследствии стала важной вехой для последующих работ в области ИИ и права». С этой многообещающей исследовательской работой можно ознакомиться здесь. Вскоре после этого 8-битный интерпретатор micro PROLOG был дополнен micro PROLOG Professional – одной из первых реализаций Prolog для «новых» 16-битных IBM PC, работающих под MS DOS. micro PROLOG Professional мог использовать всю доступную в MS DOS память объемом 640 КБ и, следовательно, поддерживать значительно большие программы.
В 1985 году LPA выпустила LPA MacProlog, работавший на компьютерах MacPlus и Mac II, которые могли использовать до 4 МБ памяти. Позднее MacProlog был лицензирован компании Quintus для распространения в США. В 1989 году LPA начала разработку нового 32-битного компилятора Prolog, который мог использовать технологию расширения DOS для доступа к памяти объемом до 4 ГБ. Это стало основой для LPA Prolog for Windows, также известного как WIN PROLOG, который был выпущен для Windows 3.0 в 1990 году. Основным продуктом LPA является LPA Prolog for Windows – компилятор и система разработки для платформы Microsoft Windows. Современный ассортимент программного обеспечения LPA включает в себя комплекс инструментов ИИ, охватывающий различные аспекты искусственного интеллекта, включая логическое программирование, экспертные системы, системы, основанные на знаниях, интеллектуальный анализ данных, агенты и рассуждения на основе прецедентов и т. д. Помимо продолжения разработки технологии компилятора Prolog, LPA имеет опыт создания инновационных сопутствующих инструментов и продуктов для решения конкретных задач и использования возможностей.
PVG
В 1992 году LPA помогла организовать группу поставщиков Prolog – некоммерческую организацию, целью которой было продвижение Prolog путем повышения осведомленности о его применении в промышленности.
Компании "Бизнес Интегрити Лтд" и "Контракт Экспресс"
В период с 1996 по 1998 год, благодаря работам, софинансированным в рамках премии DTI Smart, LPA разработала ScaffoldIT – инструмент для создания динамических документов и интеллектуальных веб-сайтов. Эта технология, построенная на базе движка LPA Prolog и сопутствующего ProWeb Server, позволяла генерировать сложные, персонализированные документы, такие как графики страховых полисов, юридические договоры и сложные коммерческие предложения, через Интернет. В 1999/2000 годах LPA помогла создать компанию Business Integrity Ltd в качестве совместного предприятия с Tarlo Lyons для вывода на рынок вышеупомянутой технологии сборки документов. Впоследствии этот продукт стал известен как Contract Express. Contract Express завоевал большую популярность среди крупных юридических фирм и продавался по всему миру для внутреннего и внешнего использования. Партнеры и главные юрисконсульты оценили Contract Express за то, что он позволял юристам быстро и точно автоматизировать и обновлять свои юридические шаблоны в Word, не прибегая к помощи ИТ-специалистов для их преобразования в программы. В результате коммерческого успеха Contract Express компания BIL была приобретена Thomson Reuters в 2015 году. О первых днях существования BIL рассказывает Клайв Спенсер здесь.
Визируль
В 2004 году LPA запустила VisiRule – графический инструмент для разработки систем, основанных на знаниях, и систем поддержки принятия решений. VisiRule был описан в журнале IEEE Potentials в 2007 году (см. статью «Использование ваших знаний с помощью VisiRule»).
VisiRule применялся в различных отраслях для создания юридических экспертных систем, программ диагностики оборудования, систем медицинских и финансовых консультаций и т. д. В 2013 году VisiRule был интегрирован в систему поддержки принятия решений по управлению экосистемами (EMDS), где он используется для расширения возможностей поддержки принятия решений. EMDS объединяет современные географические информационные системы (ГИС), технологии логического программирования и моделирования решений на различных платформах (Windows, Linux, Mac OS X) для поддержки значительной части процесса адаптивного управления экосистемами. EMDS активно используется, расширяется, поддерживается и обслуживается компанией Mountain View Business Group (подробный обзор EMDS представлен в статье, опубликованной в журнале Frontiers in Environmental Science). В 2023 году VisiRule был включен в список пяти лучших программных продуктов для поддержки принятия решений для крупных предприятий в 2024 году.
Клиенты
В течение многих лет LPA тесно сотрудничает с Валдисом Кребсом, американским латвийским исследователем, автором и консультантом в области анализа социальных и организационных сетей. Валдис – основатель и главный научный сотрудник Orgnet, а также создатель популярного программного пакета Inflow. LPA Prolog и Flex были использованы для создания Allergenius – экспертной системы для интерпретации результатов микрочипов аллергенов. Правила, представляющие базу знаний (KB), были получены из научной литературы и специализированных баз данных. Входные данные включали идентификатор пациента и его заболевание(я), результаты кожных проб или специфических анализов IgE, а также результаты ISAC. Выходом являлся медицинский отчет.