Obvious Logical Inferences
Abstract
A precise definition is given of a class of inferences in predicate logic which it la proposed to Identify with the class of "obvious " Inferences. A mechanism for Implementing "obvious inference " as a rule of Inference in proof checking systems is discussed. I.
Cite
Text
Davis. "Obvious Logical Inferences." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Davis. "Obvious Logical Inferences." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/davis1981ijcai-obvious/)BibTeX
@inproceedings{davis1981ijcai-obvious,
title = {{Obvious Logical Inferences}},
author = {Davis, Martin},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {530-531},
url = {https://mlanthology.org/ijcai/1981/davis1981ijcai-obvious/}
}