Skip to main content
Springer Nature Link
Log in

An Introduction to SNePS 3

  • Conference paper
Conceptual Structures: Logical, Linguistic, and Computational Issues (ICCS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1867))

Included in the following conference series:

  • 894 Accesses

Abstract

This paper provides an introduction to SNePS 3, the latest entry in the SNePS family of knowledge representation and reasoning (KRR) systems. The emphasis is on SNePS 3 as an example of a logic-based network KRR system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Shapiro, S.C., Rapaport, W.J.: The SNePS family. Computers & Mathematics with Applications 23(2–5), 243–275 (1992); Reprinted in [30, pp. 243–275]

    Google Scholar 

  2. Shapiro, S.C.: The SNePS Implementation Group. SNePS 2.5 User’s Manual. Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY (1999)

    Google Scholar 

  3. Ali, S.S., Shapiro, S.C.: Natural language processing using a propositional semantic network with structured variables. Minds and Machines 3(4), 421–451 (1993)

    Article  Google Scholar 

  4. Ali, S.S.: A “Natural Logic” for Natural Language Processing and Knowledge Representation. PhD thesis, Technical Report 94-01, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY (January 1994)

    Google Scholar 

  5. Steele Jr., G.L.: Common Lisp the Language, 2nd edn. Digital Press (1990)

    Google Scholar 

  6. Shapiro, S.C.: The CASSIE projects: An approach to natural language competence. In: Martins, J.P., Morgado, E.M. (eds.) EPIA 1989: 4th Portugese Conference on Artificial Intelligence Proceedings. LNCS (LNAI), vol. 390, pp. 362–380. Springer, Berlin (1989)

    Google Scholar 

  7. Shapiro, S.C.: Embodied Cassie. In: Cognitive Robotics: Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02, pp. 136–143. AAAI Press, Menlo Park, California (October 1998)

    Google Scholar 

  8. Shapiro, S.C., Rapaport, W.J.: Models and minds: Knowledge representation for natural-language competence. In: Cummins, R., Pollock, J. (eds.) Philosophy and AI: Essays at the Interface, pp. 215–259. MIT Press, Cambridge (1991)

    Google Scholar 

  9. Shapiro, S.C.: SNePS: A logic for natural language understanding and commonsense reasoning. In: Iwańska, I., Shapiro, S.C. (eds.) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language. AAAI Press/The MIT Press (2000)

    Google Scholar 

  10. Woods, W.A.: What’s in a link. In: Bobrow, D.G., Collins, A. (eds.) Representation and Understanding, pp. 35–82. Academic Press, New York (1975); Reprinted in [31], pp. 218–241]

    Google Scholar 

  11. Shapiro, S.C.: Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 5(2&3), 225–235 (1993)

    Article  Google Scholar 

  12. Maida, A.S., Shapiro, S.C.: Intensional concepts in propositional semantic networks. Cognitive Science 6(4), 291–330 (1982); Reprinted in [31, pp. 170–189]

    Google Scholar 

  13. Shapiro, S.C.: Symmetric relations. Symmetric relations, intensional individuals, and variable binding. Proceedings of the IEEE 74(10), 1354–1363 (1986)

    Google Scholar 

  14. Shapiro, S.C., Rapaport, W.J.: SNePS considered as a fully intensional propositional semantic network. In: Cercone, N., McCalla, G. (eds.) The Knowledge Frontier, pp. 263–315. Springer, New York (1987)

    Google Scholar 

  15. Rapaport, W.J., Shapiro, S.C., Wiebe, J.M.: Quasi-indexicals and knowledge reports. Cognitive Science 21(1), 63–107 (1997); Reprinted in [32], pp. 235–294]

    Google Scholar 

  16. Israel, D.J.: Interpreting network formalisms. In: Cercone, N. (ed.) Computational Linguistics, pp. 1–13. Pergammon Press, Oxford (1983)

    Google Scholar 

  17. Brachman, R.J.: On the epistemological status of semantic networks. In: Findler, N.V. (ed.) Associative Networks: The Representation and Use of Knowledge by Computers, pp. 3–50. Academic Press, New York (1979)

    Google Scholar 

  18. Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)

    MATH  Google Scholar 

  19. Kumar, D.: The SNePS BDI architecture. Decision Support Systems 16(1), 3–19 (1996)

    Article  Google Scholar 

  20. Kumar, D., Shapiro, S.C.: Acting in service of inference (and vice versa). In: Dankel II, D.D. (ed.) Proceedings of The Seventh Florida AI Research Symposium (FLAIRS 1994), May 1994, pp. 207–211. The Florida AI Research Society (1994)

    Google Scholar 

  21. Ismail, H.O., Shapiro, S.C.: Two problems with reasoning and acting in time. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000), San Francisco, pp. 355–365. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  22. Shapiro, S.C.: Cables, paths and “subconscious” reasoning in propositional semantic networks. In: Sowa, J. (ed.) Principles of Semantic Networks: Explorations in the Representation of Knowledge, pp. 137–156. Morgan Kaufmann, Los Altos (1991)

    Google Scholar 

  23. Shapiro, S.C.: Path-based and node-based inference in semantic networks. In: Waltz, D.L. (ed.) Tinlap-2: Theoretical Issues in Natural Languages Processing, pp. 219–225. ACM, New York (1978)

    Google Scholar 

  24. Srihari, R.: Combining path-based and node-based reasoning in SNePS. Technical Report 183, Department of Computer Science, SUNY at Buffalo, Buffalo, NY (1981)

    Google Scholar 

  25. Fine, K.: A defence of arbitrary objects. Proceedings of the Aristotelian Society Supp. 58, 55–77 (1983)

    Google Scholar 

  26. Wos, L., Overbeek, R., Lusk, E., Boyle, J.: Automated Reasoning: Introduction and Applications. Prentice-Hall, Englewood Cliffs (1984)

    MATH  Google Scholar 

  27. Stickel, M.E.: Automated deduction by theory resolution. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI 1985), Los Altos, CA, vol. 2, pp. 1181–1186. Morgan Kaufmann, San Francisco (1985)

    Google Scholar 

  28. Date, C.J.: An Introduction to Database Systems, 3rd edn., vol. 1. Addison-Wesley, Reading (1981)

    MATH  Google Scholar 

  29. Choi, J.: Experience-Based Learning in Deductive Reasoning Systems. Technical report 93-20, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY (1993)

    Google Scholar 

  30. Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)

    Google Scholar 

  31. Brachman, R.J., Levesque, H.J. (eds.): Readings in Knowledge Representation. Morgan Kaufmann, San Mateo (1985)

    MATH  Google Scholar 

  32. Orilia, F., Rapaport, W.J. (eds.): Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda. Kluwer Academic Publishers, Dordrecht (1998)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering and Center for Cognitive Science, State University of New York at Buffalo, 226 Bell Hall, Buffalo, NY, 14260-2000, USA

    Stuart C. Shapiro

Authors
  1. Stuart C. Shapiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Algebra, University of Technology, Dresden, Germany

    Bernhard Ganter

  2. Département d’informatique et de génie logiciel, Université Laval, Pavillon Adrien-Pouliot, 1065, av. de la Médecine, G1V 0A6, Quebec City, Québec, Canada

    Guy W. Mineau

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shapiro, S.C. (2000). An Introduction to SNePS 3. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_35

Download citation

  • DOI: https://doi.org/10.1007/10722280_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67859-5

  • Online ISBN: 978-3-540-44663-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics