{"type":"ScholarlyArticle","title":"Vocabularies for Problem Solver State Descriptions","authors":[{"name":"Drew V. McDermott","slug":"drew-v-mcdermott","given":"Drew V.","family":"McDermott","affiliation":""}],"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","doi":null,"url":"https://ijcai.org/proceedings/1977/51","pdf":"https://ijcai.org/proceedings/1977/0051.pdf","markdown":"https://ijcai.org/proceedings/1977/51.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/51","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":51,"pages":{"first":229,"last":233},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}