Accession Number:

ADA052440

Title:

QA4: A Procedural Calculus for Intuitive Reasoning.

Descriptive Note:

Technical note,

Corporate Author:

STANFORD RESEARCH INST MENLO PARK CALIF

Report Date:

1972-11-01

Pagination or Media Count:

354.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE