SNePS är ett Knowledge Representation , Reasoning , and Action -system ( KRRA ) som utvecklas av Stuart Shapiro vid Buffalo State University i New York . SNePS är implementerat som ett plattformsoberoende system, skrivet i Common Lisp och distribuerad öppen källkod [1] under University at Buffalo Public License .
SNePS bygger samtidigt på logiska , ram- och nätverksmodeller för kunskapsrepresentation. Den använder en propositionell kunskapsmodell, det vill säga dess kunskapsbas består av en uppsättning påståenden om olika objekt och fenomen.