Computational logic and human thinking: how to be artificially intelligent
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Edition: | 1. publ. |
| Subjects: | |
| Links: | http://assets.cambridge.org/97805211/94822/cover/9780521194822.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024148181&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Physical Description: | XXII, 310 S. graph. Darst. |
| ISBN: | 9780521194822 9780521123365 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039129806 | ||
| 003 | DE-604 | ||
| 005 | 20190703 | ||
| 007 | t| | ||
| 008 | 110711s2011 xxkd||| |||| 00||| eng d | ||
| 010 | |a 2011002461 | ||
| 020 | |a 9780521194822 |c hardback |9 978-0-521-19482-2 | ||
| 020 | |a 9780521123365 |c pbk |9 978-0-521-12336-5 | ||
| 035 | |a (OCoLC)745499639 | ||
| 035 | |a (DE-599)BVBBV039129806 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB | ||
| 049 | |a DE-91 |a DE-19 |a DE-29 |a DE-634 |a DE-11 |a DE-1028 |a DE-521 | ||
| 050 | 0 | |a Q342 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a PSY 210f |2 stub | ||
| 100 | 1 | |a Kowalski, Robert |d 1941- |e Verfasser |0 (DE-588)123879507 |4 aut | |
| 245 | 1 | 0 | |a Computational logic and human thinking |b how to be artificially intelligent |c Robert Kowalski |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2011 | |
| 300 | |a XXII, 310 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 505 | 8 | |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"-- Provided by publisher. -- "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"-- Provided by publisher. | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Computational intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical |x Famous problems | |
| 650 | 4 | |a Rhetoric |x Mathematics | |
| 650 | 4 | |a Communication |x Philosophy | |
| 650 | 4 | |a Reasoning | |
| 650 | 4 | |a Critical thinking | |
| 650 | 7 | |a COMPUTERS / Natural Language Processing |2 bisacsh | |
| 650 | 0 | 7 | |a Logisches Denken |0 (DE-588)4323319-3 |2 gnd |9 rswk-swf |
| 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 |
| 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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | |u http://assets.cambridge.org/97805211/94822/cover/9780521194822.jpg |3 Cover image | |
| 856 | 4 | 2 | |m LoC Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024148181&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024148181 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0002 DAT 540f 2011 A 4847 |
|---|---|
| DE-BY-TUM_katkey | 1774371 |
| DE-BY-TUM_location | 00 |
| DE-BY-TUM_media_number | 040007299625 |
| _version_ | 1821933516607193090 |
| adam_text | COMPUTATIONAL LOGIC AND HUMAN THINKING
/ KOWALSKI, ROBERT
: 2011
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE; SUMMARY; INTRODUCTION; 1. LOGIC ON THE UNDERGROUND; 1A. THE
SYNTAX OF LOGICAL FORM; 2. THE PSYCHOLOGY OF LOGIC; 3. THE FOX AND THE
CROW; 3A. TRUTH AND PROOF; 4. NEGATION AS FAILURE; 4A. THE SEMANTICS OF
INTENDED INTERPRETATIONS; 5. HOW TO BECOME A BRITISH CITIZEN; 6. THE
LOUSE AND THE MARS EXPLORER; 7. MAINTENANCE GOALS AS THE DRIVING FORCE
OF LIFE; 8. THE MEANING OF LIFE; 9. LEVELS OF CONSCIOUSNESS; 10.
ABDUCTION; 11. THE PRISONER S DILEMMA; 12. MOTIVATIONS MATTER; 12A. THE
LOGIC OF ABDUCTIVE LOGIC PROGRAMMING; 13. BICONDITIONALS; 14.
COMPUTATIONAL LOGIC AND THE SELECTION TASK; 15. THE CHANGING WORLD; 16.
LOGIC AND OBJECTS; 17. META-LOGIC FOR SELF-IMPROVEMENT; CONCLUSIONS;
REFERENCES; INDEX.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Kowalski, Robert 1941- |
| author_GND | (DE-588)123879507 |
| author_facet | Kowalski, Robert 1941- |
| author_role | aut |
| author_sort | Kowalski, Robert 1941- |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV039129806 |
| callnumber-first | Q - Science |
| callnumber-label | Q342 |
| callnumber-raw | Q342 |
| callnumber-search | Q342 |
| callnumber-sort | Q 3342 |
| callnumber-subject | Q - General Science |
| classification_rvk | CC 2500 ST 300 |
| classification_tum | DAT 540f PSY 210f |
| contents | "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"-- Provided by publisher. -- "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"-- Provided by publisher. |
| ctrlnum | (OCoLC)745499639 (DE-599)BVBBV039129806 |
| 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 Psychologie Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03936nam a2200625zc 4500</leader><controlfield tag="001">BV039129806</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190703 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110711s2011 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011002461</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521194822</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-19482-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521123365</subfield><subfield code="c">pbk</subfield><subfield code="9">978-0-521-12336-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745499639</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039129806</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">XA-GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q342</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PSY 210f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kowalski, Robert</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123879507</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="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 310 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="8" 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"-- Provided by publisher. -- "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"-- Provided by publisher.</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</subfield><subfield code="x">Famous problems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rhetoric</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communication</subfield><subfield code="x">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=" " ind2="7"><subfield code="a">COMPUTERS / Natural Language Processing</subfield><subfield code="2">bisacsh</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="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="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="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="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97805211/94822/cover/9780521194822.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024148181&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024148181</subfield></datafield></record></collection> |
| id | DE-604.BV039129806 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T15:50:43Z |
| institution | BVB |
| isbn | 9780521194822 9780521123365 |
| language | English |
| lccn | 2011002461 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024148181 |
| oclc_num | 745499639 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-634 DE-11 DE-1028 DE-521 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-634 DE-11 DE-1028 DE-521 |
| physical | XXII, 310 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spellingShingle | Kowalski, Robert 1941- 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 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"-- Provided by publisher. -- "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"-- Provided by publisher. Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical Famous problems Rhetoric Mathematics Communication Philosophy Reasoning Critical thinking COMPUTERS / Natural Language Processing bisacsh Logisches Denken (DE-588)4323319-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd |
| subject_GND | (DE-588)4323319-3 (DE-588)4033447-8 (DE-588)4255672-7 |
| title | Computational logic and human thinking how to be artificially intelligent |
| 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 COMPUTERS / Natural Language Processing bisacsh Logisches Denken (DE-588)4323319-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Computational logic (DE-588)4255672-7 gnd |
| topic_facet | Mathematik Philosophie Computational intelligence Logic, Symbolic and mathematical Famous problems Rhetoric Mathematics Communication Philosophy Reasoning Critical thinking COMPUTERS / Natural Language Processing Logisches Denken Künstliche Intelligenz Computational logic |
| url | http://assets.cambridge.org/97805211/94822/cover/9780521194822.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024148181&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kowalskirobert computationallogicandhumanthinkinghowtobeartificiallyintelligent |
Table of Contents
Order paper/chapter scan
Order paper/chapter scan
Branch Library Main Campus
| Call Number: |
0002 DAT 540f 2011 A 4847
Floor plan |
|---|---|
| Copy 1 | Available for loan On Shelf |