---
title: "A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types"
authors:
  - "Brian R. Gaines"
doi: ""
url: "https://ijcai.org/proceedings/1993/71"
pdf: "https://ijcai.org/proceedings/1993/0071.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "504-508"
track: "Knowledge Base Technology"
keywords:
---

# A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types

Brian R. Gaines

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 504-508.

## Abstract

A knowledge representation server is described which provides a fast, memory-efficient and principled system component. Modeling the server through intensional algebraic semantics leads naturally to an openarchitecture class library into which new data types may be plugged in as required without change to the basic deductive engine. It is shown that the operation of an existing knowledge representation system, CLASSIC, may be implemented through one data type supporting sets with upper and lower set and cardinality bounds. The architecture developed is cleanly layered by complexity of inference so that fast propagation of constraints is separated from potentially slow modelchecking search. Client programs may obtain estimates of the complexity of a request, and may control the resources allocated to its complete solution.