In the Tenth Turing Lecture, Allen Newell and Herbert Simon state that “Symbols lie at the root of intelligent action...” [43]. To design and produce intelligent computing systems, it follows that systems capable of processing symbols are required. Such computers will adhere to a model of computation based on what Newell and Simon term formal symbol systems. The intent in this book is to develop the principles by which high performance symbolic processors can be designed.


Logic Programming Fundamental Operation Prolog Program Symbolic Processing Parent Procedure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1990

Authors and Affiliations

  • T. P. Dobry
    • 1
  1. 1.University of Hawaii at ManoaHawaii

Personalised recommendations