Software Technology for Adaptable, Reliable Systems (STARS). Reusability Library (RLF) AdaTAU Software User's Manual
Abstract
This document assumes that the user has a basic understanding of the Ada language and 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 26, 1990
- Accession Number
- ADA229221
Entities
People
- James J. Solderitsch
- Ray Mcdowell