Кіріспе

Ұлыбританияның бағдарламалық компаниялары

Logic Programming Associates (LPA) – логикалық бағдарламалау және жасанды интеллект бағдарламалық жасақтамасына маманданған компания. LPA 1980 жылы құрылған және Prolog компиляторларының кең ауқымы, Flex сарапшы жүйесінің құралдар жиынтығы және соңғы VisiRule үшін кеңінен танымал. LPA Лондон Император колледжінің Есептеу және басқару кафедрасында профессор Роберт Ковальскидің жетекшілігімен жүргізілген логикалық бағдарламалау зерттеулерін пайдалану мақсатында құрылды.

LPA Prolog-тың тарихы

LPA-ның алғашқы Prolog жүйелерінің бірі micro PROLOG болды, ол Sinclair ZX Spectrum және Apple II сияқты танымал 8 биттік үй компьютерлерінде жұмыс істеді. Prolog-тың алғашқы қолданылған салаларының бірі құқықтық сала болды, атап айтқанда, Ұлыбритания азаматтығы туралы заң. Ланс Эллиот былай деп жазды: "Ұлыбритания азаматтығы туралы заң 1981 жылы қабылданды және көп ұзамай, Жасанды интеллект (ЖИ) техникалары мен технологияларын қолданудың тиімділігін көрсету үшін пайдаланылды. Бұл, сол кезде жаңадан қабылданған заңның компьютерлік логикаға негізделген формализацияға қалай енгізілетінін зерттеу мақсатында жасалды. "Ұлыбритания азаматтығы туралы заң – логикалық бағдарлама ретінде" атты зерттеу жұмысы 1986 жылы ACM Communication-ның беделді басылымында жарияланды және одан кейін ЖИ және құқық саласындағы жұмыстардың маңызды үлгісіне айналды. Осы жоғары бағаланған зерттеу мақаласына осы жерден қол жеткізуге болады. 8 биттік micro PROLOG интерпретаторынан кейін көп ұзамай, MS DOS-ты қолдайтын "жаңа" 16 биттік IBM PC-лер үшін алғашқы Prolog жүйелерінің бірі – micro PROLOG Professional пайда болды. micro PROLOG Professional MS DOS жүйесінде қол жетімді 640К жадтың барлығына қол жеткізе алды, демек, әлдеқайда үлкен бағдарламаларды басқара алды.

1985 жылы LPA, 4 Мб-қа дейін жадты қолдайтын MacPlus және Mac II компьютерлерінде жұмыс істейтін MacProlog жүйесін шығарды. Кейіннен MacProlog АҚШ-та қайта тарату үшін Quintus компаниясына лицензияланды. 1989 жылы LPA 4 ГБ-қа дейін жадқа қол жеткізу үшін DOS extender технологиясын пайдалана алатын жаңа 32 биттік Prolog компиляторын жасау жұмысын бастады. Бұл Windows үшін LPA Prolog, сондай-ақ WIN PROLOG деп те аталатын жүйенің негізін құрады, ол 1990 жылы Windows 3.0 үшін шығарылды. LPA-ның негізгі Prolog өнімі – Windows үшін LPA Prolog, Microsoft Windows платформасы үшін компилятор және даму жүйесі. Қазіргі LPA бағдарламалық кешеніне жасанды интеллекттің әртүрлі аспектілерін қамтитын біріктірілген ЖИ құралдар жинағы кіреді, оның ішінде логикалық бағдарламалау, сарапшы жүйелер, білімдік жүйелер, деректерді өндіру, агенттер және жағдайлық талдау сияқтылар бар. Prolog компилятор технологиясын дамытумен қатар, LPA нақты қиындықтар мен мүмкіндіктерді шешу үшін инновациялық құралдар мен өнімдер жасауда тәжірибелі.

PVG

1992 жылы LPA Prolog Vendors Group ұйымын құруға көмектесті, бұл коммерциялық емес ұйымның мақсаты Prolog тілін өнеркәсіпте қолдану арқылы танымал ету және оны насихаттау болды.

"Бизнес Интегритти" және "Контракт Экспресс"

