Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items

  • Keywords: computational procedure x
Clear All Modify Search

View:

A Procedure for Thinking

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0002
Subject:
Computer Science, Artificial Intelligence

Chapter 1 showed that simple forms of thinking could be profitably understood as drawing conclusions from a large collection of sentences called a knowledge base. Leibniz's idea was that the rules of ... More


View: