Begründungsverwaltung: Grundlagen, Systeme und Algorithmen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1996
|
| Schriftenreihe: | TEUBNER-TEXTE zur Informatik
18 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Inhalt: Viele Problemlösungssysteme verwenden eine Wissensbasis, in der Wissen über die Welt deklarativ repräsentiert ist. Ein Teil des zur Problemlösung notwendigen Wissens wird dort explizit gespeichert. Der andere Teil liegt lediglich implizit vor und wird vom Problemlöser erst während der Problemlösung über Schlußfolgerungsprozesse expliziert und in der Wissensbasis aufgehoben. Diese Vorgehensweise wird jedoch zum Problem, sobald sich die repräsentierte Welt ändert, da dann die Wissensbasis entsprechend revidiert werden muß und insbesondere die abgeleiteten Sachverhalte auf ihre Gültigkeit hin zu überprüfen sind. Ist doch deren Status davon abhängig, ob das zu ihrer Ableitung verwendete Wissen auch nach der Weltänderung noch gültig ist. Die Revision der Wissensbasis wird wesentlich vereinfacht, ja sogar (teil-)automatisierbar, wenn man in ihr zusätzlich festhält, wie die abgeleiteten Sachverhalte vom expliziten Wissen abhängen. Da die Verwaltung von Begründungen zur Repräsentation dieser Abhängigkeiten jedoch eine komplexe Aufgabe ist, überträgt man sie besser einem spezialisierten und damit effizienten, wiederverwendbaren Begründungsverwaltungssystem. Die Architektur und die formalen Grundlagen solcher Systeme sind Gegenstand des vorliegenden Buches. Es kann damit einerseits als Übersichtswerk zum Thema Begründungsverwaltung und andererseits als Referenz für die Implementierung anwendungs-spezifischer Begründungsverwaltungssysteme angesehen werden |
| Beschreibung: | 1 Online-Ressource (371 S.) |
| ISBN: | 9783322976178 9783815423035 |
| ISSN: | 1615-4584 |
| DOI: | 10.1007/978-3-322-97617-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042431286 | ||
| 003 | DE-604 | ||
| 005 | 20170606 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1996 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322976178 |c Online |9 978-3-322-97617-8 | ||
| 020 | |a 9783815423035 |c Print |9 978-3-8154-2303-5 | ||
| 024 | 7 | |a 10.1007/978-3-322-97617-8 |2 doi | |
| 035 | |a (OCoLC)863902475 | ||
| 035 | |a (DE-599)BVBBV042431286 | ||
| 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-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Beckstein, Clemens |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Begründungsverwaltung |b Grundlagen, Systeme und Algorithmen |c von Clemens Beckstein |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1996 | |
| 300 | |a 1 Online-Ressource (371 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a TEUBNER-TEXTE zur Informatik |v 18 |x 1615-4584 | |
| 500 | |a Inhalt: Viele Problemlösungssysteme verwenden eine Wissensbasis, in der Wissen über die Welt deklarativ repräsentiert ist. Ein Teil des zur Problemlösung notwendigen Wissens wird dort explizit gespeichert. Der andere Teil liegt lediglich implizit vor und wird vom Problemlöser erst während der Problemlösung über Schlußfolgerungsprozesse expliziert und in der Wissensbasis aufgehoben. Diese Vorgehensweise wird jedoch zum Problem, sobald sich die repräsentierte Welt ändert, da dann die Wissensbasis entsprechend revidiert werden muß und insbesondere die abgeleiteten Sachverhalte auf ihre Gültigkeit hin zu überprüfen sind. Ist doch deren Status davon abhängig, ob das zu ihrer Ableitung verwendete Wissen auch nach der Weltänderung noch gültig ist. Die Revision der Wissensbasis wird wesentlich vereinfacht, ja sogar (teil-)automatisierbar, wenn man in ihr zusätzlich festhält, wie die abgeleiteten Sachverhalte vom expliziten Wissen abhängen. Da die Verwaltung von Begründungen zur Repräsentation dieser Abhängigkeiten jedoch eine komplexe Aufgabe ist, überträgt man sie besser einem spezialisierten und damit effizienten, wiederverwendbaren Begründungsverwaltungssystem. Die Architektur und die formalen Grundlagen solcher Systeme sind Gegenstand des vorliegenden Buches. Es kann damit einerseits als Übersichtswerk zum Thema Begründungsverwaltung und andererseits als Referenz für die Implementierung anwendungs-spezifischer Begründungsverwaltungssysteme angesehen werden | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Truth maintenance system |0 (DE-588)4267534-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Truth maintenance system |0 (DE-588)4267534-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-97617-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866617 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153114190675968 |
|---|---|
| any_adam_object | |
| author | Beckstein, Clemens |
| author_facet | Beckstein, Clemens |
| author_role | aut |
| author_sort | Beckstein, Clemens |
| author_variant | c b cb |
| building | Verbundindex |
| bvnumber | BV042431286 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863902475 (DE-599)BVBBV042431286 |
| 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-97617-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03144nmm a2200469zcb4500</leader><controlfield tag="001">BV042431286</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170606 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1996 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322976178</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-97617-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783815423035</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-8154-2303-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-97617-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863902475</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431286</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-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</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">Beckstein, Clemens</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Begründungsverwaltung</subfield><subfield code="b">Grundlagen, Systeme und Algorithmen</subfield><subfield code="c">von Clemens Beckstein</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (371 S.)</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">TEUBNER-TEXTE zur Informatik</subfield><subfield code="v">18</subfield><subfield code="x">1615-4584</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Inhalt: Viele Problemlösungssysteme verwenden eine Wissensbasis, in der Wissen über die Welt deklarativ repräsentiert ist. Ein Teil des zur Problemlösung notwendigen Wissens wird dort explizit gespeichert. Der andere Teil liegt lediglich implizit vor und wird vom Problemlöser erst während der Problemlösung über Schlußfolgerungsprozesse expliziert und in der Wissensbasis aufgehoben. Diese Vorgehensweise wird jedoch zum Problem, sobald sich die repräsentierte Welt ändert, da dann die Wissensbasis entsprechend revidiert werden muß und insbesondere die abgeleiteten Sachverhalte auf ihre Gültigkeit hin zu überprüfen sind. Ist doch deren Status davon abhängig, ob das zu ihrer Ableitung verwendete Wissen auch nach der Weltänderung noch gültig ist. Die Revision der Wissensbasis wird wesentlich vereinfacht, ja sogar (teil-)automatisierbar, wenn man in ihr zusätzlich festhält, wie die abgeleiteten Sachverhalte vom expliziten Wissen abhängen. Da die Verwaltung von Begründungen zur Repräsentation dieser Abhängigkeiten jedoch eine komplexe Aufgabe ist, überträgt man sie besser einem spezialisierten und damit effizienten, wiederverwendbaren Begründungsverwaltungssystem. Die Architektur und die formalen Grundlagen solcher Systeme sind Gegenstand des vorliegenden Buches. Es kann damit einerseits als Übersichtswerk zum Thema Begründungsverwaltung und andererseits als Referenz für die Implementierung anwendungs-spezifischer Begründungsverwaltungssysteme angesehen werden</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">Truth maintenance system</subfield><subfield code="0">(DE-588)4267534-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Truth maintenance system</subfield><subfield code="0">(DE-588)4267534-0</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-97617-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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866617</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></record></collection> |
| id | DE-604.BV042431286 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322976178 9783815423035 |
| issn | 1615-4584 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866617 |
| oclc_num | 863902475 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (371 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | TEUBNER-TEXTE zur Informatik |
| spelling | Beckstein, Clemens Verfasser aut Begründungsverwaltung Grundlagen, Systeme und Algorithmen von Clemens Beckstein Wiesbaden Vieweg+Teubner Verlag 1996 1 Online-Ressource (371 S.) txt rdacontent c rdamedia cr rdacarrier TEUBNER-TEXTE zur Informatik 18 1615-4584 Inhalt: Viele Problemlösungssysteme verwenden eine Wissensbasis, in der Wissen über die Welt deklarativ repräsentiert ist. Ein Teil des zur Problemlösung notwendigen Wissens wird dort explizit gespeichert. Der andere Teil liegt lediglich implizit vor und wird vom Problemlöser erst während der Problemlösung über Schlußfolgerungsprozesse expliziert und in der Wissensbasis aufgehoben. Diese Vorgehensweise wird jedoch zum Problem, sobald sich die repräsentierte Welt ändert, da dann die Wissensbasis entsprechend revidiert werden muß und insbesondere die abgeleiteten Sachverhalte auf ihre Gültigkeit hin zu überprüfen sind. Ist doch deren Status davon abhängig, ob das zu ihrer Ableitung verwendete Wissen auch nach der Weltänderung noch gültig ist. Die Revision der Wissensbasis wird wesentlich vereinfacht, ja sogar (teil-)automatisierbar, wenn man in ihr zusätzlich festhält, wie die abgeleiteten Sachverhalte vom expliziten Wissen abhängen. Da die Verwaltung von Begründungen zur Repräsentation dieser Abhängigkeiten jedoch eine komplexe Aufgabe ist, überträgt man sie besser einem spezialisierten und damit effizienten, wiederverwendbaren Begründungsverwaltungssystem. Die Architektur und die formalen Grundlagen solcher Systeme sind Gegenstand des vorliegenden Buches. Es kann damit einerseits als Übersichtswerk zum Thema Begründungsverwaltung und andererseits als Referenz für die Implementierung anwendungs-spezifischer Begründungsverwaltungssysteme angesehen werden Engineering Engineering, general Ingenieurwissenschaften Truth maintenance system (DE-588)4267534-0 gnd rswk-swf Truth maintenance system (DE-588)4267534-0 s 1\p DE-604 https://doi.org/10.1007/978-3-322-97617-8 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Beckstein, Clemens Begründungsverwaltung Grundlagen, Systeme und Algorithmen Engineering Engineering, general Ingenieurwissenschaften Truth maintenance system (DE-588)4267534-0 gnd |
| subject_GND | (DE-588)4267534-0 |
| title | Begründungsverwaltung Grundlagen, Systeme und Algorithmen |
| title_auth | Begründungsverwaltung Grundlagen, Systeme und Algorithmen |
| title_exact_search | Begründungsverwaltung Grundlagen, Systeme und Algorithmen |
| title_full | Begründungsverwaltung Grundlagen, Systeme und Algorithmen von Clemens Beckstein |
| title_fullStr | Begründungsverwaltung Grundlagen, Systeme und Algorithmen von Clemens Beckstein |
| title_full_unstemmed | Begründungsverwaltung Grundlagen, Systeme und Algorithmen von Clemens Beckstein |
| title_short | Begründungsverwaltung |
| title_sort | begrundungsverwaltung grundlagen systeme und algorithmen |
| title_sub | Grundlagen, Systeme und Algorithmen |
| topic | Engineering Engineering, general Ingenieurwissenschaften Truth maintenance system (DE-588)4267534-0 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Truth maintenance system |
| url | https://doi.org/10.1007/978-3-322-97617-8 |
| work_keys_str_mv | AT becksteinclemens begrundungsverwaltunggrundlagensystemeundalgorithmen |