SNePS: AN INTERACTIVE APPROACH

Stuart C. Shapiro and William J. Rapaport

SNePS Research Group
Department of Computer Science 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: 7 September 2004
Note: or material is highlighted

In all cases where this tutorial disagrees with the SNePS 2.6.1 User's Manual ("UM"; Shapiro & Group 2002), 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 2004-09-07