Application of Intelligent Automata to Reconnaissance

Abstract

Research in the application of techniques of artificial intelligence to the control of a mobile automaton in a realistic environment is described. The main emphasis is on experimentation with a previously-developed system of hardware and software, and on research in several related areas of artificial intelligence where new efforts have been necessary to increase the capabilities of the automaton. Major areas discussed include the use of formal theorem-proving techniques of first-order logic in solving problems for the automaton; symbolic information structures for modeling the automaton's environment; results in visual scene analysis, including a decision-tree approach and the use of regional as well as local analysis; and an outline for the design of a problem-solving system based on higher-order logic.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1969
Accession Number
AD0868871

Entities

People

  • Bertram Raphael
  • Charles A. Rosen
  • John H. Munson
  • L. S. Coles
  • Richard O. Duda
  • Robert A. Yates
  • Thomas D. Garvey

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Coordinate Systems
  • Databases
  • Geometry
  • Government (Foreign)
  • Governments
  • Gray Scale
  • Identification
  • Language
  • Natural Languages
  • New York
  • Psychology
  • Recognition

Fields of Study

  • Computer science

Readers

  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Mathematical Modeling and Probability Theory.
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Learning Algorithms