Партнеры по логическому программированию

Ассоциация логического программирования, ООО
Тип компании	Частный
Промышленность	Компьютерное программное обеспечение
Основан	1980
Штаб-квартира	Лондон
Обслуживаемая территория	Великобритания, США, регион EMEA
Ключевые люди	Клайв Спенсер ; Брайан Стил
Продукты	VisiRule , набор инструментов экспертной системы Flex, набор инструментов Flint, LPA Prolog для Windows
Веб-сайт	www.lpa.co.uk , www.visirule.co.uk

Logic Programming Associates ( LPA ) — компания, специализирующаяся на логическом программировании и программном обеспечении искусственного интеллекта . LPA была основана в 1980 году. ^[1] и широко известен своим набором компиляторов Prolog Flex , набором инструментов экспертной системы и, совсем недавно, VisiRule .

LPA была создана для использования исследований логического программирования, проводимых на и управления техники Имперского колледжа Лондона факультете вычислительной под руководством профессора Роберта Ковальски .

История LPA Пролог

Одной из первых реализаций Пролога , предоставленных LPA, был микро-ПРОЛОГ. ^[2] который работал на популярных 8-битных домашних компьютерах, таких как Sinclair ZX Spectrum. ^[3] и Apple II .

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

Лэнс Эллиот писал: «Закон о британском гражданстве был принят в 1981 году и вскоре после этого использовался как средство демонстрации эффективности использования методов и технологий искусственного интеллекта (ИИ). Закон может быть закодирован в компьютеризированной, основанной на логике формализации. Часто цитируемая сейчас исследовательская работа под названием «Закон о британском гражданстве как логическая программа» была опубликована в 1986 году в престижном журнале «Коммуникация АСМ» и впоследствии стала визитной карточкой последующих работ в этой области. ИИ и закон». ^[4]

Вы можете получить доступ к этой широко разрекламированной исследовательской работе здесь. ^[5]

За 8-битным интерпретатором micro-PROLOG вскоре последовал micro-PROLOG Professional, одна из первых реализаций Пролога для «новых» 16-битных компьютеров IBM под управлением MS-DOS . micro-PROLOG Professional может получить доступ ко всей памяти объемом 640 КБ, доступной под MS-DOS, и, следовательно, управлять гораздо более крупными программами.

В 1985 году LPA выпустила LPA MacProlog, который работал на компьютерах MacPlus и Mac II и мог иметь доступ к памяти до 4 МБ. Позже лицензия на MacProlog была передана Quintus для повторного распространения в США.

В 1989 году LPA начала работу над новым 32-битным компилятором Пролога, который мог использовать технологию расширения DOS для доступа к памяти до 4 ГБ.

Это стало основой для LPA Prolog для Windows, также известного как WIN-PROLOG, который затем был выпущен для Windows 3.0 в 1990 году.

Основным продуктом Prolog компании LPA является LPA Prolog для Windows . ^[6] компилятор и система разработки для платформы Microsoft Windows. Текущая линейка программного обеспечения LPA включает интегрированный набор инструментов искусственного интеллекта, который охватывает различные аспекты искусственного интеллекта , включая логическое программирование, экспертные системы , системы, основанные на знаниях , интеллектуальный анализ данных, агенты, рассуждения на основе прецедентов и т. д.

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

Инструментарий экспертной системы Flex

В 1989 году, в ответ на рост интереса к экспертным системам и появление таких продуктов, как Crystal, GoldWorks , NExpert, LPA разработала набор инструментов экспертной системы Flex , который включал в себя на основе фреймов рассуждения с наследованием, программирование на основе правил и обработку данных. управляемые процедуры. Flex имеет собственный язык спецификации знаний (KSL), похожий на английский, что означает, что знания и правила определяются в простой для чтения и понимания форме. ^[7]

LPA поддерживала Flex на ПК с Windows, DOS и Macintosh в качестве дополнительного инструментария к своим различным системам LPA Prolog и позволила LPA выйти на быстро развивающийся рынок правил Expert Systems.

Flex быстро зарекомендовал себя как ведущий инструментарий экспертной системы на основе Prolog и был лицензирован другим поставщикам Prolog на других аппаратных платформах, включая Telecomputing Plc, в дополнение к Top One на мэйнфреймах IBM и ICL. ^[8]

Другие реализации включали Quintec-Flex, Quintus Flex, Poplog Flex и BIM Flex, которые работали на платформах Unix и/или Vax/VMS.

POPLOG-Flex использовался для создания BRAND EVALUATOR — экспертной системы, помогающей специалистам по брендам оценивать ценность брендовых продуктов. ^[9]

Quintec-Flex использовался для создания гибридной системы для нелинейного динамического анализа/проектирования связанных стенок, работающих на сдвиг. ^[10]

Flex был принят Открытым университетом в рамках курса T396 «Искусственный интеллект для технологий». ^[11] который был разработан профессором Адрианом Хопгудом. Некоторые учебные материалы теперь доступны на его веб-сайте AI takeit .

Flex также использовался Дэвидом Ферруччи и Сельмером Брингсйордом в их машине повествования BRUTUS. ^[12]

ПВГ

В 1992 году LPA помогла создать группу поставщиков Prolog. ^[13] некоммерческая организация, целью которой было способствовать продвижению Пролога, знакомя людей с его использованием в промышленности.

Business Integrity Ltd и Contract Express

В период с 1996 по 1998 год на основе работы, совместно финансируемой в рамках премии DTI Smart, LPA разработала ScaffoldIT, ^[14]^[15] инструмент для создания динамических документов и интеллектуальных веб-сайтов. Эта технология, созданная с использованием механизма LPA Prolog и связанного с ним сервера ProWeb, позволяла генерировать через Интернет сложные персонализированные документы, такие как графики страховых полисов, юридические контракты и сложные торговые предложения.

В 1999/2000 году LPA помогла создать Business Integrity Ltd как совместное предприятие с Tarlo-Lyons для вывода на рынок вышеуказанной технологии сборки документов. Этот продукт в конечном итоге стал Contract Express . Contract Express стал очень популярен среди крупных юридических фирм и продавался по всему миру как для внутреннего, так и для внешнего использования.

Партнерам и генеральным директорам понравился Contract Express, поскольку юристы смогли быстро и точно автоматизировать и обновить свои юридические шаблоны в Word, не требуя от ИТ-специалистов конвертировать их в программы.

В результате коммерческого успеха Contract Express в 2015 году BIL была приобретена Thomson Reuters. ^[16]

Клайв Спенсер описывает здесь самые первые дни BIL. ^[17]

VisiRule

В 2004 году LPA запустило VisiRule. ^[18] графический инструмент для разработки систем, основанных на знаниях и поддержке принятия решений. VisiRule был описан в IEEE Potentials в 2007 году (см. Использование ваших знаний с VisiRule ):

VisiRule использовался в различных секторах для создания юридических экспертных систем , программ машинной диагностики, систем медицинских и финансовых консультаций и т. д. ^{[ нужна ссылка ]}

В 2013 году VisiRule был включен в систему поддержки принятия решений по управлению экосистемой (EMDS), где он использовался для предоставления расширенных возможностей поддержки принятия решений . EMDS объединяет современную географическую информационную систему (ГИС), а также логического программирования и технологии моделирования решений на нескольких платформах (Windows, Linux, Mac OS X), чтобы обеспечить поддержку принятия решений для значительной части процесса адаптивного управления . управление экосистемой . EMDS активно используется, расширяется, поддерживается и поддерживается бизнес-группой Mountain View (подробное описание EMDS см. в статье в журнале Frontiers in Environmental Science ).

В 2023 году VisiRule вошел в пятерку лучших программ поддержки принятия решений для крупных предприятий в 2024 году. ^[19]

Клиенты

На протяжении многих лет LPA тесно сотрудничает с Валдисом Кребсом , американо-латвийским исследователем, писателем и консультантом в области анализа социальных и организационных сетей. Валдис — основатель и главный научный сотрудник Orgnet, а также создатель популярного проекта Inflow. ^[20] пакет программного обеспечения.

LPA Prolog и Flex были использованы для создания Allergenius, экспертной системы для интерпретации результатов микрочипов аллергенов. Правила, представляющие базу знаний (КБ), были получены из литературы и специализированных баз данных. Входные данные включали идентификатор пациента и заболевание(я), результаты кожного прик-теста или специфических анализов IgE, а также результаты ISAC. Результатом стало медицинское заключение. ^[21]

Ссылки

^ «Справочная информация о компании LPA» .
^ Реализации PROLOG для микрокомпьютеров (PDF) , получено 29 апреля 2013 г.
^ микро-ПРОЛОГ для Sinclair Spectrum , получено 29 апреля 2013 г.
^ Искусственный интеллект и право: Закон о британском гражданстве неожиданно стимулировал искусственный интеллект и право , получено 13 ноября 2023 г.
^ Закон о британском гражданстве как логическая программа , получено 13 ноября 2023 г.
^ LPA Пролог для Windows
^ Подробности о наборе инструментов Flex , получено 2 ноября 2023 г.
^ ТЕЛЕКОМПЬЮТИНГ ВЫГЛЯДИТ НА ПЕРВОЕ ДЛЯ UNIX, VMS ОБЛЕГЧИТ ПОДЪЕМ В ГОРУ , получено 31 октября 2023 г.
^ Применение систем, основанных на знаниях, для оценки бренда , дата обращения 11 ноября 2023 г.
^ ГИБРИДНАЯ СИСТЕМА ДЛЯ ДИНАМИЧЕСКОГО АНАЛИЗА И ПРОЕКТИРОВАНИЯ СОЕДИНЕННЫХ СТЕН НА СДВИГ , получено 5 ноября 2023 г.
^ T396 Искусственный интеллект для технологий , получено 2 ноября 2023 г.
^ Внутри разума БРУТА, машины-рассказчика , получено 31 октября 2023 г.
^ Запущена группа поставщиков Prolog (PDF) , получено 29 апреля 2013 г.
^ Юридическая фирма планирует IT-революцию , дата обращения 10 ноября 2023 г.
^ Тарло Лайонс увидел будущее юридических услуг, и оно называется ЭШАФОЛД (PDF) , получено 25 ноября 2023 г.
^ Thomson Reuters приобретает Business Integrity , данные получены 11 ноября 2023 г.
^ Самые первые дни существования Contract Express , получено 31 октября 2023 г.
^ VisiRule , получено 4 января 2020 г.
^ 5 лучших систем поддержки принятия решений для крупных предприятий в 2024 году , данные получены 1 декабря 2023 года.
^ ИнФлоу
^ Джованни Мелиоли; Клайв Спенсер; Джордж Реджиард; Джованни Пассалаква; Энрико Компалати; Анти Рогкаку; Анна Мария Риччио; Элизабетта Ди Лео; Юсташио Неттис; Джорджио Вальтер Каноника (ред.), Allergenius, экспертная система для интерпретации результатов микрочипов аллергенов , получено 23 ноября 2023 г.

Внешние ссылки

[1] «Справочная информация о компании LPA» .

[Prolog_implementations-2] Реализации PROLOG для микрокомпьютеров (PDF) , получено 29 апреля 2013 г.

[micro-PROLOG_for_Sinclair_Spectrum-3] микро-ПРОЛОГ для Sinclair Spectrum , получено 29 апреля 2013 г.

[AI_&_Law-4] Искусственный интеллект и право: Закон о британском гражданстве неожиданно стимулировал искусственный интеллект и право , получено 13 ноября 2023 г.

[BNA-5] Закон о британском гражданстве как логическая программа , получено 13 ноября 2023 г.

[WIN-PROLOG-6] LPA Пролог для Windows

[Flex-7] Подробности о наборе инструментов Flex , получено 2 ноября 2023 г.

[TOP-ONE_Flex-8] ТЕЛЕКОМПЬЮТИНГ ВЫГЛЯДИТ НА ПЕРВОЕ ДЛЯ UNIX, VMS ОБЛЕГЧИТ ПОДЪЕМ В ГОРУ , получено 31 октября 2023 г.

[Brand_Evaluator-9] Применение систем, основанных на знаниях, для оценки бренда , дата обращения 11 ноября 2023 г.

[Quintec-Flex_paper-10] ГИБРИДНАЯ СИСТЕМА ДЛЯ ДИНАМИЧЕСКОГО АНАЛИЗА И ПРОЕКТИРОВАНИЯ СОЕДИНЕННЫХ СТЕН НА СДВИГ , получено 5 ноября 2023 г.

[T396-11] T396 Искусственный интеллект для технологий , получено 2 ноября 2023 г.

[BRUTUS-12] Внутри разума БРУТА, машины-рассказчика , получено 31 октября 2023 г.

[PVG_launched-13] Запущена группа поставщиков Prolog (PDF) , получено 29 апреля 2013 г.

[ScaffoldIT-14] Юридическая фирма планирует IT-революцию , дата обращения 10 ноября 2023 г.

[Software_Solution-15] Тарло Лайонс увидел будущее юридических услуг, и оно называется ЭШАФОЛД (PDF) , получено 25 ноября 2023 г.

[BIL_sold-16] Thomson Reuters приобретает Business Integrity , данные получены 11 ноября 2023 г.

[The_very_early_days_of_Contract_Express-17] Самые первые дни существования Contract Express , получено 31 октября 2023 г.

[VisiRule-18] VisiRule , получено 4 января 2020 г.

[ultraupdates-19] 5 лучших систем поддержки принятия решений для крупных предприятий в 2024 году , данные получены 1 декабря 2023 года.

[InFlow-20] ИнФлоу

[Allergenius-21] Джованни Мелиоли; Клайв Спенсер; Джордж Реджиард; Джованни Пассалаква; Энрико Компалати; Анти Рогкаку; Анна Мария Риччио; Элизабетта Ди Лео; Юсташио Неттис; Джорджио Вальтер Каноника (ред.), Allergenius, экспертная система для интерпретации результатов микрочипов аллергенов , получено 23 ноября 2023 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]