By Hector J. Levesque

This ebook courses scholars via an exploration of the concept pondering can be understood as a sort of computation. scholars make the relationship among considering and computing by means of studying to jot down laptop courses for quite a few initiatives that require inspiration, together with fixing puzzles, realizing typical language, spotting gadgets in visible scenes, making plans classes of motion, and taking part in strategic video games. the cloth is gifted with minimum technicalities and is available to undergraduate scholars with out really expert wisdom or technical heritage past highschool arithmetic. scholars use Prolog (without having to profit algorithms: "Prolog with out tears!"), studying to specific what they wish as a Prolog application and letting Prolog look for solutions. After an advent to the fundamental techniques, Thinking as Computation deals 3 chapters on Prolog, protecting back-chaining, courses and queries, and the way to write down the kinds of Prolog courses utilized in the ebook. The e-book follows this with case reviews of initiatives that seem to require concept, then seems past Prolog to think about studying, explaining, and propositional reasoning. many of the chapters finish with brief bibliographic notes and workouts. The e-book is predicated on a well-liked direction on the collage of Toronto and will be utilized in quite a few lecture room contexts, through scholars starting from first-year liberal arts undergraduates to extra technically complicated laptop technological know-how students.

Show description

Read or Download Thinking as Computation: A First Course (MIT Press) PDF

Best ai & semantics books

Download e-book for iPad: Contextual Computing: Models and Applications (Cognitive by Robert Porzel

Contemporary advances within the fields of data illustration, reasoning and human-computer interplay have cleared the path for a singular method of treating and dealing with context. the sector of analysis provided during this booklet addresses the matter of contextual computing in man made intelligence in keeping with the state-of-the-art in wisdom illustration and human-computer interplay.

Read e-book online Data Intensive Computing for Biodiversity (Studies in PDF

This ebook is concentrated at the improvement of an information integration framework for retrieval of biodiversity details from heterogeneous and disbursed information assets. the information integration process proposed during this e-book hyperlinks distant databases in a networked surroundings, helps heterogeneous databases and knowledge codecs, hyperlinks databases hosted on a number of systems, and gives facts safety for database vendors through letting them continue and preserve their very own information and to decide on info to be shared and associated.

Innovations in Intelligent Machines-4: Recent Advances in - download pdf or read online

This examine quantity is a continuation of our past volumes on clever computer. it's divided into 3 elements. half I bargains with monstrous information and ontologies. It contains examples regarding the textual content mining, rule mining and ontology. half II is on knowledge-based structures. It contains context-centered structures, wisdom discovery, interoperability, consistency and platforms of platforms.

Get Recent Advances in Computational Intelligence in Defense and PDF

This quantity is an initiative undertaken by way of the IEEE Computational Intelligence Society’s activity strength on protection, Surveillance and security to consolidate and disseminate the function of CI thoughts within the layout, improvement and deployment of safeguard and protection recommendations. functions variety from the detection of buried explosive dangers in a battlefield to the keep watch over of unmanned underwater cars, the supply of more desirable video analytics for safeguarding severe infrastructures or the improvement of greater intrusion detection platforms and the layout of army surveillance networks.

Additional info for Thinking as Computation: A First Course (MIT Press)

Example text

Download PDF sample

Thinking as Computation: A First Course (MIT Press) by Hector J. Levesque

by Edward

Rated 4.37 of 5 – based on 48 votes