Vocabularies for Problem Solver State Descriptions

McDermott, Drew V.

Vocabularies for Problem Solver State Descriptions

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Representation of Knowledge. Pages 229-233.

Abstract

A model of knowledge representation is presented and applied to representing problem solvers' states. The focus is on the NASL problem solver, which has been used to study elementary circuit design. The model distinguishes between the form and the content ("vocabulary") of a representation. The vocabularies used by the modules of NASL are displayed. It is concluded that the model allows flexible implementation and clear description of problem solvers. In particular, it demonstrates the importance of shallow reasoning in the control of problem solvers.

Drew V. McDermott. 1977. Vocabularies for Problem Solver State Descriptions. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 229–233. https://ijcai.org/proceedings/1977/48

@inproceedings{ijcai1977p48,
  title     = {Vocabularies for Problem Solver State Descriptions},
  author    = {McDermott, Drew V.},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {229--233},
  year      = {1977},
  note      = {Representation of Knowledge},
  url       = {https://ijcai.org/proceedings/1977/48},
}

TY  - CPAPER
TI  - Vocabularies for Problem Solver State Descriptions
AU  - McDermott, Drew V.
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 229
EP  - 233
UR  - https://ijcai.org/proceedings/1977/48
ER  -