The Comparative Linguistics of Knowledge Representation
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 882-888.
Abstract
We develop a methodology for comparing knowledge representation formalisms in terms of their "representational succinctness," that is, their ability to express knowledge situations relatively efficiently. We use this framework for comparing many important formalisms for knowledge base representation: propositional logic, default logic, circumscription, and model preference defaults; and, at a lower level, Horn formulas, characteristic models, decision trees, disjunctive normal form, and conjunctive normal form. We also show that adding new variables improves the effective expressibility of certain knowledge representation formalisms.
@inproceedings{ijcai1995p112,
title = {The Comparative Linguistics of Knowledge Representation},
author = {Gogic, Goran and Kautz, Henry A. and Papadimitriou, Christos H. and Selman, Bart},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {882--888},
year = {1995},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1995/112},
}
TY - CPAPER TI - The Comparative Linguistics of Knowledge Representation AU - Gogic, Goran AU - Kautz, Henry A. AU - Papadimitriou, Christos H. AU - Selman, Bart T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 882 EP - 888 UR - https://ijcai.org/proceedings/1995/112 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
