Skip to main content

Path - based inference in SNeBR

  • Automated Deduction
  • Conference paper
  • First Online:

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

Abstract

Path-based inference allows the inference of the existence of an arc between two nodes based on the existence of a path of arcs between those nodes. Path-based inference has been used in the SNePS Semantic Network Processing System for several years. When SNePS was extended to include belief revision (giving rise to SNeBR) the path-based inference capability was lost, because no study had been done to decide how to compute the dependency (on other nodes) of the node generated by path-based inference.

In this paper we discuss how to incorporate path-based inference in a semantic network used for belief revision (SNeBR) and show how to compute the dependency of the nodes generated by path-based inference. The techniques that we develop can be used to incorporate belief revision techniques in networks based in hierarchies.

This work was partly supported by Junta Nacional de Investigação Científica under grant 87-107.

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.

7. References

  • Anderson A.R. and Belnap N.D., Entailment, The Logic of Relevance and Necessity, Vol. 1, Princeton, N.J.: Princeton University Press, 1975.

    Google Scholar 

  • Cravo M.R. and Martins J.P., "Integração da Inferência Baseada em Caminhos em SNeBR", GIA Relatório Técnico 89/1, Lisboa, Portugal: Instituto Superior Técnico, 1989.

    Google Scholar 

  • Martins J.P., "Reasoning in Multiple Belief Spaces", 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., "Reasoning in Multiple Belief Spaces", Proc. IJCAI-83, pp. 370–373, 1983.

    Google Scholar 

  • Martins J.P. and Shapiro S.C., "A Model for Belief Revision", Journal of Artificial Intelligence, Vol. 35, N. 1, pp. 25–79, May 1988.

    Google Scholar 

  • Shaprio S.C., Path-Based and Node-Based Inference in Semantic Networks", Theoretical Issues in Natural Language Processing 2, pp. 219–225, 1978.

    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. and Rapaport W.J., "SNePS Considered as a Fully Intensional Propositional Semantic Network", in The Knowledge Frontier: Essays in the Representation of Knowledge, Cercone and McCalle (eds.), New York, N.Y." Springer-Verlag, pp. 262–315, 1987.

    Google Scholar 

  • Srihari R., "Combining Path-Based and Node-Based Inference in SNePS", Technical Report 183, Buffalo, N.Y.: Department of Computer Science, State University of New York at Buffalo, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

J. P. Martins E. M. Morgado

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cravo, M.R., Martins, J.P. (1989). Path - based inference in SNeBR. In: Martins, J.P., Morgado, E.M. (eds) EPIA 89. EPIA 1989. Lecture Notes in Computer Science, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51665-4_77

Download citation

  • DOI: https://doi.org/10.1007/3-540-51665-4_77

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46743-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics