skip to content
Computational logic and human thinking : how to be artificially intelligent Preview this item
ClosePreview this item
Checking...

Computational logic and human thinking : how to be artificially intelligent

Author: Robert Kowalski
Publisher: Cambridge : Cambridge University Press, 2011.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Computational logic and human thinking
(NL-LeOCL)339105437
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Robert Kowalski
ISBN: 0521194822 9780521194822 9780521123365 0521123364
OCLC Number: 781905789
Description: xxii, 310 p. : ill. ; 24 cm
Contents: Introduction --
1. Logic on the underground --
2. The psychology of logic --
3. The fox and the crow --
4. Search --
5. Negation as failure --
6. How to become a British citizen --
7. The louse and the Mars explorer --
8. Maintenance goals as the driving force of life --
9. The meaning of life --
10. Abduction --
11. The prisoner's dilemma --
12. Motivations matter --
13. The changing world --
14. Logic and objects --
15. Biconditionals --
16. Computational logic and the selection task --
17. Meta-logic --
Conclusions of the book.
Responsibility: Robert Kowalski.

Abstract:

Robert Kowalski demonstrates how ordinary people in their everyday life can profit from the advances of computational logic that have been developed for artificial intelligence. This book is an  Read more...

Reviews

Editorial reviews

Publisher Synopsis

'[This book] is a superb introduction both to AI from within a computational logic framework and to its application to human rationality and reasoning. Nothing else comes close. Kowalski writes with Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/781905789> # Computational logic and human thinking : how to be artificially intelligent
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "781905789" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/788700580#Place/cambridge> ; # Cambridge
   schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/logica> ; # Logica
   schema:about <http://id.worldcat.org/fast/871995> ; # Computational intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/besliskunde> ; # Besliskunde
   schema:about <http://id.worldcat.org/fast/869981> ; # Communication--Philosophy
   schema:about <http://id.worldcat.org/fast/1765551> ; # Logic, Symbolic and mathematical--Famous problems
   schema:about <http://id.loc.gov/authorities/subjects/sh2005003533> ; # Logic, Symbolic and mathematical--Famous problems
   schema:about <http://id.worldcat.org/fast/883692> ; # Critical thinking
   schema:about <http://id.loc.gov/authorities/subjects/sh2008101311> ; # Communication--Philosophy
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/rhetoric_mathematics> ; # Rhetoric--Mathematics
   schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/164403553> ; # Robert A. Kowalski
   schema:datePublished "2011" ;
   schema:description ""The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"--. "The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English."" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/788700580> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/788700580#CreativeWork/computational_logic_and_human_thinking> ;
   schema:name "Computational logic and human thinking : how to be artificially intelligent" ;
   schema:numberOfPages "310" ;
   schema:productID "781905789" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/781905789#PublicationEvent/cambridge_cambridge_university_press_2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/788700580#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://assets.cambridge.org/97805211/94822/cover/9780521194822.jpg> ;
   schema:workExample <http://worldcat.org/isbn/9780521123365> ;
   schema:workExample <http://worldcat.org/isbn/9780521194822> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB124690> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/781905789> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/788700580#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie" ;
    .

<http://id.loc.gov/authorities/subjects/sh2005003533> # Logic, Symbolic and mathematical--Famous problems
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical--Famous problems" ;
    .

<http://id.loc.gov/authorities/subjects/sh2008101311> # Communication--Philosophy
    a schema:Intangible ;
   schema:name "Communication--Philosophy" ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
   schema:name "Reasoning" ;
    .

<http://id.worldcat.org/fast/1765551> # Logic, Symbolic and mathematical--Famous problems
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical--Famous problems" ;
    .

<http://id.worldcat.org/fast/869981> # Communication--Philosophy
    a schema:Intangible ;
   schema:name "Communication--Philosophy" ;
    .

<http://id.worldcat.org/fast/871995> # Computational intelligence
    a schema:Intangible ;
   schema:name "Computational intelligence" ;
    .

<http://id.worldcat.org/fast/883692> # Critical thinking
    a schema:Intangible ;
   schema:name "Critical thinking" ;
    .

<http://viaf.org/viaf/164403553> # Robert A. Kowalski
    a schema:Person ;
   schema:familyName "Kowalski" ;
   schema:givenName "Robert A." ;
   schema:givenName "Robert" ;
   schema:name "Robert A. Kowalski" ;
    .

<http://worldcat.org/entity/work/data/788700580#CreativeWork/computational_logic_and_human_thinking>
    a schema:CreativeWork ;
   rdfs:label "Computational logic and human thinking" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/781905789> ; # Computational logic and human thinking : how to be artificially intelligent
    .

<http://worldcat.org/isbn/9780521123365>
    a schema:ProductModel ;
   schema:isbn "0521123364" ;
   schema:isbn "9780521123365" ;
    .

<http://worldcat.org/isbn/9780521194822>
    a schema:ProductModel ;
   schema:isbn "0521194822" ;
   schema:isbn "9780521194822" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.