SNePS je systém pro reprezentaci znalostí , uvažování a jednání ( KRRA ) , který vyvíjí Stuart Shapiro na Buffalo State University v New Yorku . SNePS je implementován jako platformově nezávislý systém, napsaný v Common Lisp a distribuovaný jako open-source [1] pod veřejnou licencí University at Buffalo .
SNePS je současně založen na logických , rámcových a síťových modelech reprezentace znalostí. Využívá propoziční znalostní model, to znamená, že její znalostní báze se skládá ze souboru výroků o různých objektech a jevech.