A Logic-Based Architecture for Knowledge Management
Abstract
We define and discuss an architecture for a knowledge base management system (KBMS) to support the efficient manipulation of large and diverse bodies of knowledge. The architecture has been formulated within an amalgamated language-metalanguage framework. All aspects of the system possess a logical semantics. Our emphasis is on modularity, the organization of theories and their metatheories within the system theory, and the clean integration of multiple representation languages. The expressivity of the architecture is discussed and an implementation based on an extended Prolog reported. Its utility is currently being investigated in a number of diverse applications.
Cite
Text
Black and Manley. "A Logic-Based Architecture for Knowledge Management." International Joint Conference on Artificial Intelligence, 1987.Markdown
[Black and Manley. "A Logic-Based Architecture for Knowledge Management." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/black1987ijcai-logic/)BibTeX
@inproceedings{black1987ijcai-logic,
title = {{A Logic-Based Architecture for Knowledge Management}},
author = {Black, Damian and Manley, John},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {87-90},
url = {https://mlanthology.org/ijcai/1987/black1987ijcai-logic/}
}