A Hole in Goal Trees: Some Guidance from Resolution Theory

Loveland, Donald W.; Stickel, Mark E.

A Hole in Goal Trees: Some Guidance from Resolution Theory

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Theorem Proving and Logic: 2. Pages 153-160.

Abstract

The representation power of goal-subgoal trees and the adequac y of this form of problem reduction i s considered. A number of inadequacie s in the classical form are illustrated, and two versions of a sy ntactic procedure incorporating extension s are given. Although the form of the correction s are s ugge s ted from re s olution theor y results, and the value of this connection emphasized, the paper di s cusses the goal tree for ma t and its extensions on an informal level.

Donald W. Loveland, and Mark E. Stickel. 1973. A Hole in Goal Trees: Some Guidance from Resolution Theory. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 153–160. https://ijcai.org/proceedings/1973/21

@inproceedings{ijcai1973p21,
  title     = {A Hole in Goal Trees: Some Guidance from Resolution Theory},
  author    = {Loveland, Donald W. and Stickel, Mark E.},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {153--160},
  year      = {1973},
  month     = {8},
  note      = {Theorem Proving and Logic: 2},
  url       = {https://ijcai.org/proceedings/1973/21},
}

TY  - CPAPER
TI  - A Hole in Goal Trees: Some Guidance from Resolution Theory
AU  - Loveland, Donald W.
AU  - Stickel, Mark E.
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 153
EP  - 160
UR  - https://ijcai.org/proceedings/1973/21
ER  -