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

Gaines, Brian R.

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

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Base Technology. 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.

Brian R. Gaines. 1993. A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 504–508. https://ijcai.org/proceedings/1993/71

@inproceedings{ijcai1993p71,
  title     = {A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types},
  author    = {Gaines, Brian R.},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {504--508},
  year      = {1993},
  note      = {Knowledge Base Technology},
  url       = {https://ijcai.org/proceedings/1993/71},
}

TY  - CPAPER
TI  - A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types
AU  - Gaines, Brian R.
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 504
EP  - 508
UR  - https://ijcai.org/proceedings/1993/71
ER  -