SNePS — это система представления знаний , рассуждений и действий (KRRA), разработанная и поддерживаемая Стюартом К. Шапиро и его коллегами из Государственного университета Нью-Йорка в Буффало .
СНеПС является одновременно логической , фреймовой и сетевой системой КРРА. Он использует утвердительную модель знаний, в которой база знаний (KB) SNePS состоит из набора утверждений (предложений) о различных объектах. Его предполагаемая модель представляет собой интенсиональную область ментальных сущностей — сущностей, мыслимых некоторым агентом, и предложений, которым он верит. Интенсиональность в первую очередь достигается отсутствием встроенного оператора равенства, поскольку любые два синтаксически разных термина могут иметь немного разные значения Фреге .
SNePS имеет три стиля вывода: основанный на формуле, основанный на его логической личности; основанный на слотах, основанный на его рамочной индивидуальности; и основанный на пути, полученный из его сетевой личности. Однако все три интегрированы и работают вместе.
СНэПС может использоваться как автономная система КРР. Он также использовался вместе со своим интегрированным действующим компонентом для реализации разума интеллектуальных агентов ( когнитивных роботов ) в соответствии с архитектурой агента GLAIR (многоуровневая когнитивная архитектура ). Исследовательская группа SNePS часто называет своих агентов Кэсси.
Как система, основанная на логике, БЗ СНЭПС состоит из набора терминов, а также функций и формул над этими терминами. Набор логических связок и кванторов расширяет обычный набор, используемый логиками первого порядка , и все они принимают один или несколько наборов аргументов произвольного размера. В соответствии с предполагаемым использованием SNePS для представления разума интеллектуального агента , владеющего естественным языком., пропозиции являются первоклассными объектами предполагаемой области, поэтому формулы на самом деле являются функциональными терминами, обозначающими пропозиции. СНеПСЛОГ, язык ввода-вывода логического лица СНеПС, выглядит наивной логикой в том, что функциональные символы (включая «предикаты»), а формулы (фактически термины, обозначающие высказывания) могут быть аргументами функций и могут быть количественно более. Однако лежащий в основе SNePS представляет собой логику первого порядка с овеществленными функциональными символами и формулами пользователя .
Вывод на основе формул реализован как механизм вывода в стиле естественной дедукции , в котором есть правила введения и исключения для связок и кванторов. Вывод на основе формул SNePS является надежным, но не полным, поскольку не реализованы правила вывода, которые менее полезны для понимания естественного языка и рассуждений на основе здравого смысла .