Logic Programming Associates とは

Logic Programming Associates(LPA)は、ロジックプログラミングと人工知能ソフトウェアを専門とする会社です。 LPAは1980年に設立され、広範囲のPrologコンパイラ、さらに最近ではVisiRuleで広く知られています。
インペリアル・カレッジ(ロンドン)の研究をロバート・コワルスキ(Robert Kowalski)教授の監督下で行われた論理プログラミングに活用するために、LPAが設立されました。 LPAが最初に実装したのは、Sinclair SpectrumやApple IIなどの一般的な8ビット家庭用コンピュータで動作するmicro-PROLOGでした。これに続いて、MS-DOS用の最初のProlog実装のmicro-PROLOG Professional 1が続きました。
Prologコンパイラ技術の開発を続けると同時に、LPAには、特定の課題や機会に対応するための革新的な関連ツールや製品の作成実績があります。
1989年、LPAは、フレームベースの推論、継承、ルールベースのプログラミング、およびデータ駆動型の手順を組み込んだFlexエキスパートシステムツールキットを開発しました。 Flexには英語のような知識仕様言語(KSL)が用意されています。知識とルールは読みやすく理解しやすい方法で定義されています。
1992年、LPAはProlog Vendors Groupの設立を支援しました.Prolog Vendors Groupは、業界での使用状況を人々に知らせることによってPrologを促進することを目的とした非営利団体です。
2000年に、LPAは法務市場向けの文書組立および契約作成ソフトウェアソリューションのリーディングサプライヤであるBusiness Integrityを設立するのに役立ちました。
LPAの主力製品は、Microsoft Windowsプラットフォーム用のコンパイラおよび開発システムであるWindows用のLPA Prologです。現在のLPAソフトウェアの範囲は、論理プログラミング、エキスパートシステム、知識ベースシステム、データマイニング、エージェントおよびケースベースの推論など人工知能のさまざまな側面をカバーする統合AIツールセットで構成されています。
2004年、LPAは知識ベースと意思決定支援システムを開発するためのグラフィカルなツールVisiRuleを立ち上げました。 VisiRuleは、法律専門家システム、機械診断プログラム、医療および金融アドバイスシステムなどを構築するために、さまざまな分野で使用されています。