This book guides students through an exploration of the idea that
thinking might be understood as a form of computation. Students make
the connection between thinking and computing by learning to write
computer programs for a variety of tasks that require thought, including
solving puzzles, understanding natural language, recognizing objects
in visual scenes, planning courses of action, and playing strategic
games. The material is presented with minimal technicalities and
is accessible to undergraduate students with no specialized knowledge
or technical background beyond high school mathematics. Students
use Prolog (without having to learn algorithms: 'Prolog without tears!'),
learning to express what they need as a Prolog program and letting
Prolog search for answers. After an introduction to the basic concepts,
Thinking as Computation offers three chapters on Prolog, covering
back-chaining, programs and queries, and how to write the sorts of
Prolog programs used in the book. The book follows this with case
studies of tasks that appear to require thought, then looks beyond
Prolog to consider learning, explaining, and propositional reasoning.
%0 Book
%1 Levesque12
%A Levesque, Hector J.
%C Cambridge, MA
%D 2012
%I MIT Press
%K 01801 103 ai book development knowledge logic mitpress processing prolog rules software
%R 10.7551/mitpress/9780262016995.001.0001
%T Thinking as Computation: A First Course
%X This book guides students through an exploration of the idea that
thinking might be understood as a form of computation. Students make
the connection between thinking and computing by learning to write
computer programs for a variety of tasks that require thought, including
solving puzzles, understanding natural language, recognizing objects
in visual scenes, planning courses of action, and playing strategic
games. The material is presented with minimal technicalities and
is accessible to undergraduate students with no specialized knowledge
or technical background beyond high school mathematics. Students
use Prolog (without having to learn algorithms: 'Prolog without tears!'),
learning to express what they need as a Prolog program and letting
Prolog search for answers. After an introduction to the basic concepts,
Thinking as Computation offers three chapters on Prolog, covering
back-chaining, programs and queries, and how to write the sorts of
Prolog programs used in the book. The book follows this with case
studies of tasks that appear to require thought, then looks beyond
Prolog to consider learning, explaining, and propositional reasoning.
%@ 978-0-262-01699-5
@book{Levesque12,
abstract = {This book guides students through an exploration of the idea that
thinking might be understood as a form of computation. Students make
the connection between thinking and computing by learning to write
computer programs for a variety of tasks that require thought, including
solving puzzles, understanding natural language, recognizing objects
in visual scenes, planning courses of action, and playing strategic
games. The material is presented with minimal technicalities and
is accessible to undergraduate students with no specialized knowledge
or technical background beyond high school mathematics. Students
use Prolog (without having to learn algorithms: 'Prolog without tears!'),
learning to express what they need as a Prolog program and letting
Prolog search for answers. After an introduction to the basic concepts,
Thinking as Computation offers three chapters on Prolog, covering
back-chaining, programs and queries, and how to write the sorts of
Prolog programs used in the book. The book follows this with case
studies of tasks that appear to require thought, then looks beyond
Prolog to consider learning, explaining, and propositional reasoning.},
added-at = {2018-08-26T15:42:10.000+0200},
address = {Cambridge, MA},
author = {Levesque, Hector J.},
biburl = {https://www.bibsonomy.org/bibtex/254dbd6f3bbff83c67488eaf3a1884500/flint63},
doi = {10.7551/mitpress/9780262016995.001.0001},
file = {eBook:2012/Levesque12.pdf:PDF;MIT Press Product Page:https\://mitpress.mit.edu/books/thinking-computation:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/0262016990/:URL},
interhash = {22aa4b69fbf61ff954e47e3d848c6ebc},
intrahash = {54dbd6f3bbff83c67488eaf3a1884500},
isbn = {978-0-262-01699-5},
keywords = {01801 103 ai book development knowledge logic mitpress processing prolog rules software},
owner = {flint},
publisher = {MIT Press},
timestamp = {2018-08-26T15:42:10.000+0200},
title = {Thinking as Computation: A First Course},
year = 2012
}