QA4: A Procedural Calculus for Intuitive Reasoning.

Abstract

This report presents a language, called QA4, designed to facilitate the construction of problem-solving systems used for robot planning, theorem proving, and automatic program synthesis and verification. QA4 integrates an omega-order logic language with canonical composition, associative retrieval, and pattern matching of expressions; process structure programming; goal-directed searching; and demons. Thus it provides many useful programming aids. More importantly, however, it provides a semantic framework for common sense reasoning about these problem domains. The interpreter for the language is extraordinarily general, and is therefore an adaptable tool for developing the specialized techniques of intuitive, symbolic reasoning used by the intelligent systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1972
Accession Number
ADA052440

Entities

People

  • Jan A. Derksen
  • Johns F. Rulifson
  • Richard J. Waldinger

Organizations

  • SRI International

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Artificial Intelligence
  • Automatic Programming
  • Calculus
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Debugging
  • Design Criteria
  • Failure Mode And Effect Analysis
  • Formal Languages
  • Intelligent Systems
  • Programming Languages
  • Standards
  • Template Patterns

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Information Retrieval

Technology Areas

  • AI & ML
  • AI & ML - Information Retrieval
  • AI & ML - Machine Learning Algorithms
  • Autonomy
  • Autonomy - Autonomous System Control