SNePS este un sistem KRRA ( Knowledge Representation , Reasoning and Action ) dezvoltat de Stuart Shapiro la Universitatea de Stat din Buffalo din New York . SNePS este implementat ca un sistem independent de platformă , scris în Common Lisp și distribuit open-source [1] sub Licența Publică a Universității din Buffalo .
SNePS se bazează simultan pe modele logice , cadru și de rețea de reprezentare a cunoștințelor. Folosește un model de cunoaștere propozițional , adică baza sa de cunoștințe constă dintr-un set de enunțuri despre diferite obiecte și fenomene.