Holdings: Künstliche Intelligenz und automatische Wissensverarbeitung

Künstliche Intelligenz und automatische Wissensverarbeitung:

Saved in:

Bibliographic Details
Main Author:	Helbig, Hermann (Author)
Format:	Book
Language:	German
Published:	Berlin Verl. Technik 1996
Edition:	2., stark bearb. Aufl.
Subjects:	Künstliche Intelligenz
Online Access:	Inhaltsverzeichnis
Physical Description:	400 S. graph. Darst.
ISBN:	3341011838

Staff View

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

Record in the Search Index

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_	1824554619243593730
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	2025-02-20T06:54:39Z
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

Holdings

Indexes

THWS Würzburg Magazin

Holdings details from THWS Würzburg Magazin
Call Number:	1911 2015:0760
Copy 1	bestellbar aus dem Magazin Available Place a Hold

MARC

Record in the Search Index

THWS Würzburg Magazin

Similar Items