The Community for Technology Leaders
Green Image
Issue No. 04 - April (1976 vol. 25)
ISSN: 0018-9340
pp: 342-346
E. Sandewall , Linkoeping University
ABSTRACT
The problem of converting axioms in predicate calculus to deterministic programs, which are to be used as "rules" by a general problem solver (GPS)-type supervisor is considered. It is shown that this can be done, but that the "objects" must then contain procedure closures or "FUNARG-expressions" which are later applied.
INDEX TERMS
Closure, deduction, FUNARG-expression, nondeterministic, retrieval, theorem proving.
CITATION
E. Sandewall, "Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs", IEEE Transactions on Computers, vol. 25, no. , pp. 342-346, April 1976, doi:10.1109/TC.1976.1674615
113 ms
(Ver 3.1 (10032016))