SNePS er et Knowledge Representation , Reasoning , and Action ( KRRA ) system, der udvikles af Stuart Shapiro ved Buffalo State University i New York . SNePS er implementeret som et platformsuafhængigt system, skrevet i Common Lisp og distribueret open source [1] under University at Buffalo Public License .
SNePS er samtidigt baseret på logiske , ramme- og netværksmodeller for videnrepræsentation. Den bruger en propositionel vidensmodel, det vil sige, at dens vidensbase består af et sæt udsagn om forskellige objekter og fænomener.