1996-1998 жылдар аралығында DTI Smart бағдарламасы арқылы бірлесіп қаржыландырылған жұмыстардың нәтижесінде LPA динамикалық құжаттар мен интеллектуалды веб-сайттар құруға арналған ScaffoldIT құралын әзірледі. LPA Prolog қозғалтқышы және оған қосылған ProWeb Server пайдаланылып құрылған бұл технология веб арқылы сақтандыру полисінің шарттары, заңдық келісімдер және күрделі сату ұсыныстары сияқты күрделі, жекелендірілген құжаттарды жасауға мүмкіндік берді. 1999/2000 жылдары LPA компаниясы Tarlo Lyons компаниясымен бірлескен кәсіпорын ретінде құрылған Business Integrity Ltd компаниясын құруға көмектесті, мақсаты – жоғарыда аталған құжатты жинау технологиясын нарыққа енгізу болды. Бұл өнім кейін Contract Express деп аталды. Contract Express ірі заң фирмаларының арасында кең танымал болды және ішкі және сыртқы қолдану үшін бүкіл әлемде сатылды. Әріптестер мен бас юристер Contract Express-ті бағалады, себебі адвокаттар өздерінің заңдық үлгілерін Word-те тез және дәл автоматтандырып, жаңарта алатын болды, оларды бағдарламаларға түрлендіру үшін IT мамандарының көмегіне мұқтаж болмады. Contract Express-тің коммерциялық сәттілігінің нәтижесінде 2015 жылы BIL компаниясы Thomson Reuters компаниясымен сатып алынды. BIL компаниясының алғашқы кезеңдері туралы Клайв Спенсер мына жерде сипаттаған.

Визиарла

2004 жылы LPA VisiRule – білімдік базаға негізделген және шешімдерді қолдау жүйелерін жасауға арналған графикалық құралды ұсынды. VisiRule 2007 жылы IEEE Potentials журналында сипатталған (VisiRule-мен біліміңізді пайдалану):

VisiRule түрлі салаларда қолданылды, мысалы, құқықтық сарапшы жүйелерін, машиналық диагностика бағдарламаларын, медициналық және қаржылық кеңес беру жүйелерін құру үшін. 2013 жылы VisiRule Экожүйелік басқару шешімдерін қолдау жүйесіне (EMDS) енгізілді, онда шешімдерді қолдау қабілеттерін арттыру үшін пайдаланылды. EMDS қазіргі заманғы географиялық ақпараттық жүйені (GIS), сондай-ақ логикалық бағдарламалау және шешімдерді модельдеу технологияларын бірнеше платформада (Windows, Linux, Mac OS X) біріктіреді, бұл экожүйелік басқарудың бейімделу процесінің маңызды бөлігіне шешім қабылдау бойынша қолдау көрсетеді. EMDS Mountain View Business Group компаниясымен белсенді түрде қолданылады, кеңейтіледі, техникалық қолдау көрсетіледі және күтіледі (EMDS туралы толық мәлімет алу үшін Frontiers in Environmental Science журналындағы мақаланы қараңыз). 2023 жылы VisiRule 2024 жылы ірі кәсіпорындар үшін ең жақсы 5 шешімді қолдау бағдарламалық құралының бірі деп тізімделді.

Клиенттер

Көптеген жылдар бойы LPA әлеуметтік және ұйымдық желілерді талдау саласындағы американдық латыш зерттеушісі, авторы және консультанты Валдис Кребспен тығыз жұмыс істеді. Валдис – Orgnet компаниясының негізін қалаушы және бас ғалымы, сондай-ақ танымал Inflow бағдарламалық кешенін жасаған. LPA Prolog және Flex аллерген микромассивтері нәтижелерін интерпретациялауға арналған Allergenius сарапшы жүйесін құру үшін қолданылды. Білім базасын (ББ) көрсететін ережелер әдебиеттер мен арнайы дерекқорлардан алынды. Кіріс деректері пациенттің идентификаторы және аурулары, тері сынамасының нәтижелері немесе нақты IgE талдаулары және ISAC нәтижелерін қамтыды. Нәтижесінде медициналық қорытынды жасалды.