Model Formality in Human/Computer Collaboration

Abstract

This paper describes a programming methodology called model-based programming which supports development of systems with complex activities accessing large volumes of data. This methodology utilizes multiple levels of data model formality providing some powerful features for systems that are built using this methodology. For example, unlike most traditional systems, information can be programmed into an application during all phases of the system lifecycle from development through daily use. Second, the way information is entered will dictate how much reasoning the system will perform on it. This provides options for the user when they enter information; they can enter information quickly and get less system management, or they can enter information more formally and the system will take-more responsibility. One important component of this programming environment provides a way for users to enter information that was not anticipated at development time - an important capability of a system is going to grow with it's increasingly expert users. This component called TINT (The Intelligent Note Taker) is explained in detail and issues of human/computer collaboration are discussed in the context of adding unanticipated information to complex systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1994
Accession Number
ADA286001

Entities

People

  • Brian Harp
  • Robert Neches

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Classification
  • Computer Programming
  • Computers
  • Databases
  • Environment
  • Formal Languages
  • Information Science
  • Information Systems
  • Knowledge Management
  • Language
  • Logistics
  • Models
  • Reasoning
  • Semantic Models
  • Standards
  • Teamwork
  • User Interface

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Educational Psychology
  • Software Engineering.