Skip to main content Accessibility help
×
Hostname: page-component-54dcc4c588-b5cpw Total loading time: 0 Render date: 2025-09-14T02:13:49.913Z Has data issue: false hasContentIssue false
Coming soon

Nonmonotonic Logic

Expected online publication date:  30 September 2025

Christian Straßer
Affiliation:
Ruhr University Bochum

Summary

Nonmonotonic logics serve as formal models of defeasible reasoning, a type of reasoning where conclusions are drawn absent absolute certainty. Defeasible reasoning takes place when scientists interpret experiments, in medical diagnosis, and in practical everyday situations. Given its wide range of applications, nonmonotonic logic is of interest to philosophy, psychology, and artificial intelligence. This Element provides a systematic introduction to the multifaceted world of nonmonotonic logics. Part I familiarizes the reader with basic concepts and three central methodologies: formal argumentation, consistent accumulation, and semantic methods. Parts II–IV provide a deeper understanding of each of these methods by introducing prominent logics within each paradigm. Despite the apparent lack of unification in the domain of nonmonotonic logics, this Element reveals connections between the three paradigms by demonstrating translations among them. Whether you're a novice or an experienced traveler, this Element provides a reliable map for navigating the landscape of nonmonotonic logic.

Information

Type
Element
Information
Online ISBN: 9781108981699
Publisher: Cambridge University Press

Accessibility standard: Inaccessible, or known limited accessibility

The PDF of this Element is known to have missing or limited accessibility features. We may be reviewing its accessibility for future improvement, but final compliance is not yet assured and may be subject to legal exceptions. If you have any questions, please contact accessibility@cambridge.org.

Content Navigation

Table of contents navigation
Allows you to navigate directly to chapters, sections, or non‐text items through a linked table of contents, reducing the need for extensive scrolling.

Reading Order & Textual Equivalents

Single logical reading order
You will encounter all content (including footnotes, captions, etc.) in a clear, sequential flow, making it easier to follow with assistive tools like screen readers.
Short alternative textual descriptions
You get concise descriptions (for images, charts, or media clips), ensuring you do not miss crucial information when visual or audio elements are not accessible.

Visual Accessibility

Use of colour is not sole means of conveying information
You will still understand key ideas or prompts without relying solely on colour, which is especially helpful if you have colour vision deficiencies.

Structural and Technical Features

ARIA roles provided
You gain clarity from ARIA (Accessible Rich Internet Applications) roles and attributes, as they help assistive technologies interpret how each part of the content functions.

Save element to Kindle

To save this element to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Nonmonotonic Logic
Available formats No formats are currently available for this content.
×

Save element to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Nonmonotonic Logic
Available formats No formats are currently available for this content.
×

Save element to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Nonmonotonic Logic
Available formats No formats are currently available for this content.
×