Mathematics of the Brain using KEEL Technology

Abstract

Isaac Newton invented differential calculus. His only tools were pencil and paper. If he had access to computers with high resolution displays, he might have invented something else. This paper proposes the application of Compsim's proprietary Knowledge Enhanced Electronic Logic ("KEEL") technology as a new way to mathematically model decisions and actions that have historically been left to humans (judgment and reasoning are "right brain" parallel processing functions). The KEEL "dynamic graphical language" will be employed as a way to capture, test, package, audit, and explain human-like reasoning that could then be deployed in software applications and devices. The graphical nature of the "language" provides the notation ("the act or practice of recording anything by marks, figures, or characters.") that describes how variables are displayed allows the "importance of information to be visualized" which is important for modeling reasoning and judgment. Explicit functional relationships are shown graphically, which allows complex inter-relationships to be traced (nothing is "hidden"). The "dynamic" nature of the "dynamic" graphical language allows one to interact with the models as they are created and tested. KEEL is not a data flow language. If "mathematics" is considered a way to define information in an explicit way, then KEEL might be considered a new way to explicitly define solutions to complex, dynamic, non-linear, inter-related, multi-dimensional problem sets that are commonly addressed by humans. As weapon systems, medical systems, financial systems, power systems, etc. are automated and mechanized there must be a way to describe their behavior in a mathematically explicit manner. KEEL Technology not only provides the methodology of describing these "models/policies" as a new form of notation, but it is tied directly to the methodology for processing the policies on a digital computer or packaging them as digital/analog hybrid circuits.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2009
Accession Number
ADA501701

Tags

Communities of Interest

  • Biomedical
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computers
  • Control Systems
  • Digital Computers
  • High Resolution
  • Hybrid Circuits
  • Information Systems
  • Judgment
  • Language
  • Mathematical Models
  • Mathematics
  • Models
  • Notation
  • Parallel Computing
  • Parallel Processing
  • Reasoning
  • Weapon Systems

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Systems Analysis and Design

Technology Areas

  • Microelectronics