Semantic Paramodulation for Horn Sets
Abstract
We present a new strategy for semantic paramodulation for Horn sets and prove its completeness The strategy requires for each paramoduiation that either both parents be false positive units or that one parent and the paramodulant both be false relative to an interpretation We also discuss some of the issues involved in choosing an interpretation that has a chance of giving better performance that simple set-of-support paramoduiation.
Cite
Text
McCune and Henschen. "Semantic Paramodulation for Horn Sets." International Joint Conference on Artificial Intelligence, 1983.Markdown
[McCune and Henschen. "Semantic Paramodulation for Horn Sets." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/mccune1983ijcai-semantic/)BibTeX
@inproceedings{mccune1983ijcai-semantic,
title = {{Semantic Paramodulation for Horn Sets}},
author = {McCune, William and Henschen, Lawrence J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {902-908},
url = {https://mlanthology.org/ijcai/1983/mccune1983ijcai-semantic/}
}