Aktualisiert: 2023-07-02
> findR *
Aktualisiert: 2023-07-02
> findR *
Aktualisiert: 2023-07-02
> findR *
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *
Die rechtstheoretische Diskussion zur Defeasibility ist auf die Frage fokussiert, inwieweit dieses Phänomen mit einem deduktivistischen Modell von juristischer Begründung vereinbar ist. Demgegenüber werden eine Reihe von grundlegenderen Fragen vernachlässigt, die von vergleichbarem theoretischen Stellenwert sind: Was bedeutet Defeasibility im Recht? In welchem Ausmaß ist das Recht von ihr betroffen? Kann sie aus dem Recht getilgt werden? Wie ist die Defeasibility mit dem normativen Eigengewicht rechtlicher Regeln (Gesetzesbindung) in Einklang zu bringen?
Der Schlüssel zu einem solchen umfassenderen Verständnis, das Antworten auf diese bislang weniger beachteten Fragen liefert, ist eine Konzeption, die die axiologische Tiefendimension der Defeasibility im Recht voll zur Geltung bringt.
Aktualisiert: 2023-02-13
> findR *
Die rechtstheoretische Diskussion zur Defeasibility ist auf die Frage fokussiert, inwieweit dieses Phänomen mit einem deduktivistischen Modell von juristischer Begründung vereinbar ist. Demgegenüber werden eine Reihe von grundlegenderen Fragen vernachlässigt, die von vergleichbarem theoretischen Stellenwert sind: Was bedeutet Defeasibility im Recht? In welchem Ausmaß ist das Recht von ihr betroffen? Kann sie aus dem Recht getilgt werden? Wie ist die Defeasibility mit dem normativen Eigengewicht rechtlicher Regeln (Gesetzesbindung) in Einklang zu bringen?
Der Schlüssel zu einem solchen umfassenderen Verständnis, das Antworten auf diese bislang weniger beachteten Fragen liefert, ist eine Konzeption, die die axiologische Tiefendimension der Defeasibility im Recht voll zur Geltung bringt.
Aktualisiert: 2023-04-04
> findR *
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2022-03-12
> findR *
Schwimmen lernt man beim Schwimmen. Programmieren beim Programmieren. Und Expertensysteme zu schreiben beim Schreiben von Expertensystemen. Deshalb entstand dieses Buch: aus einem Expertensystem-Praktikum, das Soft ware-Praktiker in die neuen Entwurfs-und Programmiertechniken einführt, welche die wissensbasierte Datenverarbeitung in die Softwaretechnologie einbrachte. Dabei wird bewußt die Programmierung betont, nicht die Generierung eines Expertensy stems durch "Einfüllen" von Fachwissen in eine Shell. Was natürlich nicht heißen soll, daß sich nicht auch der Programmierer eines Expertensystems die eine oder andere Aufgabe erleichtern kann, indem er ein derartiges Metasystem als "Werk zeug" benutzt. Aber auch dann - das ist jedenfalls die Erfahrung der Autoren - können gute, benutzerfreundliche und leicht in die bereits vorhandenen konventionellen Daten basen und Anwendungen integrierbare Expertensysteme nur entstehen, wenn der Entwickler problemlos sich all die Komponenten selbst programmieren kann, die er in seinem vorgefertigten Werkzeugkasten überhaupt nicht, nicht in geeigneter Form oder nicht mit den richtigen Schnittstellen vorfindet. Im traditionellen Maschinenbau ist der "Werkzeugmacher" der gesuchteste und höchstbezahlte Fachspezialist. In unserem Handwerk ist das nicht viel anders.
Aktualisiert: 2022-03-03
> findR *
Aktualisiert: 2023-01-23
> findR *
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-03-14
> findR *
Aktualisiert: 2023-04-04
> findR *
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-04-04
> findR *
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:
Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN
Bücher zum Thema nichtmonotone Logik
Sie suchen ein Buch über nichtmonotone Logik? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema nichtmonotone Logik. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema nichtmonotone Logik im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema nichtmonotone Logik einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
nichtmonotone Logik - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema nichtmonotone Logik, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter nichtmonotone Logik und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.