We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£76.83
Springer Begründungsverwaltung: Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings: 162 (Teubner Texte zur Informatik, 162)
Price data last checked 72 day(s) ago - refreshing...
Price History & Forecast
Last 19 days • 19 data points (No recent data available)
Price Distribution
Price distribution over 19 days • 2 price levels
Current Price
Price Analysis
Most common price: £78 (16 days, 84.2%)
Price range: £77 - £78
Price levels: 2 different prices over 19 days
Description
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, daß eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlußregeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 3540188533
- Domain
- Amazon UK
- Release Date
- 15 February 1988
- Listed Since
- 06 October 2005
Barcode
No barcode data available
Similar Products You Might Like
97% match
A General Theory of Evidence and Proof: Forming Beliefs in Truth: 148 (Law and Philosophy Library, 148)
£114.66
14 Jan 2026
96% match
Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)
Springer
£108.45
09 Mar 2026
96% match
The True and the Good: A Strong Virtue Theory of the Value of Truth
Oxford University Press
£72.04
07 Feb 2026
96% match
Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Springer
£83.56
09 Mar 2026
96% match
Representations of Commonsense Knowledge
£56.99
08 Mar 2026
96% match
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
£107.43
10 Mar 2026
96% match
Knowledge Seeker - Ontology Modelling for Information Search and Management: A Compendium: 8 (Intelligent Systems Reference Library, 8)
Springer
£75.33
06 Mar 2026
96% match
Springer Machine Learning, Meta-Reasoning and Logics Book
Springer
£111.21
24 Feb 2026
96% match
Springer Machine Learning, Meta-Reasoning and Logics Book
Springer
£116.01
24 Feb 2026
96% match
5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings: 208 (Informatik-Fachberichte, 208)
Springer
£79.57
16 Feb 2026
96% match
Philosophy and Cognitive Science: Western & Eastern Studies: 2 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 2)
Springer
£146.00
30 Mar 2026
96% match
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)
Springer
£108.78
06 Apr 2026
96% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£164.00
08 Jan 2026
96% match
Philosophy and Cognitive Science: Western & Eastern Studies: 2 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 2)
Springer
£144.04
26 Jan 2026
96% match
Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
Springer
£164.52
13 Jan 2026
96% match
An A to Z of Critical Thinking
Continuum
£60.00
28 Feb 2026
96% match
Model-Based Reasoning in Science and Technology: Logical, Epistemological, and Cognitive Issues: 27 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 27)
Springer
£178.50
12 Jan 2026
96% match
Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)
Springer
£168.01
08 Feb 2026
96% match
Groundwork in the Theory of Argumentation: Selected Papers of J. Anthony Blair: 21 (Argumentation Library, 21)
Springer
£97.00
06 Mar 2026
96% match
Oxford Handbook of Reasons and Normativity (Oxford Handbooks)
£38.67
13 Jan 2026
96% match
Outline of a Nominalist Theory of Propositions: An Essay in the Theory of Meaning and in the Philosophy of Logic: 98 (Synthese Library, 98)
Springer
£75.01
27 Feb 2026
96% match
Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation: 49 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 49)
Springer
£113.66
11 Mar 2026
96% match
AI-Based Services for Smart Cities and Urban Infrastructure
Engineering Science Reference
£162.42
10 Mar 2026
96% match
Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st
Morgan Kaufmann
£43.99
06 Mar 2026