In diesem 1991 erschienenen Buch gibt der Autor einen breiten Überblick über verschiedene Forschungsgebiete des nichtmonotonen Denkens und präsentiert einige Ergebnisse und Ideen, die auf seiner Forschung basieren. Die Leitprinzipien sind: Klärung der verschiedenen Forschungsaktivitäten in dem Bereich, die manchmal unabhängig voneinander durchgeführt wurden, und Anerkennung der Tatsache, dass diese Forschungsaktivitäten oft unterschiedliche Mittel zu den gleichen Zielen darstellen, nämlich solide theoretische Grundlagen und effiziente Berechnungen. Das Buch beginnt mit einer Diskussion der verschiedenen Arten von nichtmonotonem Denken, ihre Anwendungen und ihre Logik. Theorembeweistechniken für diese Logiken werden ebenfalls beschrieben. Es folgen Kapitel, die sich mit Formulierungen nichtmonotoner Vererbung und nichtmonotonem Denken auf der Grundlage nichtmonotoner Regeln befassen. Das letzte Kapitel diskutiert die Errungenschaften auf diesem Gebiet im Lichte des berühmten Yale-Schießbeispiels. Das Buch wird von Forschern der theoretischen Informatik und der künstlichen Intelligenz begrüßt. Sprache: Englisch