Advertisement

Path - based inference in SNeBR

  • Maria R. Cravo
  • João P. Martins
Automated Deduction
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. 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
  2. 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
  3. 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
  4. Martins J.P. and Shapiro S.C., "Reasoning in Multiple Belief Spaces", Proc. IJCAI-83, pp. 370–373, 1983.Google Scholar
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Maria R. Cravo
    • 1
  • João P. Martins
    • 1
  1. 1.Instituto Superior TécnicoTechnical University of LisbonLisboaPortugal

Personalised recommendations