The BACK System Revisited
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The redesign and the implemention of the Berlin advanced computational knowledge representation system (in Prolog) are described and the overall knowledge base language is sketched, syntax and semantics are given, and the usage is illustrated by examples.
Abstract
The ``Berlin advanced computational knowledge representation system'''' BACK has been developed as a KL-ONE-based hybrid reasoning system since 1985. In this report the redesign and the implemention of the system (in Prolog) are described. The overall knowledge base language is sketched, syntax and semantics are given, and the usage is illustrated by examples. It is a step towards a uniform object description language for accessing knowledge bases, combining intensional and extensional aspects - and also taking into account features known from typical database query languages. The implementational issues of the recent development are sketched; algorithms and data structures are presented, efficiency aspects are discussed, and the choices made between various implementational techniques are explained. The report is intended to serve not only as a platform for discussion on the technical issues and extensions yet to come, but also as a reference guide to the use of the current system.