СНеПС

SNePS — это знаний система представления , рассуждения и действия (KRRA), разработанная и поддерживаемая Стюартом К. Шапиро и его коллегами из Университета штата Нью-Йорк в Буффало .

SNePS является одновременно логической , кадровой и сетевой системой KRRA. Он использует модель знаний, утверждающую, что база знаний SNePS (KB) состоит из набора утверждений (предложений) о различных объектах. Его предполагаемая модель представляет собой интенсиональную область ментальных сущностей — сущностей, представленных неким агентом, и пропозиций, в которые он верит. Интенсиональность достигается в первую очередь за счет отсутствия встроенного оператора равенства, поскольку любые два синтаксически разных термина могут иметь немного разные значения по Фреге .

SNePS имеет три стиля вывода: основанный на формуле, основанный на логике; основанный на слотах, полученный из его индивидуальности, основанной на кадрах; и основанный на пути, полученный из его сетевой личности. Однако все три интегрированы и работают вместе.

СНеПС может использоваться как автономная система КРР. Он также использовался вместе со своим интегрированным действующим компонентом для реализации разума интеллектуальных агентов ( когнитивных роботов ) в соответствии с архитектурой агента GLAIR (многоуровневой когнитивной архитектурой ). Исследовательская группа SNePS часто называет своих агентов Кэсси.

СНеПС как логическая система

База знаний SNePS, основанная на логике, состоит из набора терминов, а также функций и формул для этих терминов. Набор логических связок и кванторов расширяет обычный набор, используемый логиками первого порядка , и все они принимают один или несколько наборов аргументов произвольного размера. В соответствии с предполагаемым использованием SNePS для представления разума интеллектуального агента , владеющего естественным языком , предложения являются первоклассными сущностями предполагаемой области, поэтому формулы на самом деле являются функциональными терминами, обозначающими предложения. SNePSLOG, язык ввода-вывода логической версии SNePS, выглядит как наивная логика, поскольку функциональные символы (включая «предикаты») и формулы (фактически термины, обозначающие предложения) могут быть аргументами функций и могут быть количественно более. функциональные символы и формулы пользователя Однако лежащая в основе SNePS представляет собой логику первого порядка, в которой реализованы .

Вывод на основе формул реализован как механизм вывода в стиле естественной дедукции , в котором существуют правила введения и исключения для связок и кванторов. Вывод на основе формул SNePS является обоснованным, но неполным, поскольку правила вывода, которые менее полезны для понимания естественного языка и здравого смысла, не были реализованы.

Термин, обозначающий предложение, в базе знаний SNePS может быть или не быть «утвержденным», то есть рассматриваться как истинный в базе знаний. Логика SNePS представляет собой паранепротиворечивую версию логики релевантности , так что противоречие вообще ничего не подразумевает. Тем не менее, SNeBR, подсистема проверки убеждений SNePS, заметит любое явное противоречие и вовлечет пользователя в диалог для его устранения. SNeBR — это система поддержания истины, основанная на предположениях (ATMS), которая удаляет статус утверждения любого предложения, поддержка которого была удалена.

СНеПС как фреймовая система

В системе на основе фреймов каждый функциональный термин SNePS (включая термины с пропозициональным значением) представлен фреймом со слотами и заполнителями. Каждый слот может быть заполнен набором других терминов произвольного размера. Однако циклы построить невозможно. SNePSUL, язык пользователя SNePS, представляет собой язык ввода-вывода для взаимодействия с SNePS под видом системы на основе фреймов.

SNePSLOG можно использовать в любом из трех режимов. В двух режимах корпус (набор слотов), связанный с каждым функциональным термином, определяется системой. В режиме 3 пользователь указывает, какой регистр будет использоваться для каждого функционального символа.

При выводе на основе слотов считается, что любой фрейм со значением предложения подразумевает фрейм, любой из его слотов заполнен подмножеством его наполнителей. В текущей реализации это не всегда правильно.

СНеПС как сетевая система

Как сетевая система, SNePS представляет собой пропозициональную семантическую сеть ,таким образом, первоначальное значение «SNePS» как «Семантическая сеть».Система обработки». Это представление получается при рассмотрении каждогоиндивидуальная константа и каждый функциональный термин должны быть узломсети, а каждый слот должен представлять собой направленную помеченную дугу отFrame-node находится в каждом узле его заполнителя. В предполагаемоминтерпретации каждый узел обозначает ментальную сущность, некоторые из которыхпредложения, и каждое предложение, представленное в сети, являетсяпредставлен узлом, который его обозначает. Некоторые узлы являются переменнымилогика SNePS, и они располагаются по узлам и только по узлам.

Могут быть определены правила вывода на основе путей, хотя они сами по себене представлены в СНеПС. Правило вывода на основе пути определяетчто некоторая помеченная дуга r может быть выведена как присутствующая из некоторого узла n к какому-то другому узлу m на тот случай, если заданный путь существует от n до m .Доступен обширный рекурсивный набор конструкторов путей.

Компоненты

SNIP , пакет вывода SNePS, предоставляет правила вывода , с помощью которых SNePS выводит новые утверждения из существующей базы знаний.
SNeBR SNePS , пакет проверки убеждений , является компонентом SNePS, который обнаруживает, когда база знаний содержит противоречивые убеждения. При обнаружении противоречия пользователю предлагается отказаться от одного из противоречивых убеждений, отказавшись от некоторых основных гипотез, которые привели к противоречию. В результате все предложения, выведенные из неутвержденных гипотез, также являются неутвержденными.
SNeRE , SNePS Rational Engine, предоставляет действующий исполнитель и набор фреймов для построения сложных действий и планов из набора определяемых системой и пользователем примитивных действий. Системно-определяемые рамки позволяют специфицировать последовательности действий, условные действия и итерацию действий, а также предположения о вере и неверии. Политика SNeRE связывает действие с умозаключением, определяя, например, что определенное действие должно быть совершено, когда в определенное утверждение верят (утверждают).
SNaLPS , система обработки естественного языка SNePS, состоит из обобщенной расширенной сети переходов интерпретатора грамматики , а также морфологического анализатора и синтезатора английского языка, так что понимание и генерация естественного языка могут быть обеспечены для агентов на основе SNePS.

Приложения

SNePS использовался для различных задач KRR, для естественного языка.понимания и порождения , для здравого рассуждения и для когнитивная робототехника . Он использовался на нескольких курсах КР по всему миру.мир.

Доступность

SNePS реализован как платформонезависимая система на Common Lisp и доступен бесплатно.

Внешние ссылки