Advances in artificial intelligence: proceedings of the 1987 AISB conference, University of Edinburgh, 6-10 April 1987
Wiley, Jun 22, 1987 - Technology & Engineering - 290 pages
Brings together papers on fundamental AI research and its potential in creating new applications. Each explores an aspect of the classical problem for researchers in this field: how to produce intelligent behavior by constructing systems capable of representing and reasoning about the world. Topics include representing and reasoning about: time, physical objects, belief, human problem solving, and linguistic structure. The papers in this work build on previous AI research, adding a new seriousness and rigor associated with current, ever-increasing use of formal techniques.
16 pages matching predicate in this book
Results 1-3 of 16
What people are saying - Write a review
We haven't found any reviews in the usual places.
Connectionism and Cognitive Science
The Lexicon Grammatical Categories and Temporal Reasoning
15 other sections not shown
agent algorithm analysis Artificial Intelligence atypical beliefs chart parsing clause cognitive complete Computer Science connection connectionism connectionist models constraints context-free context-free grammar database debugging defined definition denotes described dialogue interface domain dummy duration error evaluation example expert systems expressions Figure first-order logic flaw formal formula tree front-end given GPSG graph h-tokens heuristic human ID rule ID/LP grammars implementation inference input interpretation intervals knowledge knowledge representation LEGAS LP rules machine mapping meta-beliefs modal logic modal temporal model theory module motion natural language node paper parser parsing path phone number possible predicate prefixes Prolog proof qualitative vectors reasoning recursion reference representation represented right angle semantic tableaux sentence sequence solution space statistical inference strategy string structure tableau techniques temporal logics temporal relations theorem theory transfer of learning tuple University of Sussex variable X-formula