Abstract:This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined syntax/logic. This structure is called a default structure. We study axioms for the nonmonotonic consequence relation derived from extensions as in Reiter's default logic, using skeptical reasoning, but extensions are now used for the construction of possible worlds in a default information structure.
In previous work we showed that skeptical reasoning arising from default-extensions obeys a well-behaved set of axioms including the axiom of cautious cut. We show here that, remarkably, the converse is also true: any consequence relation obeying this set of axioms can be represented as one constructed from skeptical reasoning. We provide representation theorems to relate axioms for nonmonotonic consequence relation and properties about extensions, and provide one-to-one correspondence between nonmonotonic systems which satisfies the law of cautious monotony and default structures with unique extensions. Our results give a theoretical justification for a set of basic rules governing the update of nonmonotonic knowledge bases, demonstrating the derivation of them from the more concrete and primitive construction of extensions. It is also striking to note that proofs of the representation theorems show that only shallow extensions are necessary, in the sense that the number of iterations needed to achieve an extension is at most three. All of these developments are made possible by taking a more liberal view of consistency: consistency is a user defined predicate, satisfying some basic properties.
What problem does this paper attempt to address?
This paper attempts to solve a series of problems in non - monotonic logical reasoning, especially the axiomatic research on default inference. Specifically, it mainly focuses on the following points:
1. **Axiomatization of non - monotonic inference relations**:
- The paper explores how to establish a reasonable axiomatic system for non - monotonic inference relations. Different from the monotonic inference in classical logic, non - monotonic inference allows the withdrawal of previous conclusions when new information is introduced.
- The author proposes a semantic - based method to study non - monotonic inference relations and focuses on a class of mathematical structures called "default structures".
2. **Default extensions and skeptical reasoning**:
- The paper introduces the extension construction method in Reiter's default logic and uses skeptical reasoning to handle partial information.
- In this way, the author shows how to generate possible worlds from default rules and studies the properties of these worlds.
3. **Representation theorems**:
- The paper provides some representation theorems, which link the axioms of non - monotonic inference relations with the extension characteristics of default structures.
- Specifically, the author proves that an abstract non - monotonic inference system, if it satisfies certain reasonable axioms (such as the Cautious Cut law), can be generated by a set of default rules with a unique extension.
4. **Extension of the concept of consistency**:
- The author proposes a more relaxed definition of consistency, that is, consistency is a user - defined predicate that satisfies some basic properties.
- This flexibility enables different information systems to have different "consistency" criteria, thus better handling complex reasoning problems.
5. **Cautious monotony**:
- The paper also explores the important property of cautious monotony, that is, if \( X \mid\!\sim a \) and \( X \mid\!\sim b \), then \( X, a \mid\!\sim b \) also holds.
- The author proves that this property is crucial for the effective operation of non - monotonic knowledge bases and shows how to achieve this property through default structures.
In summary, the main goal of this paper is to provide a solid theoretical foundation for non - monotonic reasoning, especially to understand the characteristics of default reasoning through axiomatic and semantic methods, and to show how to represent and verify these inference relations with default structures. This provides a powerful tool for reasoning with uncertainty and incomplete information.
### Key formulas
- **Cautious Cut**:
\[
X \mid\!\sim T \quad \text{and} \quad T, X \mid\!\sim Y \implies X \mid\!\sim Y
\]
- **Cautious Monotony**:
\[
X \mid\!\sim a \quad \text{and} \quad X \mid\!\sim b \implies X, a \mid\!\sim b
\]
These formulas are the core of understanding non - monotonic reasoning and its properties.