Factors shaping the evolution of electronic documentation systems

The main goal is to prepare the space station technical and managerial structure for likely changes in the creation, capture, transfer, and utilization of knowledge. By anticipating advances, the design of Space Station Project (SSP) information systems can be tailored to facilitate a progression of increasingly sophisticated strategies as the space station evolves. Future generations of advanced information systems will use increases in power to deliver environmentally meaningful, contextually targeted, interconnected data (knowledge). The concept of a Knowledge Base Management System is emerging when the problem is focused on how information systems can perform such a conversion of raw data. Such a system would include traditional management functions for large space databases. Added artificial intelligence features might encompass co-existing knowledge representation schemes; effective control structures for deductive, plausible, and inductive reasoning; means for knowledge acquisition, refinement, and validation; explanation facilities; and dynamic human intervention. The major areas covered include: alternative knowledge representation approaches; advanced user interface capabilities; computer-supported cooperative work; the evolution of information system hardware; standardization, compatibility, and connectivity; and organizational impacts of information intensive environments

Fifth Conference on Artificial Intelligence for Space Applications

The Fifth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: automation for Space Station; intelligent control, testing, and fault diagnosis; robotics and vision; planning and scheduling; simulation, modeling, and tutoring; development tools and automatic programming; knowledge representation and acquisition; and knowledge base/data base integration

Formal Specification and Verification of Knowledge and its Application

Software muß zuverlässiger werden. Es ist allgemein anerkannt, daß formale Methoden, sofern sie richtig angewandt werden, die Sicherheit und Stabilität von Software verbessern können. Jedoch werden formale Methoden noch selten für industrielle Projekte genutzt. Das Ziel dieser Arbeit ist die Untersuchung, ob und wie Methoden, Werkzeuge und Ergebnisse aus dem Bereich der Wissensrepr äsentation auf das Gebiet der formalen Spezifikation übertragen werden können. Zuerst vergleichen wir Ziele, Konzepte und Probleme der Wissenrepräsentation mit denen der formalen Spezifikation. Danach untersuchen wir einige Eigenschaften von Spezifikationen und Wissensbasen, wie zum Beispiel Konsistenz, Vollständigkeit und Korrektheit. Weiterhin betrachten wir ein Werkzeug zur Spezifikation von wissensbasierten Systemen, welches selbst ein Wissensrepräsentationssystem ist. Abschließend ordnen wir diese Arbeit in die Standard Siemens Entwicklungsmethode (stdSEM) ein

The 1988 Goddard Conference on Space Applications of Artificial Intelligence

This publication comprises the papers presented at the 1988 Goddard Conference on Space Applications of Artificial Intelligence held at the NASA/Goddard Space Flight Center, Greenbelt, Maryland on May 24, 1988. The purpose of this annual conference is to provide a forum in which current research and development directed at space applications of artificial intelligence can be presented and discussed. The papers in these proceedings fall into the following areas: mission operations support, planning and scheduling; fault isolation/diagnosis; image processing and machine vision; data management; modeling and simulation; and development tools/methodologies

The CSCW paradigm for software development

People work together to solve a wide variety of problems using different forms of cooperation for each class of problem. Modern technology is complex, and therefore it is unusual for an individual to attempt the development of a major project single-handedly. In an attempt to provide computer-based support for the problems that arise when two or more people attempt to cooperate to perform a task or solve a problem, the area of Computer Supported Cooperative Work (CSCW) becomes relevant. The software development process almost invariably involves cooperation that crosses group, professional, and subcultural boundaries. The complexity of software development demands that highly integrated groups of analysts, designers, and users are involved in the process. Many development activities may occur concurrently. The area of CSCW and advanced information technology, with its enormous capabilities for transmitting and storing information, holds considerable promise for the software development process.ComputingM. Sc. (Information Systems