The Rosia Language Reference Manual

Abstract

ROSIE is a programming language and programming system for artificial intelligence (AI) applications. The ROSIE language is a stylized version of English. Our primary design goal for the language has been to achieve exceptional program readability. A second goal has been to support the development of significant applications. ROSIE provides a variety of language and programming environment features aimed at this objective. The language allows the programmer to describe complex relationships simply and to manipulate them symbolically and deductively. In addition, it supports network communications and patterned reading and writing to other systems. It also provides for interactive, compiled, and interpreted computing, with a variety of debugging and programming tools. ROSIE encompasses many of the capabilities of conventional programming languages. It is a general-purpose language offering a variety of typical data types and control constructs found in most high-level languages, together with a few found only in AI languages. Among the features we include are rulesets that generate sets, predicates that test propositions, propositional data types, and some limited forms of deduction. Using ROSIE, an AI applications programmer can think concretely about the problem domain and translate ideas into a program using substantially the same vocabulary that arises in the English (non-computational) formulation of the model. ROSIE's language will provide a naturalistic style for describing even such mathematical abstractions as graphs, stacks, etc. For example, a user can refer to "a stack whose top element is .... " This manual consists of a technical discussion of the syntax and semantics of the ROSIE language as well as an explanation of the ROSIE environment as a whole.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1981
Accession Number
ADA595233

Entities

People

  • D. Gorlin
  • D. Waterman
  • F. Hayes-roth
  • H. Sowizral
  • J. Fain
  • S. Rosenschein

Organizations

  • RAND Corporation

Tags

Communities of Interest

  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Arithmetic
  • Artificial Intelligence
  • Artificial Intelligence Software
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Corporations
  • Data Storage Systems
  • Directories
  • Expert Systems
  • High Level Languages
  • Language
  • Law
  • Operating Systems
  • Programming Languages
  • Square Roots

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computational Linguistics

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Translation