SNePS on KRRA ( Knowledge Representation , Reasoning and Action ) - järjestelmä , jonka on kehittänyt Stuart Shapiro Buffalo State Universityssä New Yorkissa . SNePS on toteutettu alustasta riippumattomana järjestelmänä, joka on kirjoitettu Common Lisp -kielellä ja jaettu avoimen lähdekoodin [1] Buffalon yliopiston julkisen lisenssin alaisuudessa .
SNePS perustuu samanaikaisesti tiedon esittämisen loogisiin , kehys- ja verkkomalleihin . Se käyttää propositionaalista tietomallia, eli sen tietokanta koostuu joukosta väitteitä erilaisista objekteista ja ilmiöistä.