Computational logic and human thinking: how to be artificially intelligent
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 fi...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2011
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xxii, 310 pages) |
| ISBN: | 9780511984747 |
| DOI: | 10.1017/CBO9780511984747 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043944046 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511984747 |c Online |9 978-0-511-98474-7 | ||
| 024 | 7 | |a 10.1017/CBO9780511984747 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511984747 | ||
| 035 | |a (OCoLC)949924845 | ||
| 035 | |a (DE-599)BVBBV043944046 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Kowalski, Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computational logic and human thinking |b how to be artificially intelligent |c Robert Kowalski |
| 246 | 1 | 3 | |a Computational Logic & Human Thinking |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2011 | |
| 300 | |a 1 online resource (xxii, 310 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a 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 | |
| 520 | |a 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 | ||
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Computational intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical / Famous problems | |
| 650 | 4 | |a Rhetoric / Mathematics | |
| 650 | 4 | |a Communication / Philosophy | |
| 650 | 4 | |a Reasoning | |
| 650 | 4 | |a Critical thinking | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logisches Denken |0 (DE-588)4323319-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 0 | 1 | |a Logisches Denken |0 (DE-588)4323319-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-12336-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-19482-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511984747 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029353017 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511984747 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511984747 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176888523915264 |
|---|---|
| any_adam_object | |
| author | Kowalski, Robert |
| author_facet | Kowalski, Robert |
| author_role | aut |
| author_sort | Kowalski, Robert |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV043944046 |
| classification_rvk | CC 2500 ST 300 |
| collection | ZDB-20-CBO |
| 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 |
| ctrlnum | (ZDB-20-CBO)CR9780511984747 (OCoLC)949924845 (DE-599)BVBBV043944046 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Philosophie |
| doi_str_mv | 10.1017/CBO9780511984747 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04094nmm a2200649zc 4500</leader><controlfield tag="001">BV043944046</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511984747</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-98474-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511984747</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511984747</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)949924845</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043944046</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kowalski, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational logic and human thinking</subfield><subfield code="b">how to be artificially intelligent</subfield><subfield code="c">Robert Kowalski</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Computational Logic & Human Thinking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxii, 310 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Famous problems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rhetoric / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communication / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Critical thinking</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logisches Denken</subfield><subfield code="0">(DE-588)4323319-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logisches Denken</subfield><subfield code="0">(DE-588)4323319-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-12336-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-19482-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511984747</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029353017</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511984747</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511984747</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043944046 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:20Z |
| institution | BVB |
| isbn | 9780511984747 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029353017 |
| oclc_num | 949924845 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xxii, 310 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Kowalski, Robert Verfasser aut Computational logic and human thinking how to be artificially intelligent Robert Kowalski Computational Logic & Human Thinking Cambridge Cambridge University Press 2011 1 online resource (xxii, 310 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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 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 Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical / Famous problems Rhetoric / Mathematics Communication / Philosophy Reasoning Critical thinking Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Logisches Denken (DE-588)4323319-3 gnd rswk-swf Computational logic (DE-588)4255672-7 s Logisches Denken (DE-588)4323319-3 s 1\p DE-604 Künstliche Intelligenz (DE-588)4033447-8 s 2\p DE-604 Erscheint auch als Druckausgabe 978-0-521-12336-5 Erscheint auch als Druckausgabe 978-0-521-19482-2 https://doi.org/10.1017/CBO9780511984747 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kowalski, Robert Computational logic and human thinking how to be artificially intelligent 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 Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical / Famous problems Rhetoric / Mathematics Communication / Philosophy Reasoning Critical thinking Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd Logisches Denken (DE-588)4323319-3 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4255672-7 (DE-588)4323319-3 |
| title | Computational logic and human thinking how to be artificially intelligent |
| title_alt | Computational Logic & Human Thinking |
| title_auth | Computational logic and human thinking how to be artificially intelligent |
| title_exact_search | Computational logic and human thinking how to be artificially intelligent |
| title_full | Computational logic and human thinking how to be artificially intelligent Robert Kowalski |
| title_fullStr | Computational logic and human thinking how to be artificially intelligent Robert Kowalski |
| title_full_unstemmed | Computational logic and human thinking how to be artificially intelligent Robert Kowalski |
| title_short | Computational logic and human thinking |
| title_sort | computational logic and human thinking how to be artificially intelligent |
| title_sub | how to be artificially intelligent |
| topic | Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical / Famous problems Rhetoric / Mathematics Communication / Philosophy Reasoning Critical thinking Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd Logisches Denken (DE-588)4323319-3 gnd |
| topic_facet | Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical / Famous problems Rhetoric / Mathematics Communication / Philosophy Reasoning Critical thinking Künstliche Intelligenz Computational logic Logisches Denken |
| url | https://doi.org/10.1017/CBO9780511984747 |
| work_keys_str_mv | AT kowalskirobert computationallogicandhumanthinkinghowtobeartificiallyintelligent AT kowalskirobert computationallogichumanthinking |