ML Anthology

OI-Implication: Soundness and Refutation Completeness

Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro
IJCAI 2001 pp. 847-852
/ijcai/2001/esposito2001ijcai-oi/

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.

Semantic Scholar

Cite

Text

Esposito et al. "OI-Implication: Soundness and Refutation Completeness." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Esposito et al. "OI-Implication: Soundness and Refutation Completeness." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/esposito2001ijcai-oi/)

BibTeX

@inproceedings{esposito2001ijcai-oi,
  title     = {{OI-Implication: Soundness and Refutation Completeness}},
  author    = {Esposito, Floriana and Fanizzi, Nicola and Ferilli, Stefano and Semeraro, Giovanni},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {847-852},
  url       = {https://mlanthology.org/ijcai/2001/esposito2001ijcai-oi/}
}