A MACHINE-ORIENTED FORMULATION OF THE EXTENDED FUNCTIONAL CALCULUS,

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)

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1969
Accession Number
AD0691788

Entities

People

  • Patrick J. Hayes

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Calculus
  • Computations
  • Computer Languages
  • Efficiency
  • Formal Languages
  • Functional Analysis
  • Language
  • Linguistics
  • Mathematics
  • Semantics

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms