Software Technology for Adaptable, Reliable Systems (STARS). Reusability Library(RLF) AdaTAU Software User's Manual

摘要

This document assumes that the user has a basic understanding of the Ada languageand wishes to learn how to incorporate knowledge-based capabilities into a larger system. This Software User's Manual provides a description of the content and basic operating procedures of AdaTAU, subsystem level component of the AdaTAU, a subsystem level component of the Reusability Library Framework (RLF). Other major components of the RLF include AdaKNET, and the Librarian application, which are covered in separate user's manuals. AdaTAU provides knowledge representation and inferencing capabilities via rule and fact base abstractions, and an associated control strategy that supports the extension of fact bases following the application of rules drawn from the rule bases. AdaTAU is made up of various packages providing Abstract Data Types (ADTs) that form the basis for the collection of services and objects provided within AdaTAU. This manual describes the individual package level components, as well as the major operations and objects defined within each component. The purpose of AdaTAU is to provide a rule-based knowledge representation capability within the RLF and to serve as a stand-alone subsystem that can be incorporated into larger Ada systems which require a rule-based component. (KR)