A Logic-based Architecture for Knowledge Management
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Architectures and Languages. Pages 87-89.
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.
@inproceedings{ijcai1987p16,
title = {A Logic-based Architecture for Knowledge Management},
author = {Black, Damian and Manley, John},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {87--89},
year = {1987},
note = {Architectures and Languages},
url = {https://ijcai.org/proceedings/1987/16},
}
TY - CPAPER TI - A Logic-based Architecture for Knowledge Management AU - Black, Damian AU - Manley, John T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 87 EP - 89 UR - https://ijcai.org/proceedings/1987/16 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
