Das vorliegende Buch stellt eine überarbeitete und deutlich erweiterte zweite Ausgabe meines gleichnamigen Buches von 2012 dar. Es wendet sich in Form eines Lehrbuchs sowohl an Anfänger wie Fortgeschrittene der Wissenschaftstheorie sowie an Wissenschaftler, die sich dafür interessieren, wann Daten eine bestimmte Theorie begründen und wie stark die Bestätigung der Theorie durch die Daten ist. Im Vordergrund steht dabei immer die erkenntnistheoretische Frage, ob bestimmte Begründungsverfahren die Ziele der Wissenschaften in überzeugender Weise verfolgen oder ob es dagegen substantielle Einwände gibt. Leider wird sich herausstellen, dass kein Verfahren ohne Fehl und Tadel ist, und wir sollten die Schwächen unserer Begründungsverfahren genau kennen, um sie korrekt einsetzen zu können.

This thesis focuses on improving the SAT solving technology. The improvements focus on two major subjects: sequential SAT solving and parallel SAT solving. To better understand sequential SAT algorithms, the abstract reduction system Generic CDCL is introduced. With Generic CDCL, the soundness of solving techniques can be modeled. Next, the conflict driven clause learning algorithm is extended with the three techniques local look-ahead, local probing and all UIP learning that allow more global reasoning during search. These techniques improve the performance of the sequential SAT solver Riss. Then, the formula simplification techniques bounded variable addition, covered literal elimination and an advanced cardinality constraint extraction are introduced. By using these techniques, the reasoning of the overall SAT solving tool chain becomes stronger than plain resolution. When using these three techniques in the formula simplification tool Coprocessor before using Riss to solve a formula, the performance can be improved further. Due to the increasing number of cores in CPUs, the scalable parallel SAT solving approach iterative partitioning has been implemented in Pcasso for the multi-core architecture. Related work on parallel SAT solving has been studied to extract main ideas that can improve Pcasso. Besides parallel formula simplification with bounded variable elimination, the major extension is the extended clause sharing level based clause tagging, which builds the basis for conflict driven node killing. The latter allows to better identify unsatisfiable search space partitions. Another improvement is to combine scattering and look-ahead as a superior search space partitioning function. In combination with Coprocessor, the introduced extensions increase the performance of the parallel solver Pcasso. The implemented system turns out to be scalable for the multi-core architecture. Hence iterative partitioning is interesting for future parallel SAT solvers. The implemented solvers participated in international SAT competitions. In 2013 and 2014 Pcasso showed a good performance. Riss in combination with Copro- cessor won several first, second and third prices, including two Kurt-Gödel-Medals. Hence, the introduced algorithms improved modern SAT solving technology.

Im Buch werden verschiedene Ansätze zum induktiven Schließen vorgestellt und daraufhin analysiert, welche Erfolgsaussichten sie jeweils bieten, die erkenntnistheoretischen Ziele der Wissenschaften zu erreichen. Dabei werden u.a. die konsverativen Induktionsschlüsse, Falsifikationsverfahren und die eliminative Induktion, der Schluss auf die beste Erklärung und vor allem der Bayesianismus besprochen. Außerdem geht es um die Verfahren der klassischen Statistik sowie moderne Verfahren des kausalen Schließens. Dazu wird ein erkenntnistheoretischer Rahmen angegeben, in dem die verschiedenen Begründungsverfahren untereinander verglichen werden.

