Accession Number : AD0691788

Title :   A MACHINE-ORIENTED FORMULATION OF THE EXTENDED FUNCTIONAL CALCULUS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Hayes,Patrick J.

Report Date : 1969

Pagination or Media Count : 45

Abstract : The Extended Functional Calculus (EFC), a three-valued predicate calculus intended as a language in which to reason about the results of computations, is described in some detail. A formal semantics is given. A machine-oriented (axiomless) inference system for EFC is then described and its completness relative to the semantics is proved by the method of Semantic Trees. Finally some remarks are made on efficiency. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, LINGUISTICS), ARTIFICIAL INTELLIGENCE, SEMANTICS, THEOREMS

Subject Categories : Linguistics
      Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE