Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

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

МПУ был создан для использования научных исследований на кафедре вычислительной техники и управления в Имперском колледже Лондона в логическое программирование осуществляется под руководством профессора Роберта Ковальски . Одной из первых реализаций, сделанных LPA, был micro-PROLOG [2], который работал на популярных 8-битных домашних компьютерах, таких как Sinclair Spectrum [3] и Apple II . За этим последовал micro-PROLOG Professional, одна из первых реализаций Prolog для MS-DOS .

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

История [ править ]

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

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

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

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

В 2004 году LPA запустила VisiRule [6] - графический инструмент для разработки систем поддержки принятия решений, основанных на знаниях. VisiRule используется в различных секторах, для создания правовых экспертных систем , программ диагностики машины, медицинские и финансовые консультации систем и т.д. [ править ]

Клиенты [ править ]

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

Ссылки [ править ]

  1. ^ "Фон компании LPA" .
  2. ^ Реализации PROLOG микрокомпьютера (PDF) , получено 29 апреля 2013 г.
  3. ^ micro-PROLOG для Sinclair Spectrum , получено 29 апреля 2013 г.
  4. Prolog Vendors Group Launched (PDF) , получено 29 апреля 2013 г.
  5. ^ LPA Prolog для Windows
  6. ^ VisiRule , получено 4 января 2020 г.
  7. ^ InFlow

Внешние ссылки [ править ]

  • Домашняя страница LPA
  • О LPA
  • Micro-PROLOG (на испанском языке)
  • Аспекты истории PROLOG
  • Демоверсии VisiRule
  • VisiRule: новый графический инструмент бизнес-правил от LPA
  • Гибкая экспертная система поддержки работ по очистке сточных вод
  • ESSE: экспертная система для оценки программного обеспечения
  • LPA предоставляет ряд инструментов разработки программного обеспечения как для программистов, так и для непрограммистов