In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of (...) the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. The following chapters deal with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the Yale shooting example. The book will be welcomed by researchers in theoretical computer science and artificial intelligence. (shrink)

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...) of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible. (shrink)

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: (...) if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making. (shrink)

One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively answer sets, rather than theorems correspond to solutions. This shift in perspective proved extremely fruitful in many areas. We believe that going one step further from a “hard” to a “soft” constraint programming paradigm, or, in other words, to a paradigm of qualitative optimization, will prove (...) equally fruitful. In this paper we try to support this claim by showing that several generic problems in logic based problem solving can be understood as qualitative optimization problems, and that these problems have simple and elegant formulations given adequate optimization constructs in the knowledge representation language. (shrink)

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories (...) possess a consistent set of conclusions. (shrink)

The book contains a collection of eight survey papers written by some of the best researchers in foundations of knowledge representation and reasoning. It covers topics like theories of uncertainty, nonmonotonic and causal reasoning, logic programming, abduction, inductive logic programming, description logics, complexity in Artificial Intelligence, and model-based diagnosis. It thus provides an up-to-date coverage of recent approaches to some of the most challenging problems underlying knowledge representation and Artificial Intelligence in general.

The book contains a collection of eight survey papers written by some of the most excellent researchers in foundations of knowledge representation and reasoning. It covers topics like theories of uncertainty, nonmonotonic and causal reasoning, logic programming, abduction, inductive logic programming, description logics, complexity in Artificial Intelligence, and model based diagnosis. It thus provides an up-to-date coverage of recent approaches to some of the most challenging problems underlying knowledge representation and Artificial Intelligence in general.

We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision.

This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive (...) inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of (...) meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

Gerhard Preyer rekonstruiert in diesem essential den harten Kern von Shmuel N. Eisenstadts allgemeiner Soziologie, wie Eisenstadt sie in der Untersuchung der Beziehung zwischen Handeln (Kreativität) und Struktur sowie zwischen Kultur und Sozialstruktur durchgeführt hat. Preyer ordnet seine Untersuchung in dem von ihm sogenannten „semantischen Map“ als eine evolutionäre Universalie des „konstitutiven basalen Bezugsrahmens“ der Erforschung der sozio-strukturellen Evolution an. Aus Eisenstadts Sicht legen die grundlegenden semantischen Maps das zentrale Problem der menschlichen und der sozialen Existenz, die Spezifikation ihrer (...) Lösungen und die Beziehung zu den grundlegenden Annahmen über die soziale Ordnung fest. Das Semantic Map und der Kampf um die Verteilung von Ressourcen ist der forschungsprogrammatische Bezugsrahmen seiner Reformulierung der Modernisierungstheorie, der Kritik an der klassischen Modernisierungstheorie als einer Konvergenztheorie und seiner Fassung des Problems der sozialen Ordnung. Die Studie wird mit einer Modifikation von Eisenstadts Ansatz einer mitgliedschaftstheoretischen Reinterpretation abgeschlossen. (shrink)

Inheriting Benjamin otherwise -- Erbsünde: a note on paradoxical inheritance in Benjamin's Kafka essay -- Benjamin's blotting paper: writing and erasing a theological figure of thought -- Critique and the thing: Benjamin and Heidegger -- The work of art and its formal and genealogical determinations: Benjamin's cool place between Kant and Nietzsche -- Going with time: a miniature on time and photography after Benjamin.

