UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering
cse@buffalo
SNePS main page

SNePS 3

SNePS 3 is an in-progress new implementation of the SNePS knowledge representation, reasoning, and acting system. It is based on a new logic of arbitrary and indefinite objects, referred to as LA , which, in turn is based on the logic ANALOG.
Contents
Introduction and Manual
System
Java SNePS 3
Papers on SNePS 3, LA and ANALOG.

Introduction and Manuals

System
A preliminary version of SNePS 3 is available to machines on UB's CSE network. To run it, run Common Lisp, and load /projects/snwiz/Sneps3/sneps3

To run SNePS 3 via its GUI, run Common Lisp, and load /projects/snwiz/Sneps3/GUI

The preliminary, 7 June 2013, version of Lisp source code is also available for download as a gzip file: Sneps3.tar.gz

Java SNePS 3
The Java SNePS 3 project is no longer active. It was devoted to producing a version of SNePS 3 in Java, and/or a Java graphical front-end to the Common Lisp-based SNePS 3. Currently a partial graphical front-end exists, but with no SNePS back-end.

To run Java SNePS 3 on a machine on UB's CSE network, execute the shell command /projects/snwiz/JavaSneps3/jsneps

Java SNePS 3 Papers

  1. Jeffrey S. Fineberg, Implementation of the Java SNePS 3 Building Box, SNeRG Technical Note 34, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY, 2003.

  2. Anthony Petre, Java and the Future of SNePS, SNeRG Technical Note 31, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, November 16, 2001. 7 pages.

Papers on SNePS 3, LA and ANALOG.
  1. Daniel R. Schlegel, Concurrent Inference Graphs, PhD Dissertation, Department of Computer Science and Engineering, State University of New York at Buffalo, September 3, 2014.

  2. Schlegel, D.R. and Shapiro, S.C., Inference Graphs: A New Kind of Hybrid Reasoning System Proceedings of the Cognitive Computing for Augmented Human Intelligence Workshop at AAAI-14 (CCAHI@AAAI-14), 2014, 38-41.

  3. Daniel R. Schlegel and Stuart C. Shapiro, Inference Graphs: A New Kind of Hybrid Reasoning System (student abstract), Proceedings of the Twenty-Eighth Conference on Artificial Intelligence (AAAI-14), AAAI Press/The MIT Press, Menlo Park, CA, 2014, 3134-3135.

  4. Daniel R. Schlegel and Stuart C. Shapiro, The `Ah Ha!' Moment : When Possible, Answering the Currently Unanswerable using Focused Reasoning. In P. Bello, M. Guarini, M. McShane, & B. Scassellati, Eds., Proceedings of the 36th Annual Conference of the Cognitive Science Society (COGSCI 2014), Cognitive Science Society, Austin, TX, 2014, 1371-1376.

  5. Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs. In Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, and Christophe Gonzales, Eds., Graph Structures for Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 8323, Springer International Publishing, Switzerland, 2014, 138-164. DOI: 10.1007/978-3-319-04534-4_10

  6. Daniel R. Schlegel and Stuart C. Shapiro, Inference Graphs: A Roadmap. In Matthew Klenk and John Laird, Eds. Proceedings of the Second Annual Conference on Advances in Cognitive Systems, 2013 Poster Collection, December, 2013, 217-234. (poster)

  7. Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs. In Working Notes of the 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR@IJCAI 2013), 2013, unpaginated, 9 pages.

  8. Daniel R. Schlegel, Concurrent Inference Graphs (Doctoral Consortium abstract), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), AAAI Press/The MIT Press, Menlo Park, CA, 2013, 1680-1681. (poster)

  9. Daniel R. Schlegel and Stuart C. Shapiro, Concurrent Reasoning with Inference Graphs (student abstract), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), AAAI Press/The MIT Press, Menlo Park, CA, 2013, 1637-1638. (poster)

  10. Daniel R. Schlegel and Stuart C. Shapiro, Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. In Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse and Olivier Corby, Eds., Graph Structures for Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 7205, Springer-Verlag, Berlin, 2012, 188-207.

  11. Daniel R. Schlegel and Stuart C. Shapiro, Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs. In M. Croitoru, J. Howse, S. Rudolph, and N. Wilson, Eds., Second International IJCAI Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2011) , Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Montpellier, France, 2011, 56-62.

  12. Stuart C. Shapiro (2004), A Logic of Arbitrary and Indefinite Objects. In D. Dubois, C. Welty, & M. Williams, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), AAAI Press, Menlo Park, CA, 565-575.

  13. Jeffrey S. Fineberg (2003), Implementation of the Java SNePS 3 Building Box, SNeRG Technical Note 34, Department of Computer Science and Engineering, University at Buffalo, The State Universtiy of New York, Buffalo, NY.

  14. Anthony Petre (2001), Java and the Future of SNePS, SNeRG Technical Note 31, Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 7 pages.

  15. Stuart C. Shapiro (2000), An Introduction to SNePS 3. In Bernhard Ganter & Guy W. Mineau, Eds. Conceptual Structures: Logical, Linguistic, and Computational Issues. Lecture Notes in Artificial Intelligence 1867. Springer-Verlag, Berlin, 510-524.

  16. Ali, Syed S. (1995), "ANALOG: A Knowledge Representation System for Natural Language Processing", in E.A. Yfantis (ed.), Intelligent Systems: 3rd Golden West International Conference: Edited and Selected Papers (Dordrecht, The Netherlands: Kluwer Academic Publishers): 327-332.

  17. Ali, Syed S. (1994), "A `Natural Logic' for Natural Language Processing and Knowledge Representation" (PhD dissertation), Technical Report 94-01 (Buffalo: SUNY Buffalo Department of Computer Science).

  18. Ali, Syed S. (1994), "ANALOG: A Knowledge Representation and Reasoning System for Natural Language Reasoning", Proceedings of the 3rd International SNePS Workshop (Buffalo).

  19. Ali, Syed S. (1994), "A Logical Language for Natural Language Processing", Proceedings of the 10th Biennial Canadian Artificial Intelligence Conference (Banff, Alberta, Canada).

  20. Ali, Syed S. (1994), "ANALOG: A Logical Language for Natural Language Processing", AAAI Fall 1994 Symposium Working Notes, Knowledge Representation for Natural Language Processing (New Orleans).

  21. Ali, Syed S. (1993), A Structured Representation for Noun Phrases and Anaphora", Proceedings of the 15th Annual Conference of the Cognitive Science Society (Hillsdale, NJ: Lawrence Erlbaum): 197-202.

  22. Ali, Syed S. (1993), "Node Subsumption in a Propositional Semantic Network with Structured Variables", Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (Melbourne) (NJ: World Scientific).

  23. Ali, Syed S. (1993), "A Propositional Semantic Network with Structured Variables for Natural Language Processing", Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (Melbourne) (NJ: World Scientific).

  24. Ali, Syed S. & Shapiro, Stuart C. (1993), Natural Language Processing Using a Propositional Semantic Network with Structured Variables, Minds and Machines 3(4): 421-451.
Last modified: Thu Oct 30 14:51:15 2014
Stuart C. Shapiro <shapiro@buffalo.edu>
TOP | BIBLIOGRAPHY | SNeRG HOME | HomeHOME