In the Tenth Turing Lecture, Allen Newell and Herbert Simon state that “Symbols lie at the root of intelligent action...” . 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.
KeywordsLogic Programming Fundamental Operation Prolog Program Symbolic Processing Parent Procedure
Unable to display preview. Download preview PDF.