OI-implication: Soundness and Refutation Completeness
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Pages 847-851.
Abstract
Weakening implication by assuming the object identity bias allows for both a model-theoretical and a proof-theoretical definition of a novel and more manageable ordering relationship over clausal spaces. In this paper, we give two important results, namely the soundness and the refutation completeness (through a subsumption theorem) of the underlying derivation procedure, that make this relationship particularly appealing for inducing a generalization model for clausal search spaces.
Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, and Giovanni Semeraro. 2001. OI-implication: Soundness and Refutation Completeness. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 847–851. https://ijcai.org/proceedings/2001/116
Esposito, F., Fanizzi, N., Ferilli, S., & Semeraro, G. (2001). OI-implication: Soundness and Refutation Completeness. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01 (pp. 847–851). IJCAI. https://ijcai.org/proceedings/2001/116
@inproceedings{ijcai2001p116,
title = {OI-implication: Soundness and Refutation Completeness},
author = {Esposito, Floriana and Fanizzi, Nicola and Ferilli, Stefano and Semeraro, Giovanni},
booktitle = {Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence, {IJCAI-01}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {847--851},
year = {2001},
url = {https://ijcai.org/proceedings/2001/116},
}
TY - CPAPER TI - OI-implication: Soundness and Refutation Completeness AU - Esposito, Floriana AU - Fanizzi, Nicola AU - Ferilli, Stefano AU - Semeraro, Giovanni T2 - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01 PB - International Joint Conferences on Artificial Intelligence PY - 2001 SP - 847 EP - 851 UR - https://ijcai.org/proceedings/2001/116 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
