Inferences in Quantified Semantic Networks
Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Representation of Knowledge. 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.
Robert F. Simmons, and Daniel Chester. 1977. Inferences in Quantified Semantic Networks. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 267–272. https://ijcai.org/proceedings/1977/59
Simmons, R. F., & Chester, D. (1977). Inferences in Quantified Semantic Networks. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 (pp. 267–272). IJCAI. https://ijcai.org/proceedings/1977/59
@inproceedings{ijcai1977p59,
title = {Inferences in Quantified Semantic Networks},
author = {Simmons, Robert F. and Chester, Daniel},
booktitle = {Proceedings of the Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-77}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Raj Reddy},
pages = {267--272},
year = {1977},
note = {Representation of Knowledge},
url = {https://ijcai.org/proceedings/1977/59},
}
TY - CPAPER TI - Inferences in Quantified Semantic Networks AU - Simmons, Robert F. AU - Chester, Daniel T2 - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 PB - International Joint Conferences on Artificial Intelligence PY - 1977 SP - 267 EP - 272 UR - https://ijcai.org/proceedings/1977/59 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
