Machinations: Computational Studies of Logic, Language, and Cognition
Richard Spencer-Smith, Stephen B. Torrance
Ablex Publishing Corporation, 1992 - Computers - 234 pages
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.
23 pages matching strategy in this book
Results 1-3 of 23
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
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