## Machinations: Computational Studies of Logic, Language, and CognitionRichard Spencer-Smith, Stephen B. Torrance This volume brings together a collection of papers covering a wide range of topics in computer and cognitive science. Topics included are: the foundational relevance of logic to computer science, with particular reference to tense logic, constructive logic, and Horn clause logic; logic as the theoretical underpinnings of the engineering discipline of expert systems; a discussion of the evolution of computational linguistics into functionally distinct task levels; and current issues in the implementation of speech act theory. |

### What people are saying - Write a review

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

### Contents

Definitions and Prolog | 31 |

Constructive Logic and Computation | 55 |

The Changing Relationship between AI Programming | 91 |

Copyright | |

4 other sections not shown

### Other editions - View all

### Common terms and phrases

algorithm analysis applied approach artificial intelligence assumptions Bundy cause chart parsing classical cognitive computational linguistics concept conditional obligation connectives constructive context-free Cosmides database DeJong deontic deontic logic describe discourse domain example expectation expert systems explanation explanation-based learning expressive power fact failure feature set Figure fork formula Gergonne definition given goal GPSG heuristics Horn clauses inform(s h initial model input string instance interpretation justification structure knowledge base logic programming logical form Machine learning mathematical means microfeatural modal natural language processing natural numbers NLP systems noun phrase object grammar parsing particular PDP model Pinker and Prince planner possible predicate predicate logic problem procedure programming language Prolog program proof plan question reasoning relation representation Scenario schemas selection task semantics sentence speaker specific speech act strategy symbol syntactic Tarski definition techniques temporal logic theorem theory threat true variables