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 expl… Mehr…
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 Schlussfolgerungsprozesse 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 muss 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. Bücher > Fachbücher;Bücher > Sachbücher > Naturwissenschaften & Technik > Ingenieurwissenschaft & Technik 24.4 cm x 17.0 cm x 2.1 cm mm , Vieweg & Teubner, Taschenbuch, Vieweg & Teubner<
Orellfuessli.ch
Nr. A1017566156. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.83) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 expl… Mehr…
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. Buch 24.4 x 17.0 x 2.1 cm , Vieweg & Teubner, Clemens Beckstein, Vieweg & Teubner, s Be<
Thalia.de
Nr. A1017566156. Versandkosten:, , DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 expl… Mehr…
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., Vieweg+Teubner Verlag<
Springer.com
Nr. 978-3-8154-2303-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
[EAN: 9783815423035], Neubuch, [PU: Vieweg+Teubner Verlag], ARBEIT EINHEIT TECHNIK ALGORITHMEN SYSTEME ENGINEERING (MASCHINENBAU/INGENIEURSWESEN), ALLGEMEIN ENGINEERING, GENERAL TECHNOLOG… Mehr…
[EAN: 9783815423035], Neubuch, [PU: Vieweg+Teubner Verlag], ARBEIT EINHEIT TECHNIK ALGORITHMEN SYSTEME ENGINEERING (MASCHINENBAU/INGENIEURSWESEN), ALLGEMEIN ENGINEERING, GENERAL TECHNOLOGY AND INFORMATIK, Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung für Sie gedruckt. 1 Einleitung.- 2 Generisches Truth-Maintenance.- 3 Nicht-monotones Truth-Maintenance.- 4 Logisches Truth-Maintenance.- 5 Annahmen-basiertes Truth-Maintenance —, Books<
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 expl… Mehr…
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 Schlussfolgerungsprozesse 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 muss 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. Bücher > Fachbücher;Bücher > Sachbücher > Naturwissenschaften & Technik > Ingenieurwissenschaft & Technik 24.4 cm x 17.0 cm x 2.1 cm mm , Vieweg & Teubner, Taschenbuch, Vieweg & Teubner<
Nr. A1017566156. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.83)
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 expl… Mehr…
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. Buch 24.4 x 17.0 x 2.1 cm , Vieweg & Teubner, Clemens Beckstein, Vieweg & Teubner, s Be<
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 expl… Mehr…
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., Vieweg+Teubner Verlag<
Nr. 978-3-8154-2303-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
[EAN: 9783815423035], Neubuch, [PU: Vieweg+Teubner Verlag], ARBEIT EINHEIT TECHNIK ALGORITHMEN SYSTEME ENGINEERING (MASCHINENBAU/INGENIEURSWESEN), ALLGEMEIN ENGINEERING, GENERAL TECHNOLOG… Mehr…
[EAN: 9783815423035], Neubuch, [PU: Vieweg+Teubner Verlag], ARBEIT EINHEIT TECHNIK ALGORITHMEN SYSTEME ENGINEERING (MASCHINENBAU/INGENIEURSWESEN), ALLGEMEIN ENGINEERING, GENERAL TECHNOLOGY AND INFORMATIK, Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung für Sie gedruckt. 1 Einleitung.- 2 Generisches Truth-Maintenance.- 3 Nicht-monotones Truth-Maintenance.- 4 Logisches Truth-Maintenance.- 5 Annahmen-basiertes Truth-Maintenance —, Books<
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Es ist nun beinahe funfzehn Jahre her, da Jon Doyle mit seiner Master's Thesis den Grundstein fur eine ganze Reihe unterschiedlicher Systeme legte, die alle als Truth-Maintenance-Systeme bezeichnet werden. Die Mehrzahl dieser Systeme wurde allerdings nur prozedural, ohne eine begleitende formale Untersuchung ihrer Eigenschaften vorgestellt - "at a time we weren't so formal and logical," wie es Johan de Kleer einmal ausgedruckt hat. In neueren Publikationen lat sich zwar ein klarer Trend hin zu Beschreibungen von Truth-Maintenance-Systemen erkennen, die formale Aussagen uber die Systeme ermoglichen; jedoch gibt es bis heute keinen formalen Apparat, mit dem alle diese Systeme einheitlich im Hinblick auf eine spatere Implementierung beschreibbar waren. Die vorliegende Arbeit versucht, dieses Defizit fur eine Teilklasse der Truth- Maintenance-Systeme zu beseitigen: die sogenannten monotonen Truth-Mainte- nance-Systeme. Ausgangspunkt war eine Spezial-Vorlesung, die ich erstmals im Wintersemester 91/92 und dann erneut in stark uberarbeiteter Form im Winter- semester 92/93 an der Universitat Erlangen-Nurnberg sowie im Wintersemester 95/96 an der Universitat Jena gehalten habe. Mein erster Dank gilt deshalb je- nen, die in vorderster Linie geholfen haben, diese Vorlesung zu einem Erfolg zu machen - meinen Studenten.
Buch in der Datenbank seit 2007-06-04T15:09:48+02:00 (Berlin) Detailseite zuletzt geändert am 2024-02-15T06:55:28+01:00 (Berlin) ISBN/EAN: 3815423031
ISBN - alternative Schreibweisen: 3-8154-2303-1, 978-3-8154-2303-5 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: beckstein, vieweg teubner verlag, grundlagen Titel des Buches: algorithmen, grundlagen informatik, systeme
Daten vom Verlag:
Titel: XTEUBNER-TEXTE zur Informatik; Begründungsverwaltung - Grundlagen, Systeme und Algorithmen Verlag: Vieweg+Teubner Verlag; Vieweg & Teubner 371 Seiten Erscheinungsjahr: 1996-08-01 Wiesbaden; DE Sprache: Deutsch 49,99 € (DE) 51,39 € (AT) 55,50 CHF (CH) Available 371 S. 7 Abb. Mit 39 Bildern.
BC; Hardcover, Softcover / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Algorithmen; Arbeit; Einheit; Systeme; Technology and Engineering; EA
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.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
