Axiomatic Analysis

Abstract

The basic concepts of the HOS systems theory and design methodology are developed. Notions like structure, data type, variable, value, function, tree, node, data structure, primitive operations, and universal primitive operations are elaborated and a distinction is drawn between a theory as a discovery procedure and as a set of constraints. Functions, algebras, and control maps are discussed in connection with data type specification, and the potential use of HOS in artificial intelligence and cognitive modelling is explored, including the possible use of HOS as a model for lexical semantics. Some mathematical results relating the HOS primitive control structures to mathematical category theory are derived and the relevance of the theory of fuzzy sets and fuzzy logic to the BMD environment is examined. Four notational frameworks for specifying BMD-related systems and requirements are compared and evaluated along the dimensions of expressive power and perspicuity.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1978
Accession Number
ADB031358

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Ballistic Missiles
  • Cognition
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Fuzzy Logic
  • Fuzzy Sets
  • Linguistics
  • Mathematics
  • Operating Systems
  • Set Theory
  • Software Development
  • Standards
  • Systems Engineering
  • Test And Evaluation

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy