SNePS Demonstrations

SNePSUL Demonstrations

The SNePS User Language is a relatively low-level Lisp-like language for interacting with SNePS.

• DBMS Demonstration, using SNePS as a Relational Database Management System

SNePSLOG Demonstrations

SNePSLOG is a logic-programming-like language for interacting with SNePS. It looks like second-order symbolic logic with the addition of the SNePS connectives and quantifiers.

• The Jobs Puzzle, demonstrating non-standard connectives and quantifiers

English Demonstration

Uses the grammar and lexicon that is distributed with SNePS as a small example of using SNaLPS, the SNePS Natural Language Processing System.

• Question Answering Demonstration, using SNaLPS to implement a cognitive agent

Demonstrations of Interactions with Cassie in English

(Cassie is not distributed as part of SNePS.)

• A basic conversation with Cassie

---

Stuart C. Shapiro <shapiro@cse.buffalo.edu>