Skip to main content

Recent advances and developments: The SNePS 2.1 report

  • Conference paper
  • First Online:

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

Abstract

In this paper, we describe those features that distinguish SNePS 2.1 from earlier versions of SNePS. These include: contexts; belief spaces; the knowledge debugger; the graphics package; and the elimination of duplicated reports. We also describe the SNePS 2.1 versions of path-based inference and SNePSLOG, and, finally, we indicate areas of SNePS 2.1 that still need work.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

14 References

  • Cravo M.R. and Martins J.P., “Path-Based Inference Revisited”, Proc. First SNePS Workshop, Heidelberg, W. Germany: Springer-Verlag, 1989a.

    Google Scholar 

  • Cravo M.R. and Martins J.P., “Belief Revision with Defaults”, submitted for publication, 1989b.

    Google Scholar 

  • Filipe J.L., “A Solution for the Message Repetition Problem in SNePS”, Technical Report 89/02, Lisbon, Portugal: Instituto Superior Técnico, Technical University of Lisbon, 1989.

    Google Scholar 

  • Martins J.P., “Reasoning in Multiple Belief Spaces”, Ph.D. Dissertation, Technical Report 203, Buffalo, N.Y.: Department of Computer Science, State University of New York at Buffalo, 1983.

    Google Scholar 

  • Martins J.P. and Shapiro S.C., “Hypothetical Reasoning”, Proc. Applications of Artificial Intelligence to Engineering Problems, Berlin, W. Germany: Springer-Verlag, pp.1029–1042, 1986.

    Google Scholar 

  • Martins J.P. and Shapiro S.C., “A Model for Belief Revision”, Artificial Intelligence 35, pp.25–79, 1988.

    Google Scholar 

  • Matos P.A. and Martins J.P., “SNePSLOG — A logic Interface to SNePS”, Technical Report 89/03, Lisbon, Portugal: Instituto Superior Técnico, Technical University of Lisbon, 1989.

    Google Scholar 

  • McKay D.P. and Martins J.P., “SNePSLOG Users' Manual”, SNeRG Technical Note 4, Buffalo, N.Y.: Department of Computer Science, State University of New York at Buffalo, 1981.

    Google Scholar 

  • Shapiro S.C., “The SNePS Semantic Network Processing System”, in Associative Networks: Representation and Use of Knowledge by Computers, Findler (ed.), New York, N.Y.: Academic Press, pp.179–203, 1979.

    Google Scholar 

  • Shapiro S.C. et. al., SNePS-2 User's Manual, Buffalo, N.Y.: Department of Computer Science, State University of New York at Buffalo, 1989.

    Google Scholar 

  • Shapiro S.C. and Rapaport W., “SNePS Considered as a Fully Intensional Propositional Semantic Network”, in The Knowledge Frontier: Essays in the Representation of Knowledge, McCalla and Cercone (eds.), New York, N.Y.: Springer-Verlag, pp.262–315, 1987.

    Google Scholar 

  • Whitehead A.N. and Russell B., Principia Mathematica, Cambridge, UK: Cambridge University Press, 1910 (2nd Edition, reprinted 1987).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

D. Kumar

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Shapiro, S.C., Martins, J.P. (1990). Recent advances and developments: The SNePS 2.1 report. In: Kumar, D. (eds) Current Trends in SNePS — Semantic Network Processing System. SNePS 1989. Lecture Notes in Computer Science, vol 437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022079

Download citation

  • DOI: https://doi.org/10.1007/BFb0022079

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52626-1

  • Online ISBN: 978-3-540-47081-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics