Interpreting Network Formalisms

Citation

Israel, D. J. Interpreting Network Formalisms. International Journal of Computers and Mathematics, vol. 9, no. 1, 1983.

Introduction

In a recent paper, Reiter and Criscuolo remark “that (semantic) networks are notational variants of logical formulae is by now a truism in Artificial Intelligence circles”. Shamelessly exploiting the foregoing quote as a pretext, I attempt to sketch adequate semantic accounts for at least two (kinds of) semantic network formalisms; one, based on the notion of inheritance, one, not. A crucial condition of adequacy to be satisfied is fidelity to some of the intuitions of the creators of the formalisms.


Read more from SRI

  • surgeons around a surgical robot

    The SRI research behind today’s surgical robotics

    Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.

  • a collage of digital graphs

    A banner year for quantum

    SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.

  • ICE Cube containing SRI’s aerogel experiment, photographed prior to launch. Source: Aerospace Applications North America

    An SRI carbon capture experiment launches into space

    By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.