SNePS: AN INTERACTIVE APPROACH

Stuart C. Shapiro and William J. Rapaport

SNePS Research Group
Department of Computer Science & Engineering and Center for Cognitive Science
State University of New York at Buffalo, Buffalo, NY 14260-2000
snwiz@cse.buffalo.edu

http://www.cse.buffalo.edu/sneps

Last Update: 29 August 2008
Note: or material is highlighted

For a general introduction to SNePS, see the Wikipedia entry "SNePS".
In all cases where this tutorial disagrees with the SNePS 2.7 User's Manual ("UM"; Shapiro & Group 2008), the UM takes precedence.

1. RUNNING AND SAVING SNePS

1.1. Running SNePS on UB Computer Science Computers
1.2. How to Use this Tutorial; Saving and Demo'ing Your Work (UM§2.4)

2. BUILDING AND FINDING NODES.

2.1. Defining Relations
2.2. Correcting Mistakes, part 1
2.3. EXERCISE: Defining Relations
2.4. Asserting Propositions
2.5. Correcting Mistakes, part 2
2.6. Resetting a Network
2.7. EXERCISE: Asserting Propositions, part 1
2.8. Displaying a Network: Dump
2.9. Displaying a Network: Describe, part 1
2.10. Displaying a Network: Describe, part 2
2.11. Displaying a Node: Describe, part 3
2.12. EXERCISE: Asserting Propositions, part 2.
2.13. Finding Information
2.14. Describing Found Nodes
2.15. Finding Information using Paths, part 1
2.16. Finding Information using Paths, part 2
2.17. Finding Intersections of Paths
2.18. EXERCISE: Finding Information, part 1
2.19. Building Nodes
2.20. Asserting Beliefs
2.21. Finding Beliefs, part 1
2.22. Finding Asserted Beliefs
2.23. Finding Beliefs, part 2
2.24. Finding Beliefs, part 3
2.25. EXERCISES: Finding Beliefs, part 1
2.26. Finding Individuals
2.27. Finding Information using SNePSUL Variables
2.28. More on SNePSUL Variables
2.29. EXERCISE: Finding Information, part 2
2.30. Sets of Nodes
2.31. EXERCISE: Finding Beliefs, part 2
2.32. Finding Beliefs, part 4
2.33. EXERCISES: Finding Beliefs, part 3

3. REDUCTION INFERENCE (UM§2.5.1).

3.1. Deducing Information, part 1
3.2. Deducing Information using Variables
3.3. When Cassie Doesn't Know an Answer
3.4. Deducing Information, part 2
3.5. Deducing Beliefs
3.6. EXERCISES: Deducing Beliefs

4. DIFFERENT NODE TYPOGRAPHY.

4.1. SNePSUL Variables as Pointers
4.2. An Example, part 1: Defining relations
4.3. An Example, part 2: Asserting new information
4.4. An Example, part 3: Using SNePSUL variables
4.5. An Example, part 4: Finding information
4.6. EXERCISE: Extending the Example
4.7. An Example, part 5: Finding more information
4.8. EXERCISE: Concluding the Example

5. BASE NODES.

5.1. Base Nodes: Introduction
5.2. Creating Anonymous Base Nodes as Skolem Constants
5.3. Referring to Anonymous Base Nodes
5.4. EXERCISE: Base Nodes

6. PATH-BASED INFERENCE (UM§2.5.2).

6.1. Path-Based Inference as Generalized Inheritance
6.2. Digression: XGINSENG.
6.3. Describing the Network
6.4. Finding Information that Cassie Explicitly Believes
6.5. Finding Information that Cassie Implicitly Believes
6.6. Finding Information using Inheritance
6.7. Finding Asserted Information
6.8. EXERCISES: Defining Paths

7. NODE-BASED INFERENCE (UM Ch. 3).

7.1. Rules
7.2. Asserting Rules
7.3. EXERCISE: Node-Based Inference

8. PROGRAMMING PROJECT #1.
9. PROGRAMMING PROJECT #2.
10. ANSWERS TO EXERCISES.
ACKNOWLEDGMENTS
REFERENCES

General References
References Cited in This Tutorial

About this document ...

William J. Rapaport
http://www.cse.buffalo.edu/sneps/Tutorial/index.html-20080829