---
title: "Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse"
authors:
  - "Robert F. Simmons"
  - "Bertram C. Bruce"
doi: ""
url: "https://ijcai.org/proceedings/1971/55"
pdf: "https://ijcai.org/proceedings/1971/0055.pdf"
venue: "Proceedings of the Second International Joint Conference on Artificial Intelligence"
year: 1971
pages: "524-529"
track: ""
keywords:
---

# Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse

Robert F. Simmons, Bertram C. Bruce

*Proceedings of the Second International Joint Conference on Artificial Intelligence*, pages 524-529.

## Abstract

Networks can be used to represent syntactic trees of the semantic relations that hold between words in sentences. They can be alternately symbolized as association lists or conjoined seu of triples. A semantic net represents a sentence as a conjoined set of binary predicates . An algithm is presented that converts a semantic network into predicate calculus formalism. The simpler syntax of semantic network representations in contrast of ordinary predicate logic conventions is taken as an argument for their use in computational applications. Descriptive Terms: Semantic networks, Predicate logic, Natural language, Computational linguistics, Association lists.