A Theory of Average-Case Compilability in Knowledge Representation

Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compilability have been obtained, they are all "worst-case" results. We develop a theory of average-case compilability which allows for the formal comparison and classification of knowledge representation formalisms "on average."

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Hubie Chen
• Keywords: Average-case Compilability, Fundamental Property, IJCAI 2003, IJCAI 2007, Knowledge Representation Formalisms