Alle Ideologie beruht auf Verdrängung der Gewalt; noch dort, wo sie Gewalt fetischisiert, bildet der blinde Fleck des Souveräns den Ursprung. Denn ausgeblendet wird ja nicht Gewalt als solche, sondern dass durch sie die Einheit der Gesellschaft erst Bestand hat. An diesem blinden Fleck tritt im Politischen selbst zutage, wie Aufklärung sich weigert, ihre eigenen Bedingungen zu begreifen – darin ist sie zunächst nichts anderes als die frühe Gestalt des Engagements. In dieser ›Dialektik des Leviathan‹, wie sie der erste Teil (...) des Buchs im Anschluss an die Dialektik der Aufklärung zu umreißen versucht, erhält die Gegenüberstellung von Hobbes und Spinoza eine Schlüsselrolle. Die These lautet, dass ein kritischer Begriff des Staats ohne die Kritik der spinozistischen Auffassung von Substanz nicht zu haben sei, deren problematische Aspekte nicht zufällig in der französischen (und italienischen) Linken (Althusser, Deleuze, Negri…) wiederkehrten. Umgekehrt war es gerade die Problematik dieses Substanzbegriffs, die es Marx erst ermöglichte – zusammen mit der Hegelschen Dialektik und zugleich gegen sie gerichtet – die Kritik der politischen Ökonomie zu entfalten. Wenn die neueste Ideologie der Linken wie der Rechten, in Frankreich wie in Deutschland, vielfach das Heideggersche »Sein« und den Carl Schmitt’schen »Begriff des Politischen« an die Stelle von Substanz und Souveränität setzt (Agamben, Badiou, Mouffe…), ist es mit jener ›Dialektik des Politischen‹ auf dem Boden der klassischen Metaphysik und Aufklärung nicht mehr getan. Dem heutigen Triumph Heideggers und Schmitts zu widersprechen, geht es im zweiten Teil des Buchs: Jean-Paul Sartres »Engagement gegen den Tod« und Jean Amérys Appell, den Leib zu »substantiieren« (wie das Manfred Dahlmann jüngst ausgedrückt hat), bedeuten einerseits Annäherung an die entscheidenden Fragen einer Philosophie nach Auschwitz – gerade auch, was die Frage des Souveräns betrifft. Andererseits verkehrte sich bei beiden regelmäßig die kritische Intention, sobald man den Gegenstand des Engagements mit der politischen Linken teilen und also Politik machen wollte. Dass sie vielmehr zu sabotieren sei, hat allerdings Améry – ohne sich dessen unbedingt bewusst zu sein – in seiner Parteinahme für Israel vorgeführt wie kaum ein anderer. Der von Adorno formulierte kategorische Imperativ, der zugleich das Politische als »Stand der Unfreiheit« begreift, erweist sich als die einzige Möglichkeit, dieser Sabotage auf den Grund zu gehen. Hier spannt sich aber auch der Bogen zum ersten Teil des Buchs zurück: Aus der Kritik an Spinozas Substanzbegriff lässt sich keine Kritik an Heideggers Sein zum Tode entwickeln, so wie auch der Gegensatz zwischen der Vernunft als Selbsterhaltung, die in der Dialektik der Aufklärung kritisiert wird, und der Vernichtung um der Vernichtung willen, die das Selbstopfer einschließt, dialektischer Vermittlung nicht mehr zugänglich ist, sondern zur Intervention nötigt. Davon legt jener Imperativ Zeugnis ab. Nur wer sich dabei jedoch die eigene Ohnmacht immer wieder eingesteht, die im notwendigen Engagement gegen den Antisemitismus so fatal wie nirgendwo hervortritt – spätestens dann, wenn der eben erst bezwungene Antisemit in neuer Gestalt wiederaufersteht –, wird auch die antisemitische bzw. antizionistische Gewalt nicht unterschätzen. (Diese Unterschätzung ist das Merkmal aller liberalen Anstrengungen, die Antisemiten zurückzudrängen.) Der dritte Teil schließlich versammelt – in Anlehnung an Adornos Engagement-Essay – Einzelstudien zur Kritik des politischen Engagements, wie sie sich an und in den Werken von Literatur und Essay, Musik und Film erschließt (Thomas Bernhard, Berthold Brecht, Hanns Eisler, Jean-Luc Godard, Elfriede Jelinek, Imre Kertész, Claude Lanzmann, Georg Lukács…). (shrink)

Max Weber ist ein Klassiker der Kultur- und Sozialwissenschaften. Sein Werk gehört weltweit zum Kernbestand von Forschung und Lehre, und dies gilt besonders für seine methodologischen Schriften, denen auch 100 Jahre nach ihrer Publikation nachhaltige Aufmerksamkeit beschieden ist. Allerdings gibt es immer noch kein einvernehmliches Verständnis von Webers Position. Der Grund dafür liegt in der mangelnden Aufarbeitung der Quellen. Viele wichtige Autoren, deren Werke Weber rezipierte, sind in Vergessenheit geraten. Sie in Erinnerung zu rufen, ist dringend notwendig, um seine Wissenschaftslehre (...) in ihrer ganzen Komplexität zu verstehen. 0Das vorliegende Sammelwerk leistet einen Beitrag zur Schließung dieser Forschungslücke. Es rekonstruiert den Denkraum des späten 19. und frühen 20. Jahrhunderts, in dem sich Weber bewegte, und zeigt anhand von Studien zu ausgewählten Autoren, wie umfassend und interdisziplinär sein Denken tatsächlich war. Dabei werden nicht nur Autoren aus den Kultur- und Sozialwissenschaften berücksichtigt, sondern auch solche aus den Naturwissenschaften, denn Weber war mit dem Fortschritt dieser Disziplinen ebenfalls vertraut. (shrink)