---
title: "The Comparative Linguistics of Knowledge Representation"
authors:
  - "Goran Gogic"
  - "Henry A. Kautz"
  - "Christos H. Papadimitriou"
  - "Bart Selman"
doi: ""
url: "https://ijcai.org/proceedings/1995/112"
pdf: "https://ijcai.org/proceedings/1995/0112.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "882-888"
track: "Knowledge Representation"
keywords:
---

# The Comparative Linguistics of Knowledge Representation

Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, 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.