شركة Logic Programming Associates

شركة Logic Programming Associates ( LPA ) هي شركة متخصصة في برمجة المنطق وبرمجيات الذكاء الاصطناعي . تأسست LPA عام 1980 ^{[ 1 ]} وتشتهر على نطاق واسع بمجموعة من مترجمات لغة Prolog ، ومجموعة أدوات نظام الخبراء Flex، ومؤخراً، برنامج VisiRule .

تم تأسيس LPA للاستفادة من الأبحاث التي أجريت في قسم الحوسبة والتحكم في كلية إمبريال كوليدج لندن في مجال البرمجة المنطقية التي تم إجراؤها تحت إشراف البروفيسور روبرت كوالسكي .

كانت إحدى أولى تطبيقات Prolog التي وفرتها LPA هي micro-PROLOG ^{[ 2 ]} والتي كانت تعمل على أجهزة الكمبيوتر المنزلية الشائعة ذات 8 بت مثل Sinclair ZX Spectrum ^{[ 3 ] [ 4 ]} و Apple II .

سرعان ما تبع مترجم لغة البرمجة micro-PROLOG ذو 8 بتات، برنامج micro-PROLOG Professional، وهو أحد أوائل تطبيقات لغة Prolog لأجهزة IBM PC التي تعمل بنظام MS-DOS . كان بإمكان برنامج micro-PROLOG Professional الوصول إلى كامل ذاكرة النظام البالغة 640 كيلوبايت المتاحة في نظام MS-DOS، وبالتالي إدارة برامج أكبر بكثير.

في عام 1985، أصدرت شركة LPA برنامج LPA MacProlog الذي كان يعمل على أجهزة MacPlus و Mac II التي كانت قادرة على الوصول إلى ذاكرة تصل إلى 4 ميجابايت. لاحقًا، تم ترخيص برنامج MacProlog لشركة Quintus لإعادة توزيعه في الولايات المتحدة الأمريكية.

في عام 1989، بدأت شركة LPA العمل على مترجم Prolog جديد 32 بت والذي يمكنه استخدام تقنية DOS-extender للوصول إلى ذاكرة تصل إلى 4 جيجابايت.

أصبح هذا أساسًا لـ LPA Prolog لنظام التشغيل Windows، المعروف أيضًا باسم WIN-PROLOG، ^{[ 5 ]} والذي تم إصداره بعد ذلك لنظام التشغيل Windows 3.0 في عام 1990.

يُعدّ منتج LPA Prolog for Windows ^{[ 6 ]} المنتج الأساسي لشركة LPA في مجال لغة Prolog ، وهو عبارة عن مُترجم ونظام تطوير لمنصة Microsoft Windows. وتشمل مجموعة برامج LPA الحالية مجموعة أدوات متكاملة للذكاء الاصطناعي تُغطي جوانب مُتعددة من هذا المجال ، بما في ذلك البرمجة المنطقية، وأنظمة الخبراء ، والأنظمة القائمة على المعرفة ، واستخراج البيانات، والوكلاء، والاستدلال القائم على الحالات ، وغيرها.

إلى جانب مواصلة تطوير تقنية مترجم لغة برولوج، تتمتع شركة LPA بسجل حافل في إنشاء أدوات ومنتجات مبتكرة مرتبطة بها لمعالجة تحديات وفرص محددة.

في عام ١٩٨٩، واستجابةً لتزايد الاهتمام بأنظمة الخبراء وظهور منتجات مثل Crystal و GoldWorks وNExpert، طورت شركة LPA مجموعة أدوات نظام الخبراء Flex ، التي دمجت الاستدلال القائم على الإطارات مع الوراثة، والبرمجة القائمة على القواعد ، والإجراءات المستندة إلى البيانات. يتميز Flex بلغة مواصفات المعرفة (KSL) الخاصة به، والتي تشبه اللغة الإنجليزية، مما يعني أن المعرفة والقواعد تُعرَّف بطريقة سهلة القراءة والفهم. ^{[ ٧ ]}

دعمت شركة LPA برنامج Flex على أنظمة Windows و DOS و Macintosh PCs، كمجموعة أدوات إضافية لأنظمة LPA Prolog المختلفة الخاصة بها، ومكنتها من دخول سوق قواعد أنظمة الخبراء السريع والنابض بالحياة آنذاك.

