{"type":"ScholarlyArticle","title":"Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs","authors":[{"name":"Erik Sandewall","slug":"erik-sandewall","given":"Erik","family":"Sandewall","affiliation":""}],"abstract":"The paper considers the problem of converting axioms in predicate calculus to deterministic programs, which are to be used as \"rules\" by a GPS-type supervisor. It is shown that this can be done, but that the \"objects\" must then contain procedure closures or \"FUNARG-expressions\" which are later applied.","doi":null,"url":"https://ijcai.org/proceedings/1973/30","pdf":"https://ijcai.org/proceedings/1973/0030.pdf","markdown":"https://ijcai.org/proceedings/1973/30.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/30","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Formalisms for A.I.","track":"Formalisms for A.I.","number":30,"pages":{"first":230,"last":233},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}