Machinations: Computational Studies of Logic, Language, and Cognition

Front Cover
Richard Spencer-Smith, Stephen B. Torrance
Ablex Publishing Corporation, 1992 - Computers - 234 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

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


Definitions and Prolog
Constructive Logic and Computation
The Changing Relationship between AI Programming

4 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information