Accession Number : AD0771392

Title :   Synthesis of Failure-Safe Operations.

Descriptive Note : Technical summary rept.,

Corporate Author : WISCONSIN UNIV MADISON MATHEMATICS RESEARCH CENTER

Personal Author(s) : Rivas,J. Roberto ; Rudd,Dale F.

Report Date : OCT 1973

Pagination or Media Count : 35

Abstract : The computer-aided synthesis of failure safe operations is similar in theory to computer-aided chess playing. Industrially significant problems are solved by move continuation look ahead from a hierarchy of operation goals. (Author)

Descriptors :   *COMPUTER PROGRAMMING, *COMPUTER APPLICATIONS, *ARTIFICIAL INTELLIGENCE, *RELIABILITY, FAILURE, MATHEMATICAL LOGIC, SYNTHESIS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE