Accession Number : AD0710209

Title :   RESOLUTION IN FIRST ORDER THEORIES.

Descriptive Note : Technical rept.,

Corporate Author : NAVAL WEAPONS LAB DAHLGREN VA

Personal Author(s) : Huber,Hartmut G. M. ; Morris,Alfred H. , Jr

Report Date : JUL 1970

Pagination or Media Count : 59

Abstract : The basic principles that are involved in resolution theory for first order theories are examined. Resolution theory is developed from an axiomatic point of view, which provides a general foundation for specific proof finding strategies in first order theories. Most of the specific strategies that have been formulated for the predicate calculus are presented as natural applications of this theory. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, THEOREMS), (*ARTIFICIAL INTELLIGENCE, FEASIBILITY STUDIES), LEARNING MACHINES, SET THEORY, DECISION MAKING

Subject Categories : Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE