KLIPY | |
Datum první verze | 1985 |
---|---|
Paradigma | objektově orientovaný , expertní systém |
Autor | NASA |
Poslední verze | 6,4 (15. září 2018) |
Ovlivněno | VS |
Implementace | C , Python |
Napsáno | VS |
Operační systém | Windows, Linux, macOS |
webová stránka | [1] |
CLIPS (C Language Integrated Production System) je prostředí a programovací jazyk vytvořený v roce 1985 , který je součástí paradigmatu deklarativních a logických jazyků.
Je to především nástroj pro vytváření expertních systémů založených na pravidlech a objektech.
Počátky CLIPS jsou v roce 1984 v Johnsonově vesmírném středisku NASA . V té době byly v LISP vyvinuty expertní systémové nástroje , díky nimž byly nekompatibilní s omezeními NASA. Ve skutečnosti nebyl LISP k dispozici pro všechny architektury, nebyl dobře integrován do jiných programovacích jazyků; náklady na nástroje LISP byly vysoké a nakonec jazyk nenabídl potřebný výkon, pokud jde o rychlost provádění. Jazyk jako C vypadal jako dobrý kandidát na překonání těchto problémů. Bohužel čas a náklady na přizpůsobení stávajících nástrojů inzerovaných prodejci byly příliš vysoké. Sekce umělé inteligence se poté rozhodla vyvinout svůj vlastní systémový nástroj expertů v C.
Prototyp CLIPS se objevil na jaře roku 1985 se syntaxí silně inspirovanou nástrojem expertního systému ART vyvinutým společností Inference Corporation, aby byl kompatibilní s jinými existujícími nástroji. Verze 1.0 nástroje CLIPS prokázala proveditelnost projektu a až o rok později, v roce 1986, byla vydána verze 3.0, která byla zpřístupněna mimo NASA.
Vezměme si nejprve následující fakta:
Přeložíme do CLIPS:
(deffacts vérités (est homme mortel) (est Socrate homme) (est chien mortel) )A následující pravidlo:
Což znamená CLIPS:
(defrule translation (est ?a ?b) (est ?b ?c) ⇒ (assert (est ?a ?c)) )Před prvním provedením tedy základ faktů obsahuje toto:
1- (est homme mortel) 2- (est Socrate homme) 3- (est chien mortel)Při spuštění řešení se pravidlo použije jednou s fakty 1 a 2:
Základ faktů nyní obsahuje toto:
1- (est homme mortel) 2- (est Socrate homme) 3- (est chien mortel) 4- (est Socrate mortel)Pravidlo již nelze použít na žádnou skutečnost, provádění se zastaví. Všimli jsme si, že do faktické základny byla zavedena pouze jedna nová skutečnost (Sokrates je smrtelný). Skutečně z toho nelze odvodit, že Socrates je pes , jako ve slavném klamu .
CLIPS a jeho dokumentace jsou ve veřejné doméně .
Konkrétně se na tuto licenci vztahují zdroje, spustitelné soubory a dokumentace stažené ze stránky ke stažení CLIPS :
„Oprávnění je uděleno bezplatně jakékoli osobě, která získá kopii softwaru a související dokumentace (dále jen„ software “), používat software bez omezení, mimo jiné včetně práva na užívání, kopírování, úpravy, zahrnutí , publikovat, distribuovat a / nebo prodávat kopie Softwaru a umožnit těm, jimž je Software poskytován, učinit totéž. "