로직 프로그래밍 어소시에이트

Logic Programming Associates
로직프로그래밍어소시에이츠
유형사적인
산업컴퓨터 소프트웨어
설립된1980
본사런던
제공면적
영국, 미국, EMEA
키피플
클라이브 스펜서
브라이언 스틸
상품들VisiRule, Flex Expert 시스템 툴킷, Flint 툴킷, LPA Prolog for Windows
웹사이트www.lpa.co.uk , www.visirule.co.uk

로직 프로그래밍 협회(Logic Programming Associates, LPA)는 로직 프로그래밍 및 인공지능 소프트웨어 전문 회사입니다.LPA는 1980년에[1] 설립되었으며 Prolog 컴파일러, Flex 전문가 시스템 툴킷, 그리고 가장 최근의 VisiRule 등으로 널리 알려져 있습니다.

LPA는 임페리얼 칼리지 런던의 컴퓨팅 및 제어부의 연구를 Robert Kowalski 교수의 감독 하에 수행된 논리 프로그래밍에 활용하기 위해 설립되었습니다.

LPA 프롤로그

LPA가 제공한 최초의 프롤로그 구현 중 하나는 싱클레어 ZX 스펙트럼과[3] 애플 II와 같은 인기 있는 8비트 가정용 컴퓨터에서 실행되는 마이크로 프롤로그(micro-PROLOG[2])였습니다.그 후 마이크로 프롤로그 프로페셔널은 MS-DOS를 실행하는 16비트 IBM PC를 위한 최초의 프롤로그 구현 중 하나로, 640K 메모리를 모두 액세스할 수 있게 되었습니다.

1985년, LPA는 맥플러스와 맥 II 컴퓨터에서 실행되는 LPA 맥프롤로그를 출시하였는데, 이는 최대 4 Mb 메모리에 접근할 수 있습니다.맥프롤로그는 나중에 미국에서 재배포를 위해 퀸터스에 라이선스를 받았습니다.

1989년에 LPA는 도스 익스텐더 기술을 사용하여 최대 4GB 메모리에 액세스할 수 있는 새로운 32비트 프롤로그 컴파일러에 대한 작업을 시작했습니다.

이것은 1990년에 윈도우 3.0용으로 출시된 윈도우용 LPA Prolog, 일명 WIN-PROLOG의 기초가 되었습니다.

LPA는 Prolog 컴파일러 기술 개발뿐만 아니라 특정 과제와 기회를 해결하기 위해 혁신적인 관련 도구와 제품을 개발한 실적도 있습니다.

플렉스

1989년에 Expert 시스템에 대한 관심이 높아지고 Crystal, GoldWorks, Nexpert와 같은 제품이 등장함에 따라 LPA는 프레임 기반 추론과 상속, 규칙 기반 프로그래밍 및 데이터 기반 절차를 통합한 Flex Expert 시스템 툴킷을 개발했습니다.Flex에는 영어와 유사한 KSL(Knowledge Specification Language)이 있습니다. 이는 지식과 규칙이 읽기 쉽고 이해하기 쉬운 방식으로 정의된다는 것을 의미합니다.[4]

LPA는 Windows, DOS 및 Macintosh PC에서 다양한 LPA Prolog 시스템에 대한 추가 툴킷으로 Flex를 지원했으며, LPA를 활성화된 Expert Systems 규칙 시장에 빠르게 진입할 수 있도록 지원했습니다.

Flex는 Prolog 기반의 전문가 시스템 툴킷으로 빠르게 자리 잡았으며, Telecomputing Plc를 비롯한 다른 하드웨어 플랫폼의 다른 Prolog 공급업체에 IBM 및 ICL 메인프레임의 Top One을 보완하는 라이센스를 부여했습니다.

다른 구현에는 Quintec-Flex, Quintus Flex, POPLOG Flex 및 BIM Flex가 모두 Unix 및/또는 VAX/VMS 플랫폼에서 실행되었습니다.

