QA4: a procedural calculus for intuitive reasoning

Front Cover
Stanford research institute, 1972 - Education - 363 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

TABLE OF CONTENTS
1
CONTROL ll
11
ORGANIZATION
19

27 other sections not shown

Common terms and phrases