---
title: "Inferences in Quantified Semantic Networks"
authors:
  - "Robert F. Simmons"
  - "Daniel Chester"
doi: ""
url: "https://ijcai.org/proceedings/1977/59"
pdf: "https://ijcai.org/proceedings/1977/0059.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "267-272"
track: "Representation of Knowledge"
keywords:
---

# Inferences in Quantified Semantic Networks

Robert F. Simmons, Daniel Chester

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 267-272.

## Abstract

Conventions are shown for representing information in semantic networks in a linear form called semantic case relations. Representations of variables, truth functions, and quantified statements are provided. Methods for answering questions from the resulting semantic predicates are iilustrated and a computational procedure for answering questior.s from quantified semantic predicates is described.