Robot Problem Solving Without State Variable

Abstract

In the original robot problem-solving system based upon an idea presented by Green, situations were described by axioms of first-order logic that explicitly included terms representing states. Theorem proving by resolution was then used to prove, constructively, the existence of a state having the properties of a desired goal.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1970
Accession Number
AD1015720

Entities

People

  • Bertram Raphael

Organizations

  • SRI International

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Aeronautics
  • Artificial Intelligence
  • Coding
  • Construction
  • Contracts
  • Demographic Cohorts
  • Efficiency
  • Executives
  • Identification
  • Identities
  • Mathematics
  • Measurement
  • Notation
  • Procedures (Computers)
  • Sequences
  • Time Dependence
  • Transitions

Readers

  • Artificial Intelligence
  • Calculus or Mathematical Analysis
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Machine Learning Algorithms
  • Autonomy