결합전단벽의 비선형 동적해석/설계를 위한 하이브리드 시스템 구축을 위한 Quintec-Flex 적용

Flex는 Adrian Hopgood 교수가 설계한 T396 "인공 지능 for technology([7]기술을 위한 인공 지능)" 과정의 일부로 Open University는 Adrian Hopgood 교수가 설계했습니다.일부 교재는 현재 그의 AI taked it 웹사이트에서 구할 수 있습니다.

플렉스는 David A Ferrucci와 Selmer Bringjord가 그들의 스토리텔링 기계인 BRUTUS에서도 사용했습니다.[8]

PVG

1992년, LPA는 비영리 단체인 프롤로그 벤더 그룹(Prolog Venders Group)을 설립하는 것을 도왔습니다.[9] 그 목적은 사람들에게 프롤로그의 산업에서의 사용법을 알려줌으로써 프롤로그를 홍보하는 것이었습니다.

주식회사 사업청렴 및 계약통달

1999/2000년에, LPA는 LPA가 WinProlog와 그 웹 기술인 ProWeb을 사용하여 개발한 문서 조립 기술을 시장에 내놓기 위해 타로-라이온즈와의 조인트 벤처로서 Business Integrity Ltd를 설립하는 것을 도왔습니다.이것은 대부분의 주요 로펌에 매각된 컨트랙트 익스프레스의 탄생으로 이어졌습니다.2015년 Thomson Reuters는 Business Integrity Ltd를 인수했습니다.여기에 BIL의 기원이 설명되어 있습니다.[10]

LPA의 핵심 Prolog 제품은 Windows용 LPA Prolog로,[11] Microsoft Windows 플랫폼용 컴파일러 및 개발 시스템입니다.현재 LPA 소프트웨어 범위는 로직 프로그래밍, 전문가 시스템, 지식 기반 시스템, 데이터 마이닝, 에이전트 및 사례 기반 추론 등 인공지능의 다양한 측면을 다루는 통합 AI 도구 세트로 구성되어 있습니다.

2004년, LPA는 지식 기반 및 의사결정 지원 시스템을 개발하기 위한 그래픽 툴인 VisiRule을 출시했습니다.VisiRule은 법률 전문가 시스템, 기계 진단 프로그램, 의료 및 금융 자문 시스템 등 다양한 분야에서 사용되고 있습니다.[citation needed]

고객들.

LPA는 수년간 사회 및 조직 네트워크 분석 분야에서 미국계 라트비아인 연구원이자 저자이자 컨설턴트인 발디스 크렙스와 긴밀히 협력해 왔습니다.발디스는 Orgnet의 설립자이자 최고 과학자이며 인기 있는 Inflow 소프트웨어 패키지를 만든 사람입니다.

참고문헌

  1. ^ "LPA Company Background".
  2. ^ Microcomputer PROLOG implementations (PDF), retrieved 29 April 2013
  3. ^ micro-PROLOG for Sinclair Spectrum, retrieved 29 April 2013
  4. ^ Flex toolkit details, retrieved 2 November 2023
  5. ^ TELECOMPUTING LOOKS TO TOP-ONE FOR UNIX, VMS TO EASE THE UPHILL CLIMB, retrieved 31 October 2023
  6. ^ A HYBRID SYSTEM FOR DYNAMIC ANALYSIS AND DESIGN OF COUPLED SHEAR WALLS, retrieved 5 November 2023
  7. ^ T396 Artificial intelligence for technology, retrieved 2 November 2023
  8. ^ Inside the Mind of BRUTUS, a Storytelling Machine, retrieved 31 October 2023
  9. ^ Prolog Vendors Group Launched (PDF), retrieved 29 April 2013
  10. ^ The very early days of Contract Express, retrieved 31 October 2023
  11. ^ LPA Prolog for Windows
  12. ^ VisiRule, retrieved 4 January 2020
  13. ^ 인플로우

외부 링크