سرعان ما ترسخ برنامج 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 tookit .

كما استخدم ديفيد أ. فيروتشي وسيلمر برينجسجورد تقنية فليكس في آلة سرد القصص الخاصة بهما، بروتوس. ^{[ 12 ]}

في عام 1992، ساعدت LPA في إنشاء مجموعة موردي Prolog، ^{[ 13 ]} وهي منظمة غير ربحية كان هدفها المساعدة في الترويج لـ Prolog من خلال توعية الناس باستخدامه في الصناعة.

بين عامي 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، استحوذت شركة Thomson Reuters على شركة BIL في عام 2015. ^{[ 16 ]}

يصف كلايف سبنسر هنا الأيام الأولى لـ BIL. ^{[ 17 ]}

في عام 2004، أطلقت شركة LPA برنامج VisiRule ^{[ 18 ]،} وهو أداة رسومية لتطوير أنظمة دعم القرار وأنظمة قائمة على المعرفة. وقد تم وصف VisiRule في مجلة IEEE Potentials عام 2007 (انظر: الاستفادة من معرفتك باستخدام VisiRule ).

تم استخدام VisiRule في قطاعات مختلفة، لبناء أنظمة الخبراء القانونية ، وبرامج التشخيص الآلي، وأنظمة الاستشارات الطبية والمالية، وما إلى ذلك.

في عام ٢٠١٣، تم دمج برنامج VisiRule في نظام دعم اتخاذ القرارات لإدارة النظم البيئية (EMDS)، حيث استُخدم لتعزيز قدرات دعم اتخاذ القرارات . يدمج نظام EMDS أحدث تقنيات نظم المعلومات الجغرافية (GIS) بالإضافة إلى تقنيات البرمجة المنطقية ونمذجة القرارات على منصات متعددة (Windows، Linux، Mac OS X) لتوفير دعم اتخاذ القرارات لجزء كبير من عملية الإدارة التكيفية للنظم البيئية . يُستخدم نظام EMDS بشكل فعال، ويتم تطويره ودعمه وصيانته من قِبل مجموعة Mountain View Business Group (للاطلاع على شرح مفصل لنظام EMDS، يُرجى مراجعة المقال المنشور في مجلة Frontiers in Environmental Science ).

في عام 2023، تم إدراج VisiRule كواحد من أفضل 5 برامج دعم القرار للمؤسسات الكبيرة في عام 2024. ^{[ 19 ]}

عملت LPA لسنوات عديدة بشكل وثيق مع فالديس كريبس ، الباحث والمؤلف والاستشاري الأمريكي اللاتفي في مجال تحليل الشبكات الاجتماعية والتنظيمية. فالديس هو مؤسس وكبير علماء شركة Orgnet، ومبتكر برنامج Inflow الشهير ^{[ 20 ] .}

استُخدمت لغتا البرمجة LPA Prolog وFlex لإنشاء نظام Allergenius، وهو نظام خبير لتفسير نتائج تحليل المصفوفات الدقيقة للمواد المسببة للحساسية. استُمدت القواعد التي تمثل قاعدة المعرفة من المراجع العلمية وقواعد البيانات المتخصصة. شملت بيانات الإدخال هوية المريض والمرض (الأمراض) الذي يعاني منه، ونتائج اختبار وخز الجلد أو فحوصات IgE النوعية، ونتائج ISAC. وكان الناتج عبارة عن تقرير طبي. ^{[ 21 ]}

• الصفحة الرئيسية لهيئة التخطيط المحلية
• حول LPA على موقع VisiRule الإلكتروني
• مقدمة مصغرة (بالإسبانية)
• جوانب من تاريخ برولوج
• عروض توضيحية لـ VisiRule
• VisiRule: أداة جديدة لقواعد الأعمال الرسومية من LPA
• نظام خبير مرن لدعم محطات معالجة مياه الصرف الصحي
• ESSE: نظام خبير لتقييم البرمجيات
• تقدم شركة LPA مجموعة من أدوات تطوير البرمجيات للمبرمجين وغير المبرمجين على حد سواء.