The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
1990
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003564087 | ||
| 003 | DE-604 | ||
| 005 | 20210212 | ||
| 007 | t| | ||
| 008 | 900827s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0521351030 |c hadrcover |9 0-521-35103-0 | ||
| 020 | |a 0521359449 |c paperback |9 0-521-35944-9 | ||
| 035 | |a (OCoLC)19589206 | ||
| 035 | |a (DE-599)BVBBV003564087 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-12 |a DE-19 |a DE-473 |a DE-739 |a DE-355 |a DE-29T |a DE-29 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 080 | |a 007.52 | ||
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 245 | 1 | 0 | |a The foundations of artificial intelligence |b a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] |c ed. by Derek Partridge ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 1990 | |
| 300 | |a XIV, 498 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Neuronales Netz |0 (DE-588)4226127-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1986 |z Las Cruces NM |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Neuronales Netz |0 (DE-588)4226127-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Partridge, Derek |d 1945- |e Sonstige |0 (DE-588)172302129 |4 oth | |
| 711 | 2 | |a Workshop on the Foundations of Artificial Intelligence |d 1986 |c Las Cruces, NM |j Sonstige |0 (DE-588)5136741-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-511-66311-6 |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002267523&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002267523 | |
Datensatz im Suchindex
| DE-19_call_number | 1100/MR 6000 1990 PFA |
|---|---|
| DE-19_location | 65 |
| DE-BY-TUM_call_number | 0001 90 A 2067 0102 DAT 700f 2001 A 37118 |
| DE-BY-TUM_katkey | 493006 |
| DE-BY-TUM_location | Mag 01 |
| DE-BY-TUM_media_number | 040000963591 040020324307 |
| DE-BY-UBM_katkey | 763367 |
| DE-BY-UBM_media_number | 41614517510011 |
| _version_ | 1823050299641692160 |
| adam_text | Contents
List of contributors page
vii
Preface
ix
Acknowledgments
xiii
1
Introduction
1
What is
AI
anyway? Roger C. Schank
3
What kind
ofinformation
processing is intelligence?
B. Chandrasekaran
14
2
The formal foundations of
AI
47
Non-monotonic reasoning versus logic programming: a new
perspective
Teodor
С.
Przymusinski
49
Prolegomena to a theory of mechanized formal reasoning
Richard W. Weyhrauch
72
3
Levels of theory
95
AI: a
personal view David Marr
97
Has
AI
helped psychology? Margaret
A. Boden
108
What s in an
AI
program? Derek Partridge
112
4
Programs and theories
119
One small head: models and theories Yorick Wilks
121
The nature of
AI
principles Alan
Bundy
and
Stellan Ohlsson
135
Artificial methodology meets philosophy Thomas W. Simon
155
5
The role of representations
165
Thinking machines: Can there be? Are we? Terry Winograd
167
Evolution, error, and intentionality Daniel
С
Dennett
190
6
The role of programs in
AI
213
WhatkindoffieldisAI? Alan
Bundy
215
vi
Contents
Programs
in the search for intelligent machines: the mistaken
foundations of
AI Eric
Dietrich
223
7
Rational reconstruction as an
AI
methodology
235
Three Novelties of
AI :
theories
,
programs and rational
reconstructions J. A. Campbell
237
AM
:
a case study in
AI
methodology
G
.
D
.
Ritchie and
F.
K. Hanna
247
8
Is
AI
special in regard to its methodology?
267
Is there anything special about
AI?
Roger
M. Needham
269
What sort of a thing is an
AI
experiment? Karen Sparck Jones
274
We need better standards for
AI
research John McCarthy
282
9
Does connectionism provide a new paradigm for
AI?
287
Why there still has to be a language of thought Jerry
A. Fodor
289
Connectionism and the foundations of
AI Paul
Smolensky
306
Some comments on Smolensky and
Fodor YorickWilks
327
Representation and high-speed computation in neural
networks Paul M. Churchland
337
10
The role of correctness in
AI
361
Does
AI
have a methodology different from software
engineering? Derek Partridge and Yorick Wilks
363
AI,
computer science and education RananBanerji
373
11
Limitations on current
AI
technology
381
The challenge of open systems Carl Hewitt
383
Towards a reconciliation of phenomenology and
AI
Stuart E. Dreyfus and Hubert L. Dreyfus
396
The superarticulacy phenomenon in the context of software
manufacture Donald Michie
411
12
Annotated bibliography on the foundations of
AI
Imre Balogh
and Brian
M. Slator
441
Index of names
492
|
| any_adam_object | 1 |
| author_GND | (DE-588)172302129 |
| building | Verbundindex |
| bvnumber | BV003564087 |
| callnumber-first | Q - Science |
| callnumber-label | Q335 |
| callnumber-raw | Q335 |
| callnumber-search | Q335 |
| callnumber-sort | Q 3335 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 ST 300 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)19589206 (DE-599)BVBBV003564087 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02384nam a2200541 c 4500</leader><controlfield tag="001">BV003564087</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210212 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900827s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521351030</subfield><subfield code="c">hadrcover</subfield><subfield code="9">0-521-35103-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521359449</subfield><subfield code="c">paperback</subfield><subfield code="9">0-521-35944-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19589206</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003564087</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q335</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">007.52</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</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 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The foundations of artificial intelligence</subfield><subfield code="b">a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986]</subfield><subfield code="c">ed. by Derek Partridge ...</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">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 498 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="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Neuronales Netz</subfield><subfield code="0">(DE-588)4226127-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1986</subfield><subfield code="z">Las Cruces NM</subfield><subfield code="2">gnd-content</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Neuronales Netz</subfield><subfield code="0">(DE-588)4226127-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Partridge, Derek</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)172302129</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on the Foundations of Artificial Intelligence</subfield><subfield code="d">1986</subfield><subfield code="c">Las Cruces, NM</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5136741-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-511-66311-6</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=002267523&sequence=000002&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-002267523</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1986 Las Cruces NM gnd-content |
| genre_facet | Konferenzschrift 1986 Las Cruces NM |
| id | DE-604.BV003564087 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T16:22:41Z |
| institution | BVB |
| institution_GND | (DE-588)5136741-5 |
| isbn | 0521351030 0521359449 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002267523 |
| oclc_num | 19589206 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29T DE-29 DE-83 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29T DE-29 DE-83 DE-11 DE-188 |
| physical | XIV, 498 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spellingShingle | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt intelligence artificielle inriac Künstliche Intelligenz Artificial intelligence Neuronales Netz (DE-588)4226127-2 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4226127-2 (DE-588)4033447-8 (DE-588)1071861417 |
| title | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] |
| title_auth | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] |
| title_exact_search | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] |
| title_full | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] ed. by Derek Partridge ... |
| title_fullStr | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] ed. by Derek Partridge ... |
| title_full_unstemmed | The foundations of artificial intelligence a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] ed. by Derek Partridge ... |
| title_short | The foundations of artificial intelligence |
| title_sort | the foundations of artificial intelligence a sourcebook selected papers and subsequent discussion from a workshop on the foundations of ai held in las cruces new mexico in 1986 |
| title_sub | a sourcebook ; [selected papers and subsequent discussion from a ... Workshop on the Foundations of AI held in Las Cruces, New Mexico, in 1986] |
| topic | Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt intelligence artificielle inriac Künstliche Intelligenz Artificial intelligence Neuronales Netz (DE-588)4226127-2 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Intelligence artificielle Kunstmatige intelligentie intelligence artificielle Künstliche Intelligenz Artificial intelligence Neuronales Netz Konferenzschrift 1986 Las Cruces NM |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002267523&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT partridgederek thefoundationsofartificialintelligenceasourcebookselectedpapersandsubsequentdiscussionfromaworkshoponthefoundationsofaiheldinlascrucesnewmexicoin1986 AT workshoponthefoundationsofartificialintelligencelascrucesnm thefoundationsofartificialintelligenceasourcebookselectedpapersandsubsequentdiscussionfromaworkshoponthefoundationsofaiheldinlascrucesnewmexicoin1986 |