Klipy (jazyk)

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.

Pozoruhodné funkce

Historický

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.

Příklad

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 .

Licence

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éž. "

externí odkazy