Dem Web 2.0 werden - nicht selten mit euphorischem Unterton - hinsichtlich Interaktion, Selbstorganisation und Nutzbarmachung kollektiver Intelligenz enorme Nutzenpotentiale nachgesagt. Ansätze mit Bezug zum Unternehmenskontext werden unter dem Stichwort Enterprise 2.0 behandelt und beschäftigen sich vorrangig mit der Unterstützung des betrieblichen Wissensmanagements. Speziell für die zunehmend durch Komplexität sowie intensive Interaktionsprozesse geprägte Fabrikplanung lassen sich durch einen zielgerichteten Einsatz von Web 2.0-Werkzeugen positive Effekte erwarten. Zielstellung dieser Arbeit ist die Entwicklung einer Methode zum Einsatz von Web 2.0-Werkzeugen in der Fabrikplanung. Hierfür erfolgt zunächst eine Bestandsaufnahme relevanter Ansätze und Begriffe in diesen Bereichen. Anschließend wird auf Grundlage system-, handlungs- und tätigkeitstheoretischer Überlegungen ein situativer Forschungsansatz begründet. Die Methodenentwicklung erfolgt als problemspezifische Ausgestaltung des Fall-basierten Schließens. Sie ist in ein entsprechend angepasstes Vorgehen der morphologisch-typologischen Theorieentwicklung eingebettet und basiert auf einer umfassenden Analyse hierfür relevanter Theorien, Modelle und Ansätze. Die Methode beruht auf einer kontinuierlichen Erfassung und Wiederverwendung von Erfahrungswissen. Sie wird abschließend evaluiert, wobei u.a. ein Prototyp entwickelt wird, der den praktischen Einsatz der entwickelten Methode unterstützt.:Abbildungsverzeichnis Tabellenverzeichnis Anlagenverzeichnis Symbol- und Abkürzungsverzeichnis 1 Einleitung 1.1 Motivation 1.2 Problemstellung 1.3 Zielstellung 1.4 Aufbau der Arbeit 2 Grundlagen 2.1 Phänomen Web 2.0 2.2 Fabrikplanung 3 Forschungsansatz 3.1 Betrachtungsrahmen 3.2 Bearbeitungsmethodik 4 Methodenentwicklung 4.1 Systemmodell 4.2 Morphologische Fallbasis 4.3 Bewertungssystematik 4.4 Gesamtmethode 5 Evaluation 5.1 Ansätze und Methoden 5.2 Methodenauswahl 5.3 Durchführung 5.4 Gesamtbewertung 6 Schlussbetrachtung 6.1 Zusammenfassung 6.2 Ausblick Literaturverzeichnis Anlagen / The Web 2.0 is supposed to have huge potential for the support of interaction, selforganization and the utilization of collective intelligence. Approaches related to an enterprise context are discussed with the keyword Enterprise 2.0 and mainly deal with potentials to support the operational knowledge management. A systematic approach for the use of web-based collaborative tools is expected to generate positive effects on modern factory planning, which faces increasing complexity and dynamic interactions. The objective of this work is to develop a methodical approach for the use of web-based collaborative tools in factory planning. Therefore, in the first part of this thesis an overview of relevant approaches and terms in the areas of Web 2.0 and factory planning is being worked out. In a second step, a situational approach is identified as an appropriate view after due consideration and contextual discussion of system, action and activity theory. The development of the methodical approach is based on a problem-specific adaptation of case-based reasoning. It is embedded into an elaborated procedure of morphologic-typological theory building and bases on a comprehensive analysis of relevant theories, models and approaches. The evolved method relies on continuous collection and reutilisation of experiential knowledge. It is evaluated through different methods, inter alia by the construction of a prototype that supports its practical use.:Abbildungsverzeichnis Tabellenverzeichnis Anlagenverzeichnis Symbol- und Abkürzungsverzeichnis 1 Einleitung 1.1 Motivation 1.2 Problemstellung 1.3 Zielstellung 1.4 Aufbau der Arbeit 2 Grundlagen 2.1 Phänomen Web 2.0 2.2 Fabrikplanung 3 Forschungsansatz 3.1 Betrachtungsrahmen 3.2 Bearbeitungsmethodik 4 Methodenentwicklung 4.1 Systemmodell 4.2 Morphologische Fallbasis 4.3 Bewertungssystematik 4.4 Gesamtmethode 5 Evaluation 5.1 Ansätze und Methoden 5.2 Methodenauswahl 5.3 Durchführung 5.4 Gesamtbewertung 6 Schlussbetrachtung 6.1 Zusammenfassung 6.2 Ausblick Literaturverzeichnis Anlagen

In this article, based on Dissection-Motion-Operations, DMO (decomposing a figure into several pieces and composing the resulting pieces into a new figure of equal area), a set of visual representations (models) of mathematical concepts will be introduced. The visual models are producible through manipulation and computer GSP/Cabri software. They are based on the van Hiele’s Levels (van Hiele, 1989) of Thought Development; in particular, Level 2 (Informal Deductive Reasoning) and level 3 (Deductive Reasoning). The basic theme for these models has been visual learning and understanding through manipulatives and computer representations of mathematical concepts vs. rote learning and memorization. The three geometric transformations or motions: Translation, Rotation, Reflection and their possible combinations were used; they are illustrated in several texts. As well, a set of three commonly used dissections or decompositions (Eves, 1972) of objects was utilized.

In this article, based on Dissection-Motion-Operations, DMO (decomposing a figure into several pieces and composing the resulting pieces into a new figure of equal area), a set of visual representations (models) of mathematical concepts will be introduced. The visual models are producible through manipulation and computer GSP/Cabri software. They are based on the van Hiele’s Levels (van Hiele, 1989) of Thought Development; in particular, Level 2 (Informal Deductive Reasoning) and level 3 (Deductive Reasoning). The basic theme for these models has been visual learning and understanding through manipulatives and computer representations of mathematical concepts vs. rote learning and memorization. The three geometric transformations or motions: Translation, Rotation, Reflection and their possible combinations were used; they are illustrated in several texts. As well, a set of three commonly used dissections or decompositions (Eves, 1972) of objects was utilized.