An essay on contraction
Author(s)
Bibliographic Information
An essay on contraction
（Studies in logic, language and information）
CSLI Publications , FoLLI, the European Association for Logic, Language and Information, c1997
- : hard
- : pbk
Available at 30 libraries
Note
Bibliography: p. 107-111
Includes indexes
Description and Table of Contents
Description
The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence, but the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined. A sentential version of contraction, subtraction, is proposed as a formal counterpart to 'except'-locutions in natural language. Connections are emphasised with other areas at the interface between philosophical logic and artificial intelligence such as reasoning from default assumptions or from inconsistent premises. A relation of merge inference is proposed as a means of retrieving maximal but nontrivial information from inconsistent premises. Merge inference respects certain anti-Boolean intuitions while avoiding a revision of classical logic.
Table of Contents
- Preface
- 1. Introduction
- 2. Theories and theory change
- 3. General contraction
- 4. Revision, merge and inference
- 5. Everything in flux: dynamic ontologies
- Bibliography.
by "Nielsen BookData"