SNePS

• Knowledge Representation and Reasoning

  • Propositions as Terms

• SNIP: SNePS Inference Package

  • Bi-Directional Inference

• SNeBR: SNePS Belief Revision

• SNeRE: SNePS Rational Engine

• Interface Languages

  • SNePSUL: Lisp-Like
  • SNePSLOG: Logic-Like
  • GATN for Fragments of English.

Previous slide

Next slide

Back to first slide

View graphic version