## Advance Papers, Volume 1 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Formulas W Bledsoe | 15 |

Blum L Blum | 22 |

On Methods To Decide Solvability Of Transformation | 29 |

Copyright | |

18 other sections not shown

### Other editions - View all

### Common terms and phrases

action applied arguments Artificial Intelligence axioms called clause component concept consider construction contains context deduction defined definition denotes derived described domain element equation example expression false finite formal formulas function gen f given go-on goal grammar graph heuristic Horn clause implementation inference input instance interpretation jnode knowledge LISP literal logic match method natural language node object occur operator pattern pointer positive unit possible pr's predicate predicate calculus Presburger Arithmetic problem space procedure produce Project MAC proof properties PUP6 quantifiers recursive relation representation represented result robot rules rules of inference scenario Schank semantic semantic network sentence sequence situation solution solving specified statement strategy structure subgoal subset substitution symbol syntactic synthesized theorem proving theory tion truth value unifier universally quantified variables verb