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 ; New York : Cambridge University Press, 2011.
Edition/Format:   eBook : Document : 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 in the library

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

Details

Additional Physical Format: Version imprimée :
Kowalski, Robert.
Computational logic and human thinking.
Cambridge ; New York : Cambridge University Press, 2011
(DLC) 2011002461
(OCoLC)703104460
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert Kowalski
ISBN: 9781139101417 1139101412 9781139099400 113909940X 9780511984747 051198474X 9781139103213 1139103210 9781283306980 1283306980 9781139100755 1139100750
OCLC Number: 1104455890
Description: 1 ressource en ligne (xxii, 310 pages) : illustrations.
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:

"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"--

Reviews

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/1104455890> # Computational logic and human thinking : how to be artificially intelligent
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "1104455890" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/788700580#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/computational_intelligence> ; # Computational intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/logic_symbolic_and_mathematical_famous_problems> ; # Logic, Symbolic and mathematical--Famous problems
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/rhetoric_mathematics> ; # Rhetoric--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/communication_philosophy> ; # Communication--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/rhetorique_mathematiques> ; # Rhétorique--Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/reasoning> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/intelligence_informatique> ; # Intelligence informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/pensee_critique> ; # Pensée critique
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/logique_symbolique_et_mathematique_problemes_classiques> ; # Logique symbolique et mathématique--Problèmes classiques
    schema:about <http://experiment.worldcat.org/entity/work/data/788700580#Topic/critical_thinking> ; # Critical thinking
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/788700580#Person/kowalski_robert> ; # Robert Kowalski
    schema:datePublished "2011" ;
    schema:description "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." ;
    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"--" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/788700580> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/703104460> ;
    schema:name "Computational logic and human thinking : how to be artificially intelligent" ;
    schema:productID "1104455890" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1104455890#PublicationEvent/cambridge_new_york_cambridge_university_press_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/788700580#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <https://apps.uqo.ca/LoginSigparb/LoginPourRessources.aspx?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=375916> ;
    schema:url <http://proxy.uqtr.ca/login.cgi?action=login&u=uqtr&db=ebsco&ezurl=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=375916> ;
    schema:url <http://proxy.cegepat.qc.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=375916> ;
    schema:workExample <http://worldcat.org/isbn/9781139100755> ;
    schema:workExample <http://worldcat.org/isbn/9781139101417> ;
    schema:workExample <http://worldcat.org/isbn/9780511984747> ;
    schema:workExample <http://worldcat.org/isbn/9781283306980> ;
    schema:workExample <http://worldcat.org/isbn/9781139099400> ;
    schema:workExample <http://worldcat.org/isbn/9781139103213> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1104455890> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<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#Person/kowalski_robert> # Robert Kowalski
    a schema:Person ;
    schema:familyName "Kowalski" ;
    schema:givenName "Robert" ;
    schema:name "Robert Kowalski" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/communication_philosophy> # Communication--Philosophy
    a schema:Intangible ;
    schema:name "Communication--Philosophy" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/computational_intelligence> # Computational intelligence
    a schema:Intangible ;
    schema:name "Computational intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/critical_thinking> # Critical thinking
    a schema:Intangible ;
    schema:name "Critical thinking" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/intelligence_informatique> # Intelligence informatique
    a schema:Intangible ;
    schema:name "Intelligence informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/logic_symbolic_and_mathematical_famous_problems> # Logic, Symbolic and mathematical--Famous problems
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical--Famous problems" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/logique_symbolique_et_mathematique_problemes_classiques> # Logique symbolique et mathématique--Problèmes classiques
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Problèmes classiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/pensee_critique> # Pensée critique
    a schema:Intangible ;
    schema:name "Pensée critique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/rhetoric_mathematics> # Rhetoric--Mathematics
    a schema:Intangible ;
    schema:name "Rhetoric--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/788700580#Topic/rhetorique_mathematiques> # Rhétorique--Mathématiques
    a schema:Intangible ;
    schema:name "Rhétorique--Mathématiques"@fr ;
    .

<http://worldcat.org/isbn/9780511984747>
    a schema:ProductModel ;
    schema:isbn "051198474X" ;
    schema:isbn "9780511984747" ;
    .

<http://worldcat.org/isbn/9781139099400>
    a schema:ProductModel ;
    schema:isbn "113909940X" ;
    schema:isbn "9781139099400" ;
    .

<http://worldcat.org/isbn/9781139100755>
    a schema:ProductModel ;
    schema:isbn "1139100750" ;
    schema:isbn "9781139100755" ;
    .

<http://worldcat.org/isbn/9781139101417>
    a schema:ProductModel ;
    schema:isbn "1139101412" ;
    schema:isbn "9781139101417" ;
    .

<http://worldcat.org/isbn/9781139103213>
    a schema:ProductModel ;
    schema:isbn "1139103210" ;
    schema:isbn "9781139103213" ;
    .

<http://worldcat.org/isbn/9781283306980>
    a schema:ProductModel ;
    schema:isbn "1283306980" ;
    schema:isbn "9781283306980" ;
    .

<http://www.worldcat.org/oclc/703104460>
    a schema:CreativeWork ;
    rdfs:label "Computational logic and human thinking." ;
    schema:description "Version imprimée :" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1104455890> ; # Computational logic and human thinking : how to be artificially intelligent
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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