Wissensbasierte Systeme mit Prolog:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Bonn u.a.
Addison-Wesley
1988
|
| Schriftenreihe: | Reihe künstliche Intelligenz
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 276 S. graph. Darst. |
| ISBN: | 3925118551 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000827323 | ||
| 003 | DE-604 | ||
| 005 | 20030707 | ||
| 007 | t | ||
| 008 | 881024s1988 gw d||| |||| 00||| ger d | ||
| 020 | |a 3925118551 |9 3-925118-55-1 | ||
| 035 | |a (OCoLC)46213161 | ||
| 035 | |a (DE-599)BVBBV000827323 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-12 |a DE-19 |a DE-91G |a DE-384 |a DE-473 |a DE-862 |a DE-703 |a DE-739 |a DE-355 |a DE-20 |a DE-29T |a DE-29 |a DE-706 |a DE-521 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a ST 302 |0 (DE-625)143652: |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 100 | 1 | |a Böhringer, Bernhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Wissensbasierte Systeme mit Prolog |c Bernhard Böhringer ; Carlo Chiopris ; Ivan Futo |
| 264 | 1 | |a Bonn u.a. |b Addison-Wesley |c 1988 | |
| 300 | |a 276 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Reihe künstliche Intelligenz | |
| 650 | 0 | 7 | |a Expertensystem |0 (DE-588)4113491-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | 1 | |a Expertensystem |0 (DE-588)4113491-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Chiopris, Carlo |e Verfasser |4 aut | |
| 700 | 1 | |a Futo, Ivan |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000519367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000519367 | ||
Datensatz im Suchindex
| DE-BY-862_location | 2801 |
|---|---|
| DE-BY-FWS_call_number | 2801/1990:1385 |
| DE-BY-FWS_katkey | 30771 |
| DE-BY-FWS_media_number | 083100402825 |
| _version_ | 1806195370315743232 |
| adam_text | Titel: Wissensbasierte Systeme mit Prolog
Autor: Böhringer, Bernhard
Jahr: 1988
Inhalt
Einleitung
Prolog als Sprache und Werkzeug 5
Die Sprache Prolog 7
1.1 Grundkonzepte................................ 7
1.2 Logik und Prolog............................... 12
1.3 Sprachkonstrukte............................... 17
1.4 Programmausführung............................. 23
Eine Implementierung 31
2.1 Auswahlkriterien............................... 31
2.2 Komponenten................................. 34
2.3 Sprachelemente................................ 35
2.4 Entwicklungsumgebung............................ 35
2.5 Beispielsitzung ................................ 36
2.6 Eingebaute Prädikate............................. 38
2.7 Spracherweiterungen............................. 42
II Von Prolog zum wissensbasierten System 45
3 Problemlösung durch Logik 47
3.1 Generierung und Test............................. 47
3.2 Planung.................................... 50
3.3 Entscheidung................................. 52
3.4 Musteranpassung............................... 55
3.5 Imperative Programmierung......................... 62
3.6 Dynamische Relationen............................ 67
3.7 Strategische Suche .............................. 72
4 Wissensbasierte Systeme und Expertensysteme 77
4.1 Wissensbasierung und Fachkenntnis..................... 77
4.2 Problemlösungskomponente......................... 79
4.3 Wissensbank.................................. 80
4.4 Wissenserwerb................................. 81
4.5 Wissenserwerbskomponente......................... 81
4.6 Erklärungskomponente............................ 82
5 Ein Diagnosesystem 85
5.1 Aufgabe und Voraussetzungen........................ 85
5.2 Inferenzkomponente.............................. 86
5.3 Wissensdarstellung.............................. 91
5.4 Wissensaufteilung............................... 92
5.5 Erklärungskomponente............................ 94
5.6 Wissenserwerbskomponente......................... 97
5.7 Dokumentationskomponente......................... 100
6 Ein Beratungssystem 107
6.1 Aufgabenstellung............................... 107
6.2 Konzeption.................................. 108
6.3 Erinnernde Inferenzkomponente....................... 109
6.4 Attribut-Wert Darstellung.......................... 110
6.5 Menüs..................................... 111
6.6 Formulare................................... 113
6.7 Wissensdarstellung.............................. 118
7 Softwaretechnik 121
7.1 Logisches Programmieren als Paradigma.................. 121
7.2 Werkzeuge, Bausteine und Schalen ..................... 123
7.3 Rasche Prototypentwicklung......................... 125
7.4 Softwarelebenszyklus............................. 126
7.5 Programmieren im Großen.......................... 130
7.6 Programmieren im Kleinen.......................... 131
7.7 Prolog für konventionelle DV-Aufgaben................... 138
7.8 Ein Prolog-Derivat für die Systemimplementierung ............ 139
III Ausgewählte Techniken und Methoden 143
8 Meta-Interpreter 145
8.1 Einfache Interpretation............................ 145
8.2 Erklärungsfähigkeit.............................. 147
8.3 Wissensbasis.................................. 148
8.4 Unsicherheit.................................. 153
8.5 Hierarchie und Vererbung.......................... 157
8.6 Breitensuche.................................. 164
8.7 Einfacher LISP-Interpreter........................... 166
8.8 Partielle Evaluation.............................. 168
9 Datenbanken 173
9.1 Prolog als Datenbank............................. 173
9.2 Wissensaufnahme und Wissensassimilation................. 185
9.3 Negation.................................... 186
9.4 Konsistenz................................... 187
9.5 Ableitbarkeit ................................. 192
9.6 Redundanz .................................. 193
9.7 Sichten..................................... 193
9.8 Nullwerte................................... 194
9.9 Effizienz.................................... 196
10 Produktionssysteme 203
10.1 Aufbau und Arbeitsweise........................... 203
10.2 Kontrollstrategien............................... 205
10.3 Rückwärts Schließen............................. 207
10.4 Vorwärts Schließen.............................. 209
10.5 Ein Beispiel.................................. 212
10.6 Negierte Ausdrücke.............................. 214
10.7 Vermeidung von Endlosschleifen....................... 216
10.8 Auswahlstrategien und Filter ........................ 218
11 Parallelität 227
11.1 Prolog-Programme und Parallelität..................... 227
11.2 Ausdrucksmittel für Parallelität....................... 230
11.3 Interpreter für Konnektoren und Meta-Prädikate.............. 233
11.4 Interpreter für Variablen-Annotation.................... 240
11.5 Interpreter für flache geschützte Hornklauseln............... 244
12 Simulation 249
12.1 Diskrete Simulation.............................. 249
12.2 Simulation und Backtracking......................... 249
12.3 Simulation in reinem Prolog......................... 251
12.4 Ein Simulationssystem in Prolog....................... 254
Literatur 263
|
| any_adam_object | 1 |
| author | Böhringer, Bernhard Chiopris, Carlo Futo, Ivan |
| author_facet | Böhringer, Bernhard Chiopris, Carlo Futo, Ivan |
| author_role | aut aut aut |
| author_sort | Böhringer, Bernhard |
| author_variant | b b bb c c cc i f if |
| building | Verbundindex |
| bvnumber | BV000827323 |
| classification_rvk | ST 250 ST 285 ST 300 ST 302 |
| classification_tum | DAT 703f |
| ctrlnum | (OCoLC)46213161 (DE-599)BVBBV000827323 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01768nam a2200433 c 4500</leader><controlfield tag="001">BV000827323</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030707 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">881024s1988 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3925118551</subfield><subfield code="9">3-925118-55-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46213161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000827323</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">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</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">ST 302</subfield><subfield code="0">(DE-625)143652:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Böhringer, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Wissensbasierte Systeme mit Prolog</subfield><subfield code="c">Bernhard Böhringer ; Carlo Chiopris ; Ivan Futo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn u.a.</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">276 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="490" ind1="0" ind2=" "><subfield code="a">Reihe künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Expertensystem</subfield><subfield code="0">(DE-588)4113491-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Expertensystem</subfield><subfield code="0">(DE-588)4113491-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chiopris, Carlo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Futo, Ivan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=000519367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000519367</subfield></datafield></record></collection> |
| id | DE-604.BV000827323 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T16:22:12Z |
| institution | BVB |
| isbn | 3925118551 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000519367 |
| oclc_num | 46213161 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-862 DE-BY-FWS DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-29 DE-706 DE-521 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-862 DE-BY-FWS DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-29 DE-706 DE-521 DE-83 DE-11 DE-188 |
| physical | 276 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | Reihe künstliche Intelligenz |
| spellingShingle | Böhringer, Bernhard Chiopris, Carlo Futo, Ivan Wissensbasierte Systeme mit Prolog Expertensystem (DE-588)4113491-6 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| subject_GND | (DE-588)4113491-6 (DE-588)4047464-1 |
| title | Wissensbasierte Systeme mit Prolog |
| title_auth | Wissensbasierte Systeme mit Prolog |
| title_exact_search | Wissensbasierte Systeme mit Prolog |
| title_full | Wissensbasierte Systeme mit Prolog Bernhard Böhringer ; Carlo Chiopris ; Ivan Futo |
| title_fullStr | Wissensbasierte Systeme mit Prolog Bernhard Böhringer ; Carlo Chiopris ; Ivan Futo |
| title_full_unstemmed | Wissensbasierte Systeme mit Prolog Bernhard Böhringer ; Carlo Chiopris ; Ivan Futo |
| title_short | Wissensbasierte Systeme mit Prolog |
| title_sort | wissensbasierte systeme mit prolog |
| topic | Expertensystem (DE-588)4113491-6 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd |
| topic_facet | Expertensystem PROLOG Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000519367&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bohringerbernhard wissensbasiertesystememitprolog AT chiopriscarlo wissensbasiertesystememitprolog AT futoivan wissensbasiertesystememitprolog |
Inhaltsverzeichnis
THWS Schweinfurt Magazin
| Signatur: |
2801 1990:1385 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |