Completeness Theorems for Semantic Resolution in Consequence-Finding
Proceedings of the First International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 281-286.
Abstract
The object of consequence-finding is to deduce logical consequences from a set of axioms. The theory of J.R. Slagle's semantic resolution principle, an inference rule for first-order predicate calculus, is extended to consequence-finding. Given an interpretation I, it is proved that any prime (non-trivial) consequence, which is false in I, can be derived from a set of axioms by applying !-(semantic) resolution.
James R. Slagle, Chin-Liang Chang, and Richard C. T. Lee. 1969. Completeness Theorems for Semantic Resolution in Consequence-Finding. In Proceedings of the First International Joint Conference on Artificial Intelligence, IJCAI-69. IJCAI, 281–286. https://ijcai.org/proceedings/1969/27
Slagle, J. R., Chang, C., & Lee, R. C. T. (1969). Completeness Theorems for Semantic Resolution in Consequence-Finding. In Proceedings of the First International Joint Conference on Artificial Intelligence, IJCAI-69 (pp. 281–286). IJCAI. https://ijcai.org/proceedings/1969/27
@inproceedings{ijcai1969p27,
title = {Completeness Theorems for Semantic Resolution in Consequence-Finding},
author = {Slagle, James R. and Chang, Chin-Liang and Lee, Richard C. T.},
booktitle = {Proceedings of the First International Joint Conference on
Artificial Intelligence, {IJCAI-69}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Donald E. Walker and David C. Cooper},
pages = {281--286},
year = {1969},
month = {5},
note = {Theorem Proving},
url = {https://ijcai.org/proceedings/1969/27},
}
TY - CPAPER TI - Completeness Theorems for Semantic Resolution in Consequence-Finding AU - Slagle, James R. AU - Chang, Chin-Liang AU - Lee, Richard C. T. T2 - Proceedings of the First International Joint Conference on Artificial Intelligence, IJCAI-69 PB - International Joint Conferences on Artificial Intelligence PY - 1969 SP - 281 EP - 286 UR - https://ijcai.org/proceedings/1969/27 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
