Künstliche Intelligenz und automatische Wissensverarbeitung:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Verl. Technik
1996
|
| Ausgabe: | 2., stark bearb. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 400 S. graph. Darst. |
| ISBN: | 3341011838 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010903766 | ||
| 003 | DE-604 | ||
| 005 | 20051130 | ||
| 007 | t | ||
| 008 | 960812s1996 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 947928855 |2 DE-101 | |
| 020 | |a 3341011838 |c Pp. : DM 78.00, sfr 71.00, S 577.00 |9 3-341-01183-8 | ||
| 035 | |a (OCoLC)75753352 | ||
| 035 | |a (DE-599)BVBBV010903766 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-70 |a DE-355 |a DE-M347 |a DE-19 |a DE-739 |a DE-29T |a DE-473 |a DE-945 |a DE-92 |a DE-863 |a DE-1047 |a DE-20 |a DE-706 |a DE-521 |a DE-634 |a DE-83 |a DE-11 |a DE-525 | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a 68-01 |2 msc | ||
| 084 | |a 68T35 |2 msc | ||
| 084 | |a 68T30 |2 msc | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Helbig, Hermann |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Künstliche Intelligenz und automatische Wissensverarbeitung |c Hermann Helbig |
| 250 | |a 2., stark bearb. Aufl. | ||
| 264 | 1 | |a Berlin |b Verl. Technik |c 1996 | |
| 300 | |a 400 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007293041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| DE-BY-863_location | 1911 |
|---|---|
| DE-BY-FWS_call_number | 1911/2015:0760 |
| DE-BY-FWS_katkey | 151705 |
| DE-BY-FWS_media_number | 083100268854 |
| _version_ | 1806528022568763392 |
| adam_text |
HERMANN HEIBIG KUENSTLICHE INTELLIGENZ UND AUTOMATISCHE
WISSENSVERARBEITUNG 2., STARK BEARBEITETE AUFLAGE VERLAG TECHNIK BERLIN
INHALTSVERZEICHNIS 1 UEBERBLICK 11 1.1 GRUNDBEGRIFFE, GEGENSTAND 11 1.2
ARBEITSGEBIETE DER KI 13 1.3 ANWENDUNG UND NUTZUNG DER ERGEBNISSE DER KI
16 1.4 GESCHICHTE DER KI 18 1.5 TENDENZEN, PERSPEKTIVE 22 2
RECHENTECHNISCHE UND PROGRAMMTECHNISCHE GRUNDLAGEN DER KUENSTLICHEN
INTELLIGENZ 24 2.1 HARDWAREBASIS 24 2.2 KL-PROGRAMMIERSPRACHEN ALS
WERKZEUGE DER SYMBOLMANIPULATION (SOFTWAREBASIS) 28 2.2.1 STELLUNG DER
KL-PROGRAMMIERSPRACHEN IN DER WELT DER PROGRAMMIERUNG 28 2.2.2
LISTENVERARBEITUNG - DIE PROGRAMMIERSPRACHE LISP 30 2.2.2.1 DATENTYPEN
UND DATENSTRUKTUREN 30 2.2.2.2 LISP-FUNKTIONEN, AUSWERTUNG VON
AUSDRUECKEN 34 2.2.2.3 ELEMENTARE LISP-FUNKTIONEN 37 2.2.2.4 BEDINGTE
AUSDRUECKE 41 2.2.2.5 DIE PROG-FUNKTION 41 2.2.2.6 REKURSIVE UND
ITERATIVE PROGRAMMIERUNG IN LISP 43 2.2.2.7 TECHNOLOGISCHE
PROGRAMMIERUMGEBUNG VON LISP 46 3 WISSENSREPRAESENTATIONSSYSTEME (WRS) 49
3.1 DER MODELLSCHARAKTER DER SEMANTISCHEN REPRAESENTATION VON WISSEN AUF
DEM RECHNER 49 3.2 LOGIKORIENTIERTE WRS 53 3.2.1 INTUITIVE EINFUEHRUNG 53
3.2.2 DIE AUSSAGENLOGIK 58 3.2.2.1 DER AUSSAGENKALKUEL 58 3.2.2.2
ABLEITUNGEN UND ABLEITUNGSSTRATEGIEN IM AUSSAGENKALKUEL 61 3.2.3 DER
PRAEDIKATENKALKUEL ERSTER STUFE (PK1) 64 3.2.4 ZUR INTERPRETATION
LOGISCHER KALKUELE 67 3.2.5 BEZIEHUNGEN ZWISCHEN NATUERLICHER SPRACHE UND
PRAEDIKATENLOGIK 71 8 INHALTSVERZEICHNIS 3.2.6 AKTIVE THEOREME - PLANNER
75 3.3 FRAME-REPRAESENTATIONEN 79 3.3.1 GRUNDBEGRIFFE, INTUITIVE
EINFUHRUNG 79 3.3.2 DIE FORMALE BESCHREIBUNG VON FRAMES IN KRL 83 3.3.3
KOMMUNIZIERENDE FRAMES - FLA VORS 94 3.4 SEMANTISCHE NETZE (SN) 99 3.4.1
GUNDLAGEN, ALLGEMEINE EINFUEHRUNG 99 3.4.2 TAXONOMIE DER KNOTEN EINES SN
104 3.4.3 RELATIONEN UND FUNKTIONEN 108 3.5 BEZIEHUNGEN ZWISCHEN
VERSCHIEDENEN WISSENSREPRAESENTATIONSMODELLEN 124 3.5.1 SCRIPTS ALS
FUSION VON FRAME- UND NETZWERK-KONZEPTEN 124 3.5.2 VERGLEICH VON
SEMANTISCHEN NETZEN UND RELATIONALEM DATENMODELL 127 4 AUTOMATISCHE
PROBLEMLOESUNG 134 4.1 INTUITIVE EINFUEHRUNG, GRUNDBEGRIFFE 134 4.2
FORMALE DEFINITION EINES PROBLEMS, GRAPHENTHEORETISCHE KONZEPTE 137 4.3
ALLGEMEINE PROBLEMLOESUNGSTECHNIKEN 142 4.3.1 LOESUNGSSUCHE IN GRAPHEN 142
4.3.2 BAUM-SUCHTECHNIKEN 143 4.3.3 BEWERTETE SUCHE, HEURISTISCHE
VERFAHREN 145 4.3.4 PROBLEMREDUKTION 151 4.3.5 PROBLEMLOESUNG MIT
OPERATORAUSWAHL 154 4.4 SPIELE ALS PROBLEME, BEZIEHUNGEN ZUR
SPIELTHEORIE 158 4.5 SUCTISTRATEGIEN FUER ANTAGONISTISCHE PROBLEME
(SPIELE) 163 4.6 KOMPLEXBEISPIEL: SYMBOLISCHE INTEGRATION 167 4.7
AUTOMATISCHE PROLEMLOESUNG UND INTELLIGENTE ROBOTER 179 5 AUTOMATISIERUNG
DES INTELLIGENTEN SCHLIESSENS 183 5.1 LOGISCH-DEDUKTIVES, MONOTONES
SCHLIESSEN 183 5.1.1 COMPUTERLOGISCHE GRUNDLAGEN, NORMALFORMEN 183 5.1.2
DAS HERBRAND-UNIVERSUM UND DAS HERBRAND-THEOREM 188 5.1.3
THEOREMBEWEISVERFAHREN 194 5.1.3.1 DAS RESOLUTIONSPRINZIP FUER DEN
AUSSAGENKALKUEL 194 5.1.3.2 DAS RESOLUTIONSPRINZIP FUER DEN
PRAEDIKATENKALKUEL 194 5.1.3.3 BEWEISSTRATEGIEN; DIE BESONDERE ROLLE DER
GLEICHHEITSRELATION; THEORIERESOLUTION 198 5.1.3.4 EINSATZ DES
RESOLUTIONSPRINZIPS FUER DIE FRAGE-BEANTWORTUNG (ANWENDUNGSBEISPIEL) 201
5.2 NICHT-MONOTONES SCHLIESSEN 203 5.3 APPROXIMATIVES SCHLIESSEN (FUZZY
REASONING) 209 INHALTSVERZEICHNIS 5.4 ANALOGES SCHLIESSEN 212 5.5
INDUKTIVES SCHLIESSEN, VERALLGEMEINERUNG 218 6 LOGISCHE PROGRAMMIERUNG
223 6.1 GRUNDSAETZLICHER AUFBAU DER PROGRAMMIERSPRACHE PROLOG 223 6.2 DAS
PROLOG-VERARBEITUNGSSYSTEM 227 6.3 VOM SYSTEM BEREITGESTELLTE PRAEDIKATE
BZW. OPERATOREN 230 6.4 REKURSIVE PROGRAMMIERUNG IN PROLOG 234 6.5
BEEINFLUSSUNG DER STEUERSTRATEGIE 237 6.6 KOMPLEXBEISPIEL:
URLAUBSBERATUNG 240 7 EXPERTENYSTEME (XS) 244 7.1 UEBERBLICK,
BEGRIFFSBESTIMMUNG, KLASSIFIKATION 244 7.2 ARCHITEKTUR UND
ARBEITSPRINZIPIEN VON XS 248 7.3 XS-WERKZEUGE, PRODUKTIONSREGELSYSTEME
256 7.4 PROBLEMLOESEMETHODEN IN KONKRETEN XS 264 7.4.1 MYCIN - ARBEIT MIT
APPROXIMATIVEM SCHLIESSEN 264 7.4.2 VM - VERWALTUNG ZEITABHAENGIGER
KONTEXTE 268 7.4.3 DENDRAL - HEURISTISCHE GESTEUERTE GENERIERE- UND
TESTE-METHODE 270 7.4.4 MOLGEN - PLANUNG IN VERSCHIEDENEN EBENEN,
WECHSELWIRKENDE TEILPROBLEME 272 7.5 RAHMENEXPERTENSYSTEME (SHELLS),
METAEXPERTENSYSTEME 279 7.6 SYSTEME ZUR UNTERSTUETZUNG DES WISSENSERWERBS
284 7.7 TECHNOLOGIE DER XS-ENTWICKLUNG UND DES AUFBAUS DER WISSENSBASIS
289 8 GRUNDLAGEN DER AUTOMATISCHEN SPRACHVERARBEITUNG 292 8.1
EINFUEHRUNG, UEBERBLICK 292 8.2 GRUNDLEGENDE BEGRIFFE DER
SPRACHWISSENSCHAFT BZW. DER COMPUTERLINGUISTIK 295 8.2.1 ALLGEMEINE
BEGRIFFE, SPRACHLICHE EINHEITEN 295 8.2.2 OBERFLAECHENSTRUKTUREN UND
TIEFENSTRUKTUREN 304 8.3 MODELLE DER SPRACHBESCHREIBUNG 312 8.3.1
UEBERBLICK 312 8.3.2 FORMALE SPRACHEN UND GRAMMATIKEN 317 8.3.3
GRAMMATIKEN ZU BESCHREIBUNG DER NATUERLICHEN SPRACHE 323 8.3.3.1 DER
ATN-FORMALISMUS 323 8.3.3.2 LEXIKALISCH-FUNKTIONALE GRAMMATIKEN (LFG)
332 8.3.3.3 DIE WORTKLASSEN-GESTEUERTE FUNKTIONELLE ANALYSE (WCFA) 340
10 INHALTSVERZEICHNIS 9 SYSTEME ZUR AUTOMATISCHEN VERARBEITUNG DER
NATUERLICHEN SPRACHE (ANWENDUNGEN DER COMPUTERLINGUISTIK) 355 9.1
GEMEINSAMTKEITEN DER SYSTEME ZUR AUTOMATISCHEN SPRACHVERARBEITUNG 355
9.2 NATUERLICHSPRACHLICHE INTERFACES 357 9.2.1 ALLGEMEINES 357 9.2.2
BESCHREIBUNG DES SYSTEMS NLI-AIDOS 358 9.2.3 WISSENSSTUETZUNG FUER DEN
TRANSFORMATIONSMODUL 362 9.2.4 WERKBANK DES LEXIKOGRAPHEN 365 9.2.5
ZUSAMMENFASSENDES BEISPIEL 366 9.3 FRAGE-ANTWORT-SYSTEME 369 9.3.1 ZWECK
UND STRUKTUR EINES FRAGE-ANTWORT-SYSTEMS 369 9.3.2 FRAGEBEANTWORTUNG 376
LITERATURVERZEICHNIS 386 SACHWOERTERVERZEICHNIS 396 LISTE DER IM TEXT
VERWENDETEN ABKUERZUNGEN AI ARTIFICIAL INTELIIGENCE ATN AUGMENTED
TRANSITION NETWORK (GRAMMAR) CAD COMPUTER AIDED DESIGN CAI COMPUTER
AIDED INSTRUCTION CAM COMPUTER AIDED MANUFACTURING CAP COMPUTER AIDED
PLANNING CDT CONCEPTUAL DEPENDENCY THEORY CRM CODDSCHES RELATIONENMODELL
CWA CLOSED WORLD ASSUMPTION FAS FRAGE-ANTWORT-SYSTEM KI KUENSTLICHE
INTELLIGENZ LFG LEXICAL FIINCTIONAL GRAMMAR MT MACHINE TRANSLATION NLI
NATURAL LANGUAGE INTERFACE PK1 PRAEDIKATENKALKUEL ERSTER STUFE SBM
SPRACHBESCHREIBUNGSMODELL/-METHODE SN(M) SEMANTISCHES NETZ (MODELL) TGS
TEXT GENERATION SYSTEM VLSI VERY LARGE SCALE INTEGRATED WBS
WISSENSBASIERTES SYSTEM WCFA WORD-CLASS CONTROLLED FIINCTIONAL ANALYSIS
WRM WISSENSREPRAESENTATIONSMODELL/-METHODE WRS
WISSENSREPRAESENTATIONSSYSTEM XS EXPERTENSYSTEM |
| any_adam_object | 1 |
| author | Helbig, Hermann |
| author_facet | Helbig, Hermann |
| author_role | aut |
| author_sort | Helbig, Hermann |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV010903766 |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)75753352 (DE-599)BVBBV010903766 |
| discipline | Informatik |
| edition | 2., stark bearb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010903766</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051130</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960812s1996 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947928855</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3341011838</subfield><subfield code="c">Pp. : DM 78.00, sfr 71.00, S 577.00</subfield><subfield code="9">3-341-01183-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75753352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010903766</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-70</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</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">68-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68T35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68T30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Helbig, Hermann</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz und automatische Wissensverarbeitung</subfield><subfield code="c">Hermann Helbig</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., stark bearb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Verl. Technik</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">400 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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=007293041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| id | DE-604.BV010903766 |
| illustrated | Illustrated |
| indexdate | 2024-08-05T08:29:36Z |
| institution | BVB |
| isbn | 3341011838 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007293041 |
| oclc_num | 75753352 |
| open_access_boolean | |
| owner | DE-70 DE-355 DE-BY-UBR DE-M347 DE-19 DE-BY-UBM DE-739 DE-29T DE-473 DE-BY-UBG DE-945 DE-92 DE-863 DE-BY-FWS DE-1047 DE-20 DE-706 DE-521 DE-634 DE-83 DE-11 DE-525 |
| owner_facet | DE-70 DE-355 DE-BY-UBR DE-M347 DE-19 DE-BY-UBM DE-739 DE-29T DE-473 DE-BY-UBG DE-945 DE-92 DE-863 DE-BY-FWS DE-1047 DE-20 DE-706 DE-521 DE-634 DE-83 DE-11 DE-525 |
| physical | 400 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Verl. Technik |
| record_format | marc |
| spellingShingle | Helbig, Hermann Künstliche Intelligenz und automatische Wissensverarbeitung Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 |
| title | Künstliche Intelligenz und automatische Wissensverarbeitung |
| title_auth | Künstliche Intelligenz und automatische Wissensverarbeitung |
| title_exact_search | Künstliche Intelligenz und automatische Wissensverarbeitung |
| title_full | Künstliche Intelligenz und automatische Wissensverarbeitung Hermann Helbig |
| title_fullStr | Künstliche Intelligenz und automatische Wissensverarbeitung Hermann Helbig |
| title_full_unstemmed | Künstliche Intelligenz und automatische Wissensverarbeitung Hermann Helbig |
| title_short | Künstliche Intelligenz und automatische Wissensverarbeitung |
| title_sort | kunstliche intelligenz und automatische wissensverarbeitung |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007293041&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT helbighermann kunstlicheintelligenzundautomatischewissensverarbeitung |
Inhaltsverzeichnis
Würzburg Magazin
| Signatur: |
1911 2015:0760 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |