Logische Grundlagen der Künstlichen Intelligenz:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Weitere Verfasser: | |
Format: | Elektronisch E-Book |
Sprache: | German |
Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1989
|
Schriftenreihe: | Artificial Intelligence / Künstliche Intelligenz
|
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissenschaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung über Künstliche Intelligenz (KI) verwendeten Mathematik. Beide Behauptungen müssen begründet werden. Man sollte allerdings meinen, unser erster Grundsatz fände eigentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissenschaftsgebieten, in denen das Wissen hauptsächlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwände gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darüber beklagten, daß zum Verständnis von elektrischen Schaltkreisen und Kontrollsystemen Differentialgleichungen doch völlig unnötig seinen!) Wir behaupten nicht, daß das Wissen um die mathematischen Grundlagen und Techniken einer Disziplin allein ausreicht, um in der Forschung oder in der Praxis erfolgreich zu sein. Wir sind allerdings der Meinung, daß zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orientierten Wissenschaftsdisziplinen immer auch ein solides mathematisches Handwerkszeug der jeweiligen Disziplin gehört. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu können. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, daß es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten meinen, die Experimentalisten kämen schneller voran, wenn sie ein tieferes Verständnis der theoretischen Grundlagen der KI besäßen |
Beschreibung: | 1 Online-Ressource (XXIV, 576S.) |
ISBN: | 9783322928818 9783528046385 |
DOI: | 10.1007/978-3-322-92881-8 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042430670 | ||
003 | DE-604 | ||
005 | 20180116 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1989 |||| o||u| ||||||ger d | ||
020 | |a 9783322928818 |c Online |9 978-3-322-92881-8 | ||
020 | |a 9783528046385 |c Print |9 978-3-528-04638-5 | ||
024 | 7 | |a 10.1007/978-3-322-92881-8 |2 doi | |
035 | |a (OCoLC)863876452 | ||
035 | |a (DE-599)BVBBV042430670 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a ger | |
049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
082 | 0 | |a 620 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Genesereth, Michael R. |4 aut | |
245 | 1 | 0 | |a Logische Grundlagen der Künstlichen Intelligenz |c von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski |
264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1989 | |
300 | |a 1 Online-Ressource (XXIV, 576S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Artificial Intelligence / Künstliche Intelligenz | |
500 | |a Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissenschaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung über Künstliche Intelligenz (KI) verwendeten Mathematik. Beide Behauptungen müssen begründet werden. Man sollte allerdings meinen, unser erster Grundsatz fände eigentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissenschaftsgebieten, in denen das Wissen hauptsächlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwände gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darüber beklagten, daß zum Verständnis von elektrischen Schaltkreisen und Kontrollsystemen Differentialgleichungen doch völlig unnötig seinen!) Wir behaupten nicht, daß das Wissen um die mathematischen Grundlagen und Techniken einer Disziplin allein ausreicht, um in der Forschung oder in der Praxis erfolgreich zu sein. Wir sind allerdings der Meinung, daß zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orientierten Wissenschaftsdisziplinen immer auch ein solides mathematisches Handwerkszeug der jeweiligen Disziplin gehört. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu können. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, daß es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten meinen, die Experimentalisten kämen schneller voran, wenn sie ein tieferes Verständnis der theoretischen Grundlagen der KI besäßen | ||
650 | 4 | |a Engineering | |
650 | 4 | |a Engineering, general | |
650 | 4 | |a Ingenieurwissenschaften | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |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 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | |8 2\p |5 DE-604 | |
700 | 1 | |a Nilsson, Nils J. |4 aut | |
700 | 1 | |a Tarnowski, Michael |4 edt | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-92881-8 |x Verlag |3 Volltext |
912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
940 | 1 | |q ZDB-2-STI_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027866000 | ||
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 |
Datensatz im Suchindex
_version_ | 1804153112904073216 |
---|---|
any_adam_object | |
author | Genesereth, Michael R. Nilsson, Nils J. |
author2 | Tarnowski, Michael |
author2_role | edt |
author2_variant | m t mt |
author_facet | Genesereth, Michael R. Nilsson, Nils J. Tarnowski, Michael |
author_role | aut aut |
author_sort | Genesereth, Michael R. |
author_variant | m r g mr mrg n j n nj njn |
building | Verbundindex |
bvnumber | BV042430670 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)863876452 (DE-599)BVBBV042430670 |
dewey-full | 620 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 620 - Engineering and allied operations |
dewey-raw | 620 |
dewey-search | 620 |
dewey-sort | 3620 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-322-92881-8 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04004nmm a2200565zc 4500</leader><controlfield tag="001">BV042430670</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180116 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1989 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322928818</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-92881-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528046385</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-04638-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-92881-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863876452</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042430670</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Genesereth, Michael R.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logische Grundlagen der Künstlichen Intelligenz</subfield><subfield code="c">von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIV, 576S.)</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="490" ind1="0" ind2=" "><subfield code="a">Artificial Intelligence / Künstliche Intelligenz</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissenschaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung über Künstliche Intelligenz (KI) verwendeten Mathematik. Beide Behauptungen müssen begründet werden. Man sollte allerdings meinen, unser erster Grundsatz fände eigentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissenschaftsgebieten, in denen das Wissen hauptsächlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwände gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darüber beklagten, daß zum Verständnis von elektrischen Schaltkreisen und Kontrollsystemen Differentialgleichungen doch völlig unnötig seinen!) Wir behaupten nicht, daß das Wissen um die mathematischen Grundlagen und Techniken einer Disziplin allein ausreicht, um in der Forschung oder in der Praxis erfolgreich zu sein. Wir sind allerdings der Meinung, daß zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orientierten Wissenschaftsdisziplinen immer auch ein solides mathematisches Handwerkszeug der jeweiligen Disziplin gehört. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu können. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, daß es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten meinen, die Experimentalisten kämen schneller voran, wenn sie ein tieferes Verständnis der theoretischen Grundlagen der KI besäßen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="689" ind1="0" 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="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="700" ind1="1" ind2=" "><subfield code="a">Nilsson, Nils J.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarnowski, Michael</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-92881-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866000</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></record></collection> |
id | DE-604.BV042430670 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:26Z |
institution | BVB |
isbn | 9783322928818 9783528046385 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866000 |
oclc_num | 863876452 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
physical | 1 Online-Ressource (XXIV, 576S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
publishDate | 1989 |
publishDateSearch | 1989 |
publishDateSort | 1989 |
publisher | Vieweg+Teubner Verlag |
record_format | marc |
series2 | Artificial Intelligence / Künstliche Intelligenz |
spelling | Genesereth, Michael R. aut Logische Grundlagen der Künstlichen Intelligenz von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski Wiesbaden Vieweg+Teubner Verlag 1989 1 Online-Ressource (XXIV, 576S.) txt rdacontent c rdamedia cr rdacarrier Artificial Intelligence / Künstliche Intelligenz Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissenschaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig. Zweitens ist die symbolische Logik ein sehr wesentlicher Bestandteil der in der Forschung über Künstliche Intelligenz (KI) verwendeten Mathematik. Beide Behauptungen müssen begründet werden. Man sollte allerdings meinen, unser erster Grundsatz fände eigentlich allgemeine Zustimmung. Dennoch gibt es in neuen Wissenschaftsgebieten, in denen das Wissen hauptsächlich an die Praxis und empirische Fallstudien gebunden ist, vehemente Einwände gegen die Versuche einer Mathematisierung. (Einer der Autoren erinnert sich beispielsweise daran, wie sich in den 50-er Jahren einige Elektroingenieure darüber beklagten, daß zum Verständnis von elektrischen Schaltkreisen und Kontrollsystemen Differentialgleichungen doch völlig unnötig seinen!) Wir behaupten nicht, daß das Wissen um die mathematischen Grundlagen und Techniken einer Disziplin allein ausreicht, um in der Forschung oder in der Praxis erfolgreich zu sein. Wir sind allerdings der Meinung, daß zu einem VIII Vorwort erfolgreichem Studium der modernen, insbesonders technisch orientierten Wissenschaftsdisziplinen immer auch ein solides mathematisches Handwerkszeug der jeweiligen Disziplin gehört. Das Studium dieser Grundlagen bietet die Voraussetzungen, um die jeweilige Disziplin interpretieren, verstehen und ausbauen zu können. Da die KI eine noch relativ junge Disziplin ist, ist es nicht verwunderlich, daß es hitzige und geistreiche Debatten zwischen "Formalisten" und "Experimentalisten" gibt. Die Formalisten meinen, die Experimentalisten kämen schneller voran, wenn sie ein tieferes Verständnis der theoretischen Grundlagen der KI besäßen Engineering Engineering, general Ingenieurwissenschaften Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Nilsson, Nils J. aut Tarnowski, Michael edt https://doi.org/10.1007/978-3-322-92881-8 Verlag 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 | Genesereth, Michael R. Nilsson, Nils J. Logische Grundlagen der Künstlichen Intelligenz Engineering Engineering, general Ingenieurwissenschaften Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4033447-8 |
title | Logische Grundlagen der Künstlichen Intelligenz |
title_auth | Logische Grundlagen der Künstlichen Intelligenz |
title_exact_search | Logische Grundlagen der Künstlichen Intelligenz |
title_full | Logische Grundlagen der Künstlichen Intelligenz von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski |
title_fullStr | Logische Grundlagen der Künstlichen Intelligenz von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski |
title_full_unstemmed | Logische Grundlagen der Künstlichen Intelligenz von Michael R. Genesereth, Nils J. Nilsson ; herausgegeben von Michael Tarnowski |
title_short | Logische Grundlagen der Künstlichen Intelligenz |
title_sort | logische grundlagen der kunstlichen intelligenz |
topic | Engineering Engineering, general Ingenieurwissenschaften Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
topic_facet | Engineering Engineering, general Ingenieurwissenschaften Mathematische Logik Logik Künstliche Intelligenz |
url | https://doi.org/10.1007/978-3-322-92881-8 |
work_keys_str_mv | AT geneserethmichaelr logischegrundlagenderkunstlichenintelligenz AT nilssonnilsj logischegrundlagenderkunstlichenintelligenz AT tarnowskimichael logischegrundlagenderkunstlichenintelligenz |